John Baldwin

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 8

Top Topics

Direct Memory Access

Adverse Selection

Top Venues

Bull. Symb. Log.

IEEE Symposium on Security and Privacy

Publications

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)
John Baldwin, David Marker
IN MEMORIAM: MICHAEL MORLEY, 1930-2020. Bull. Symb. Log. 27 (4) (2021)
John Baldwin, Gianluca Paolini
Strongly Minimal Steiner Systems I: existence. J. Symb. Log. 86 (4) (2021)
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. IEEE Symposium on Security and Privacy (2020)
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)
Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, James 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)
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)
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)
John Baldwin, David W. Kueker, Monica Van Dieren
Upward Stability Transfer for Tame Abstract Elementary Classes. Notre Dame J. Formal Log. 47 (2) (2006)
Nick Anzalone, John Baldwin, Ilya Bronshtein, T. Kyle Petersen
A Reciprocity Theorem for Monomer-Dimer Coverings. DMCS (2003)
John Baldwin, David Sabourin
Innovative activity in Canadian food processing establishments: the importance of engineering practices. Int. J. Technol. Manag. 20 (5/6/7/8) (2000)