Research Explorer
Papers
Conferences
Authors
Topics
Keywords
Trends
Achievements
Explore
← Back to papers
2014
OSDI
OSDI 2014
Ironclad Apps: End-to-End Security via Automated Full-System Verification
Authors
Chris Hawblitzel
,
Jon Howell
,
Jacob R. Lorch
,
Arjun Narayan
,
Bryan Parno
,
Danfeng Zhang
,
Brian Zill
Related papers
Willow: A User-Programmable SSD
2014
User-Guided Device Driver Synthesis
2014
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
2014
GPUnet: Networking Abstractions for GPU Programs
2014
Pelican: A Building Block for Exascale Cold Data Storage
2014