Anchoring Trust in a Totally Open Platform
- Elaine Palmer
- George Wilson
- et al.
- 2020
- ACSAC 2020
Publications
Date
Featured collections
Popular topics
11 results for Elaine Palmer
Towards a Formally Verified Security Monitor for VM-based Confidential Computing
- Wojciech Ozga
- Guerney Hunt
- et al.
- 2023
- MICRO 2023
Confidential computing for OpenPOWER
- Guerney D. H. Hunt
- Ramachandra Pai
- et al.
- 2021
- EuroSys 2021
The feasibility of automated feedback-directed specification-based test generation: A case study of a high-assurance operating system
- Sam Weber
- Amitkumar Paradkar
- et al.
- 2008
- ISSRE 2008
The Caernarvon secure embedded operating system
- David C. Toll
- Paul A. Karger
- et al.
- 2008
- EuroSys 2008
DESIGN ASSESSMENT: ELECTRO-MECHANICAL SYSTEMS.
- Ravinder Prakash
- David H. Withers
- et al.
- 1984
- SCSC 1984
Attestation of System Components
- 2020
- OCP Global Summit 2020
Measurement and Attestation
- Elaine Palmer
- Brett Henning
- et al.
- 2020
- OCP Tech Week 2020
Establishing Trust in Linux Keyrings - Is trust built-in, imputed, or transitive?
- Elaine Palmer
- George Wilson
- 2022
- LSS 2022
Managing sensitive applications in the public cloud
- Kirk A. Beaty
- J.M. Chow
- et al.
- 2016
- IBM J. Res. Dev