Elaine R. Palmer  Elaine R. Palmer photo         

contact information

Cloud and Systems Security Research
Hanover, NH
  +1dash603dash727dash9301

links

Professional Associations

Professional Associations:  ACM  |  ACM Distinguished Scientist  |  ACM SIGSAC  |  ACM-W  |  IBM Academy of Technology  |  IEEE

more information

More information:  LinkedIn profile


2022

Establishing Trust in Linux Keyrings - Is Trust Built-in, Imputed, or Transitive?
Elaine Palmer, George Wilson
Linux Security Summit North America, Linux Foundation, 2022
Abstract



2021

Confidential computing for OpenPOWER
Guerney Hunt, et.al.
EuroSys '21, pp. 294-310, 2021
Abstract

Common Security Threats v1.0
Editor: Yigal Edery, Contributors: Matt King, Elaine Palmer, Eric Spada, Rob Wood, Alberto Munoz, Nate Klein
Technical Report, Open Compute Project, 2021

Attestation of System Components v1.0, Requirements and Recommendations
Editor: Elaine R. Palmer, Contributors: Yigal Edery, Joe Foster, Ahmed Abbas Hassan, Brett Henning, Bryan Kelly, Nate Klein, Jubin Mehta, Alberto Munoz, Rajeev Sharma, Wojtek Powiertowski, Eric Spada, Ben Stoltz
Technical Report, Open Compute Project, 2021
Abstract


2020

Vendor Panel: Unique Challenges of Open System Firmware
Ron Minnich, Jean Marie Verdun, Jeoff Krontz, Elaine Palmer, Dong Wei, Isaac Oram
2020 OCP Virtual Summit, Open Compute Project
Abstract

Measurement and Attestation
Elaine Palmer, Brett Henning, Monty Wiseman
2020 OCP Tech Week, Open Compute Project

Attestation of System Components
Elaine R. Palmer
2020 OCP Virtual Summit, Open Compute Project
Abstract

Anchoring Trust in a Totally Open Platform
Elaine Palmer, George Wilson, Tim Block, Chris Engel, Nayna Jain, Mimi Zohar
Annual Computer Security Applications Conference (ACSAC), Case Studies 2, 2020


2019

Ownership and Control of Firmware in Open Compute Project Devices
Elaine Palmer
2019 OCP Global Summit, Open Compute Project
Abstract

Best Practices for Firmware Code Signing
Kenneth Goldman, Elaine Palmer, Tim Block, Christopher Engel, David Heller
Technical Report, Open Compute Project, 2019
Abstract


2018

Open System Firmware Projects
Elaine Palmer, Bryan Kelly, Nate Klein, Ron Minnich
Linux Security Summit North America 2018, Linux Foundation
Abstract

Ownership and Control of Firmware in Open Compute Project Devices
Elaine Palmer, Tamas Visegrady, and Michael Osborne
Technical Report, Open Compute Project, 2018
Abstract


2016

Managing Sensitive Applications in the Public Cloud
K. A. Beaty ; J. M. Chow ; R. L. F. Cunha ; K. K. Das ; M. F. Hulber ; A. Kundu ; V. Michelini ; E. R. Palmer
IBM Journal of Research and Development, IBM, 2016
Abstract


2011

Friends in Low Places - Loading Firmware in the Field
Elaine Palmer, Tamas Visegrady
Technical Report RC25095, IBM, 2011
Abstract

Lessons Learned Building the Caernarvon High-Assurance Smart Card Operating System
P A Karger, S K McIntosh, E R Palmer, D C Toll, S M Weber
IEEE Security and Privacy pp. 99, 1--1, IEEE, 2011


2010

Implementing a High-Assurance Smart-Card OS
P Karger, D Toll, E Palmer, S McIntosh, S Weber, J Edwards
Financial Cryptography and Data Security, 51--65, Springer, 2010

Designing a side channel resistant random number generator
S Chari, V Diluoffo, P Karger, E Palmer, T Rabin, J Rao, P Rohotgi, H Scherzer, M Steiner, D Toll
Smart Card Research and Advanced Application, 49--64, Springer, 2010


2008

Tooling in Support of Common Criteria Evaluation of a High Assurance Operating System
Carl C. Weber, David Toll, Elaine Palmer, Paul Karger, Sam Weber, and Suzanne McIntosh
U.S. Department of Homeland Security, 2008
Abstract

Designing a Secure Smart Card Operating System
P A Karger, D C Toll, E R Palmer, S K McIntosh, S M Weber
Technical Report RC 24531, 2008

Design of a Secure Smart Card Operating System for Pervasive Applications
P A Karger, D C Toll, E R Palmer, S K McIntosh, S M Weber
Technical Report RC 24687, 2008


The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System
S Weber, A Paradkar, S K McIntosh, D C Toll, P A Karger, M Kaplan, E R Palmer
19th International Symposium on Software Reliability Engineering, pp. 229--238, 2008

Tooling in support of Common Criteria evaluation of a high assurance operating system
DC Toll, S Weber, PA Karger, ER Palmer, SK McIntosh
IBM Thomas J. Watson Research Center Report, 2008

The Caernarvon secure embedded operating system
D C Toll, P A Karger, E R Palmer, S K McIntosh, S Weber
ACM SIGOPS Operating Systems Review 42(1), 32--39, ACM, 2008


1998

Using a high-performance, programmable secure coprocessor
S Smith, E Palmer, S Weingart
Financial Cryptography, pp. 73--89, 1998


1991

Introduction to the Citadel architecture: Security in physically exposed environments
S R White, S H Weingart, W C Arnold, E R Palmer
Technical Report RC 16672, IBM Research, 1991

An Introduction to Citadel: a secure crypto coprocessor for workstations
Elaine Palmer
Technical Report RC 18373, IBM TJ Watson Research Center, 1991


1989

Automating physical system modelling using bond graphs
SJ Hood, ER Palmer, DH Withers
Computer-Aided Design 21(9), 584--588, Elsevier, 1989

A fast, complete method for automatically assigning causality to bond graphs
S J Hood, ER Palmer, PM Dantzig
Journal of the Franklin Institute 326(1), 83--92, Elsevier, 1989


1987

The Design Analysis for Reliability Tool
S J Hood, E R Palmer
American Control Conference, pp. 1462--1467, 1987