Using a High-Performance, Programmable Secure Coprocessor. - Sean W. Smith; Elaine R. Palmer; Steve H. Weingart (Financial Cryptography, 1998)

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. - Sam Weber 001; Amitkumar M. Paradkar; Suzanne McIntosh; David C. Toll; Paul A. Karger; Matthew Kaplan 003; Elaine R. Palmer (ISSRE, 2008)

The Caernarvon secure embedded operating system. - David C. Toll; Paul A. Karger; Elaine R. Palmer; Suzanne McIntosh; Sam Weber 001 (ACM SIGOPS Oper. Syst. Rev., 2008)

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 001; David C. Toll (CARDIS, 2010)

Implementing a High-Assurance Smart-Card OS. - Paul A. Karger; David C. Toll; Elaine R. Palmer; Suzanne McIntosh; Samuel Weber 001; Jonathan W. Edwards (Financial Cryptography, 2010)

Lessons Learned: Building the Caernarvon High-Assurance Operating System. - Paul A. Karger; Suzanne McIntosh; Elaine R. Palmer; David C. Toll; Samuel Weber 001 (IEEE Secur. Priv., 2011)

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; et al. (EuroSys, 2021)

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)

ACE: Confidential Computing for Embedded RISC-V Systems. - Wojciech Ozga; Guerney D. H. Hunt; Michael V. Le; Lennard Gäher; Avraham Shinnar; Elaine R. Palmer; Hani Jamjoom; Silvio Dragone (CoRR, 2025)