default search action
Peter G. Neumann
- > Home > Persons > Peter G. Neumann
Publications
- 2024
- [j320]Harold Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Jon Callas, Whitfield Diffie, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Vanessa Teague, Carmela Troncoso:
Bugs in our pockets: the risks of client-side scanning. J. Cybersecur. 10(1) (2024) - [j319]Alexandre Joannou, Peter Rugg, Jonathan Woodruff, Franz A. Fuchs, Marno van der Maas, Matthew Naylor, Michael Roe, Robert N. M. Watson, Peter G. Neumann, Simon W. Moore:
Randomized Testing of RISC-V CPUs Using Direct Instruction Injection. IEEE Des. Test 41(1): 40-49 (2024) - [j318]Robert N. M. Watson, David Chisnall, Jessica Clarke, Brooks Davis, Nathaniel Wesley Filardo, Ben Laurie, Simon W. Moore, Peter G. Neumann, Alexander Richardson, Peter Sewell, Konrad Witaszczyk, Jonathan Woodruff:
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale. IEEE Secur. Priv. 22(4): 50-61 (2024) - [c48]Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson:
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ASPLOS (2) 2024: 251-268 - 2023
- [c47]Franz A. Fuchs, Jonathan Woodruff, Peter Rugg, Marno van der Maas, Alexandre Joannou, Alexander Richardson, Jessica Clarke, Nathaniel Wesley Filardo, Brooks Davis, John Baldwin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson:
Architectural Contracts for Safe Speculation. ICCD 2023: 578-586 - 2022
- [i3]Hesham Almatary, Michael Dodson, Jessica Clarke, Peter Rugg, Ivan Gomes, Michal Podhradsky, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson:
CompartOS: CHERI Compartmentalization for Embedded Systems. CoRR abs/2206.02852 (2022) - 2021
- [i2]Hal Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Jon Callas, Whitfield Diffie, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Vanessa Teague, Carmela Troncoso:
Bugs in our Pockets: The Risks of Client-Side Scanning. CoRR abs/2110.07450 (2021) - 2020
- [c46]A. Theodore Markettos, John Baldwin, Ruslan Bukin, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson:
Position Paper: Defending Direct Memory Access with CHERI Capabilities. HASP@MICRO 2020: 7:1-7:9 - [c45]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:
Cornucopia: Temporal Safety for CHERI Heaps. SP 2020: 608-625 - [c44]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:
Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process. SP 2020: 1003-1020 - 2019
- [j294]A. Theodore Markettos, Robert N. M. Watson, Simon W. Moore, Peter Sewell, Peter G. Neumann:
Through computer architecture, darkly. Commun. ACM 62(6): 25-27 (2019) - [j288]Jonathan Woodruff, Alexandre Joannou, Hongyan Xia, Anthony C. J. Fox, Robert M. Norton, David Chisnall, Brooks Davis, Khilan Gudka, Nathaniel Wesley Filardo, A. Theodore Markettos, Michael Roe, Peter G. Neumann, Robert N. M. Watson, Simon W. Moore:
CHERI Concentrate: Practical Compressed Capabilities. IEEE Trans. Computers 68(10): 1455-1469 (2019) - [c43]Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala, Robert M. Norton, Michael Roe, Peter Sewell, Stacey D. Son, Jonathan Woodruff:
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment. ASPLOS 2019: 379-393 - [c42]Hongyan Xia, Jonathan Woodruff, Sam Ainsworth, Nathaniel Wesley Filardo, Michael Roe, Alexander Richardson, Peter Rugg, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson, Timothy M. Jones:
CHERIvoke: Characterising Pointer Revocation using CHERI Capabilities for Temporal Memory Safety. MICRO 2019: 545-557 - [c41]A. Theodore Markettos, Colin Rothwell, Brett F. Gutstein, Allison Pearce, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson:
Thunderclap: Exploring Vulnerabilities in Operating System IOMMU Protection via DMA from Untrustworthy Peripherals. NDSS 2019 - 2018
- [j287]Steven M. Bellovin, Peter G. Neumann:
The big picture. Commun. ACM 61(11): 24-26 (2018) - [c40]Hongyan Xia, Jonathan Woodruff, Hadrien Barral, Lawrence Esswood, Alexandre Joannou, Robert Kovacsics, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alexander Richardson, Simon W. Moore, Robert N. M. Watson:
CheriRTOS: A Capability Model for Embedded Devices. ICCD 2018: 92-99 - 2017
- [j282]Ulf Lindqvist, Peter G. Neumann:
The future of the internet of things. Commun. ACM 60(2): 26-30 (2017) - [c39]David Chisnall, Brooks Davis, Khilan Gudka, David Brazdil, Alexandre Joannou, Jonathan Woodruff, A. Theodore Markettos, J. Edward Maste, Robert M. Norton, Stacey D. Son, Michael Roe, Simon W. Moore, Peter G. Neumann, Ben Laurie, Robert N. M. Watson:
CHERI JNI: Sinking the Java Security Model into the C. ASPLOS 2017: 569-583 - [c38]Alexandre Joannou, Jonathan Woodruff, Robert Kovacsics, Simon W. Moore, Alex Bradbury, Hongyan Xia, Robert N. M. Watson, David Chisnall, Michael Roe, Brooks Davis, Edward Napierala, John Baldwin, Khilan Gudka, Peter G. Neumann, Alfredo Mazzinghi, Alex Richardson, Stacey D. Son, A. Theodore Markettos:
Efficient Tagged Memory. ICCD 2017: 641-648 - 2016
- [j274]Robert N. M. Watson, Robert M. Norton, Jonathan Woodruff, Simon W. Moore, Peter G. Neumann, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Michael Roe, Nirav H. Dave, Khilan Gudka, Alexandre Joannou, A. Theodore Markettos, Ed Maste, Steven J. Murdoch, Colin Rothwell, Stacey D. Son, Munraj Vadera:
Fast Protection-Domain Crossing in the CHERI Capability-System Architecture. IEEE Micro 36(5): 38-49 (2016) - [i1]Robert N. M. Watson, Simon W. Moore, Peter G. Neumann:
CHERI: A Hardware-Software System to Support the Principle of Least Privilege. ERCIM News 2016(106) (2016) - 2015
- [j265]Harold Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner:
Keys under doormats. Commun. ACM 58(10): 24-26 (2015) - [j264]Harold Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner:
Keys under doormats: mandating insecurity by requiring government access to all data and communications. J. Cybersecur. 1(1): 69-79 (2015) - [c37]Jong Hun Han, Prashanth Mundkur, Charalampos Rotsos, Gianni Antichi, Nirav H. Dave, Andrew William Moore, Peter G. Neumann:
Blueswitch: Enabling Provably Consistent Configuration of Network Switches. ANCS 2015: 17-27 - [c36]David Chisnall, Colin Rothwell, Robert N. M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, Peter G. Neumann:
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine. ASPLOS 2015: 117-130 - [c35]Khilan Gudka, Robert N. M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. Neumann, Alex Richardson:
Clean Application Compartmentalization with SOAAP. CCS 2015: 1016-1031 - [c33]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:
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization. IEEE Symposium on Security and Privacy 2015: 20-37 - 2014
- [j256]Peter G. Neumann, Sean Peisert, Marvin Schaefer:
The IEEE Symposium on Security and Privacy, in Retrospect. IEEE Secur. Priv. 12(3): 15-17 (2014) - [c32]Jonathan Woodruff, Robert N. M. Watson, David Chisnall, Simon W. Moore, Jonathan Anderson, Brooks Davis, Ben Laurie, Peter G. Neumann, Robert M. Norton, Michael Roe:
The CHERI capability model: Revisiting RISC in an age of risk. ISCA 2014: 457-468 - 2013
- [c31]Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. Neumann, Ben Laurie:
Towards a Theory of Application Compartmentalisation. Security Protocols Workshop 2013: 19-27 - 2012
- [j241]Peter G. Neumann, Ulf Lindqvist:
The IEEE Symposium on Security and Privacy Is Moving to San Francisco. IEEE Secur. Priv. 10(2): 65-66 (2012) - [j240]Dan Thomsen, Jeremy Epstein, Peter G. Neumann:
Lost Treasures. IEEE Secur. Priv. 10(6): 17-19 (2012) - 2010
- [c29]Peter G. Neumann, Matt Bishop, Sean Peisert, Marv Schaefer:
Reflections on the 30th Anniversary of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy 2010: 3-13 - 2008
- [j213]Jim Horning, Peter G. Neumann:
Risks of neglecting infrastructure. Commun. ACM 51(6): 112 (2008) - [j212]Steven M. Bellovin, Matt Blaze, Whitfield Diffie, Susan Landau, Peter G. Neumann, Jennifer Rexford:
Risking Communications Security: Potential Hazards of the Protect America Act. IEEE Secur. Priv. 6(1): 24-33 (2008) - 2007
- [j202]Herbert S. Lin, Alfred Z. Spector, Peter G. Neumann, Seymour E. Goodman:
Toward a safer and more secure cyberspace. Commun. ACM 50(10): 128 (2007) - [j201]Steven M. Bellovin, Matt Blaze, Whitfield Diffie, Susan Landau, Jennifer Rexford, Peter G. Neumann:
Internal surveillance, external risks. Commun. ACM 50(12): 128 (2007) - 2006
- [j193]Peter G. Neumann, Lauren Weinstein:
Risks of RFID. Commun. ACM 49(5): 136 (2006) - [c25]Steven Fraser, Gregor Kiczales, Ricardo López, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan:
The ultra challenge: software systems beyond big. OOPSLA Companion 2006: 929-933 - 2005
- [j182]Peter G. Neumann, Michael D. Byrne:
Disability-related risks. Commun. ACM 48(8): 144 (2005) - 2003
- [c23]Peter G. Neumann, Richard J. Feiertag:
PSOS Revisited. ACSAC 2003: 208-216 - 2002
- [c19]Alan Davidson, Peter G. Neumann, Susan Crawford, Karl Auerbach:
ICANN in Year 3. CFP 2002: 10:10 - 2001
- [j154]Peter G. Neumann, David Lorge Parnas:
Computers: boon or bane? Commun. ACM 44(3): 168 (2001) - [j153]Lauren Weinstein, Peter G. Neumann:
Inside Risks: Risks of Panic. Commun. ACM 44(11): 152 (2001) - [j152]Peter G. Neumann, Lauren Weinstein:
Risks of National Identity Cards. Commun. ACM 44(12): 176 (2001) - 2000
- [j144]Lauren Weinstein, Peter G. Neumann:
Internet Risks. Commun. ACM 43(5): 144 (2000) - 1999
- [j132]Peter G. Neumann, Lauren Weinstein:
Risks of Content Filtering. Commun. ACM 42(11): 152 (1999) - [c15]Peter G. Neumann, Phillip A. Porras:
Experience with EMERALD to Date. Workshop on Intrusion Detection and Network Monitoring 1999: 73-80 - 1998
- [e1]Rebecca N. Wright, Peter G. Neumann:
Network Threats, Proceedings of a DIMACS Workshop, December 2-4, 1996. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 38, DIMACS/AMS 1998, ISBN 978-0-8218-0832-0 [contents] - 1997
- [j115]Peter G. Neumann, Lauren Weinstein:
Spam, Spam, Spam! Commun. ACM 40(6): 112 (1997) - [j106]Hal Abelson, Ross J. Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier:
The risks of key recovery, key escrow, and trusted third-party encryption. World Wide Web J. 2: 241-257 (1997) - 1996
- [j104]Peter G. Neumann, Peter J. Denning:
W(h)ither Research and Education? Commun. ACM 39(2): 154 (1996) - 1994
- [j78]Susan Landau, Stephen T. Kent, Clinton Brooks, Scott Charney, Dorothy E. Denning, Whitfield Diffie, Anthony Lauck, Douglas Miller, Peter G. Neumann, David Sobel:
Crypto Policy Perspectives. Commun. ACM 37(8): 115-121 (1994) - 1993
- [j61]Nancy G. Leveson, Peter G. Neumann:
Introduction to Special Issue on Software for Critical Systems. IEEE Trans. Software Eng. 19(1): 1-2 (1993) - [c13]Raymond K. Clark, Ira B. Greenberg, Peter K. Boucher, Teresa F. Lunt, Peter G. Neumann, Douglas M. Wells, E. Douglas Jensen:
Effects of multilevel security on real-time applications. ACSAC 1993: 120-129 - 1990
- [c11]Teresa F. Lunt, Ann Tamaru, Fred Gilham, R. Jagannathan, Peter G. Neumann, Caveh Jalali:
IDES: a progress report [Intrusion-Detection Expert System]. ACSAC 1990: 273-285 - 1987
- [j24]Dorothy E. Denning, Selim G. Akl, Mark R. Heckman, Teresa F. Lunt, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell:
Views for Multilevel Database Security. IEEE Trans. Software Eng. 13(2): 129-140 (1987) - 1986
- [c10]Dorothy E. Denning, Selim G. Akl, Matthew Morgenstern, Peter G. Neumann, Roger R. Schell, Mark R. Heckman:
Views for Multilevel Database Security. S&P 1986: 156-172 - 1983
- [j15]Stanley R. Ames Jr., Peter G. Neumann:
Computer Security Technology: Guest Editors' Introduction. Computer 16(7): 10-12 (1983) - 1981
- [j12]Karl N. Levitt, Peter G. Neumann:
Recent SRI work in verification. ACM SIGSOFT Softw. Eng. Notes 6(3): 27-35 (1981) - 1979
- [c9]Richard J. Feiertag, Peter G. Neumann:
The foundations of a provably secure operating system (PSOS). MARK 1979: 329-334 - 1976
- [c7]Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson:
Software Development and Proofs of Multi-Level Security. ICSE 1976: 421-428 - 1975
- [c6]Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena:
On attaining reliable software for a secure operating system. Reliable Software 1975: 267-284 - 1974
- [c5]Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden:
Security kernels. AFIPS National Computer Conference 1974: 973-980 - 1957
- [j1]Frederick P. Brooks Jr., Albert L. Hopkins Jr., Peter G. Neumann, William V. Wright:
An experiment in musical composition. IRE Trans. Electron. Comput. 6(3): 175-182 (1957)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint