Elaine R. Palmer  Elaine R. Palmer photo       

contact information

Secure Cloud and Systems Research
Hanover, NH
  +1dash603dash727dash9301

links

Professional Associations

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


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