Peter G. Neumann

14 publications in security and cryptology related venues

Year

Venue

Title

2020

conf/sp

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process.

Kyndylan Nienhuis Alexandre Joannou Thomas Bauereiss Anthony C. J. Fox Michael Roe Brian Campbell Matthew Naylor Robert M. Norton Simon W. Moore Peter G. Neumann Ian Stark Robert N. M. Watson Peter Sewell

2020

conf/sp

Cornucopia: Temporal Safety for CHERI Heaps.

Nathaniel Wesley Filardo Brett F. Gutstein Jonathan Woodruff Sam Ainsworth Lucian Paul-Trifu Brooks Davis Hongyan Xia Edward Tomasz Napierala Alexander Richardson John Baldwin David Chisnall Jessica Clarke Khilan Gudka Alexandre Joannou A. Theodore Markettos Alfredo Mazzinghi Robert M. Norton Michael Roe Peter Sewell Stacey D. Son Timothy M. Jones Simon W. Moore Peter G. Neumann Robert N. M. Watson

2019

conf/ndss

Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals.

A. Theodore Markettos Colin Rothwell Brett F. Gutstein Allison Pearce Peter G. Neumann Simon W. Moore Robert N. M. Watson

2015

conf/ccs

Clean Application Compartmentalization with SOAAP.

Khilan Gudka Robert N. M. Watson Jonathan Anderson David Chisnall Brooks Davis Ben Laurie Ilias Marinos Peter G. Neumann Alex Richardson

2015

conf/sp

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization.

Robert N. M. Watson Jonathan Woodruff Peter G. Neumann Simon W. Moore Jonathan Anderson David Chisnall Nirav H. Dave Brooks Davis Khilan Gudka Ben Laurie Steven J. Murdoch Robert M. Norton Michael Roe Stacey D. Son Munraj Vadera

2010

conf/sp

Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy.

Peter G. Neumann Matt Bishop Sean Peisert Marv Schaefer

2009

conf/acsac

Computer-Related Risk Futures.

Peter G. Neumann

2006

conf/ccs

System and network trustworthiness in perspective.

Peter G. Neumann

2006

conf/acsac

Risks of Untrustworthiness.

Peter G. Neumann

2003

conf/acsac

PSOS Revisited.

Peter G. Neumann Richard J. Feiertag

2000

conf/sp

Robust Nonproprietary Software.

Peter G. Neumann

1993

conf/acsac

Effects of multilevel security on real-time applications.

Raymond K. Clark Ira B. Greenberg Peter K. Boucher Teresa F. Lunt Peter G. Neumann Douglas M. Wells E. Douglas Jensen

1990

conf/acsac

IDES: a progress report [Intrusion-Detection Expert System].

Teresa F. Lunt Ann Tamaru Fred Gilham R. Jagannathan Peter G. Neumann Caveh Jalali

1986

conf/sp

Views for Multilevel Database Security.

Dorothy E. Denning Selim G. Akl Matthew Morgenstern Peter G. Neumann Roger R. Schell Mark R. Heckman

Coauthors

A. Theodore Markettos (2)

Alex Richardson (1)

Alexander Richardson (1)

Alexandre Joannou (2)

Alfredo Mazzinghi (1)

Allison Pearce (1)

Anthony C. J. Fox (1)

Brett F. Gutstein (2)

Brian Campbell (1)

Brooks Davis (3)

Caveh Jalali (1)

Colin Rothwell (1)

David Chisnall (3)

Dorothy E. Denning (1)

Douglas M. Wells (1)

E. Douglas Jensen (1)

Edward Tomasz Napierala (1)

Fred Gilham (1)

Hongyan Xia (1)

Ilias Marinos (1)

Ira B. Greenberg (1)

Jessica Clarke (1)

John Baldwin (1)

Jonathan Anderson (2)

Jonathan Woodruff (2)

Khilan Gudka (3)

Kyndylan Nienhuis (1)

Lucian Paul-Trifu (1)

Mark R. Heckman (1)

Marv Schaefer (1)

Matt Bishop (1)

Matthew Morgenstern (1)

Matthew Naylor (1)

Michael Roe (3)

Munraj Vadera (1)

Nathaniel Wesley Filardo (1)

Nirav H. Dave (1)

Peter G. Neumann (14)

Peter K. Boucher (1)

Peter Sewell (2)

R. Jagannathan (1)

Raymond K. Clark (1)

Richard J. Feiertag (1)

Robert M. Norton (3)

Robert N. M. Watson (5)

Roger R. Schell (1)

Sam Ainsworth (1)

Sean Peisert (1)

Selim G. Akl (1)

Simon W. Moore (4)

Stacey D. Son (2)

Steven J. Murdoch (1)

Teresa F. Lunt (2)

Thomas Bauereiss (1)

Timothy M. Jones (1)