Publications by Virgil Gligor

Conference

Ironclad apps: End-to-end security via automated full-system verification

2014 • Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2014 • 165-181
Hawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B

Conference

Missive: Fast application launch from an untrusted buffer cache

2014 • Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014 • 145-156
Howell J, Elson J, Parno B, Douceur JR

Conference

CCSW chairs' welcome

2013 • Proceedings of the ACM Conference on Computer and Communications Security
Juels A, Parno B

Conference

Embassies: Radically refactoring the web

2013 • Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013 • 529-545
Howell J, Parno B, Douceur JR

Conference

PETShop'13 welcome message

2013 • Proceedings of the ACM Conference on Computer and Communications Security
Franz M, Holzer A, Majumdar R, Parno B, Veith H

Conference

Shroud: Ensuring private access to large-scale data in the data center

2013 • Proceedings of the 11th USENIX Conference on File and Storage Technologies, FAST 2013 • 199-213
Lorch JR, Parno B, Mickens J, Raykova M, Schiffman J

Chapter

Applications

2011 • SpringerBriefs in Computer Science • 10:53-57
Parno B, McCune JM, Perrig A

Chapter

Bootstrapping Trust in Modern Computers

2011 • SpringerBriefs in Computer Science • 10:1-22
Parno B, McCune JM, Perrig A
Displaying 51 - 75 of 107