An seL4-based Architecture for Layered Attestation
 Grant Jurgensen is a Master's student at the University of Kansas, working under Dr. Perry Alexander. His research interests include formal methods, secure systems, and programming languages. He has primarily worked on the DARPA Cyber Assured Systems Engineering (CASE) project, building secure components and architecture for remote attestation. |
License:
Creative Commons 2.5 
PDF document- 1.24 MB
- 18 downloads
- Download
- PDF version
- Printer-friendly version