Steven Osman is an author at Columbia University specializing in data security, system software, and formal methods.
Top concepts
EngineeringCryptographyData SecurityFormal MethodsSystem SoftwareComputer ScienceHardware SecurityOperating SystemsInternet Of ThingsDistributed Systems
Publications per year
2002–2002
2
2
The design and implementation of Zap
Steven Osman, Dinesh Subhraveti, Gong Su et al. · ACM SIGOPS Operating Systems Review · 2002 · 408 citations
Cryptographic Primitive, Engineering, Zap Virtualization +18
The design and implementation of Zap
Steven Osman, Dinesh Subhraveti, Gong Su et al. · 2002 · 138 citations
Cryptographic Primitive, Engineering, Zap Virtualization +18
Rows per page
1–2 of 2