Elaine R. Palmer

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar
Towards a Formally Verified Security Monitor for VM-based Confidential Computing. CoRR (2023)
Guerney D. H. Hunt, Ramachandra Pai, Michael V. Le, Hani Jamjoom, Sukadev Bhattiprolu, Rick Boivie, Laurent Dufour, Brad Frey, Mohit Kapur, Kenneth A. Goldman, Ryan Grimm, Janani Janakirman, John M. Ludden, Paul Mackerras, Cathy May, Elaine R. Palmer, Bharata Bhasker Rao, Lawrence Roy, William A. Starke, Jeff Stuecheli, Enriquillo Valdez, Wendel Voigt
Confidential computing for OpenPOWER. EuroSys (2021)
Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber
Lessons Learned: Building the Caernarvon High-Assurance Operating System. IEEE Secur. Priv. 9 (1) (2011)
Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards
Implementing a High-Assurance Smart-Card OS. Financial Cryptography (2010)
Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll
Designing a Side Channel Resistant Random Number Generator. CARDIS (2010)
Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. ISSRE (2008)
David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber
The Caernarvon secure embedded operating system. ACM SIGOPS Oper. Syst. Rev. 42 (1) (2008)
Sean W. Smith, Elaine R. Palmer, Steve H. Weingart
Using a High-Performance, Programmable Secure Coprocessor. Financial Cryptography (1998)