Elaine R. Palmer

According to our database, Elaine R. Palmer authored at least 8 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a Formally Verified Security Monitor for VM-based Confidential Computing.

Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar

CoRR, 2023

2021

Confidential computing for OpenPOWER.

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

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2011

Lessons Learned: Building the Caernarvon High-Assurance Operating System.

Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber

IEEE Secur. Priv., 2011

2010

Implementing a High-Assurance Smart-Card OS.

Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

Designing a Side Channel Resistant Random Number Generator.

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

Proceedings of the Smart Card Research and Advanced Application, 2010

2008

The Caernarvon secure embedded operating system.

David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber

ACM SIGOPS Oper. Syst. Rev., 2008

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.

Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

1998

Using a High-Performance, Programmable Secure Coprocessor.

Sean W. Smith, Elaine R. Palmer, Steve H. Weingart

Proceedings of the Financial Cryptography, 1998