Elaine R. Palmer  Elaine R. Palmer photo         

contact information

Secure Cloud and Systems Research
Hanover, NH


Professional Associations

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


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


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

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


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


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

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


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


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


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


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