Ben Laurie

According to our database, Ben Laurie authored at least 40 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

CHERI: Hardware-Enabled C/C++ Memory Protection at Scale.

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

IEEE Secur. Priv., 2024

Confidential Computing Transparency.

Ceren Kocaogullar, Tina Marjanov, Ivan Petrov, Ben Laurie, Al Cutter, Christoph Kern, Alice Hutchings, Alastair R. Beresford

CoRR, 2024

Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction.

Blaise Agüera y Arcas, Jyrki Alakuijala, James Evans, Ben Laurie, Alexander Mordvintsev, Eyvind Niklasson, Ettore Randazzo, Luca Versari

CoRR, 2024

2023

CHERIoT: Complete Memory Safety for Embedded Devices.

Saar Amar, David Chisnall, Tony Chen, Nathaniel Wesley Filardo, Ben Laurie, Kunyan Liu, Robert M. Norton, Simon W. Moore, Yucong Tao, Robert N. M. Watson, Hongyan Xia

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

2022

Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity.

Andrew Ferraiuolo, Razieh Behjati, Tiziano Santoro, Ben Laurie

Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, 2022

2021

Certificate Transparency Version 2.0.

Ben Laurie, Eran Messeri, Rob Stradling

RFC, December, 2021

2020

Towards making formal methods normal: meeting developers where they are.

Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie

CoRR, 2020

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims.

Miles Brundage, Shahar Avin, Jasmine Wang, Haydn Belfield, Gretchen Krueger, Gillian K. Hadfield, Heidy Khlaaf, Jingying Yang, Helen Toner, Ruth Fong, Tegan Maharaj, Pang Wei Koh, Sara Hooker, Jade Leung, Andrew Trask, Emma Bluemke, Jonathan Lebensold, Cullen O'Keefe, Mark Koren, Théo Ryffel, J. B. Rubinovitz, Tamay Besiroglu, Federica Carugati, Jack Clark, Peter Eckersley, Sarah de Haas, Maritza Johnson, Ben Laurie, Alex Ingerman, Igor Krawczuk, Amanda Askell, Rosario Cammarota, Andrew Lohn, David Krueger, Charlotte Stix, Peter Henderson, Logan Graham, Carina Prunkl, Bianca Martin, Elizabeth Seger, Noa Zilberman, Seán Ó hÉigeartaigh, Frens Kroeger, Girish Sastry, Rebecca Kagan, Adrian Weller, Brian Tse, Elizabeth Barnes, Allan Dafoe, Paul Scharre, Ariel Herbert-Voss, Martijn Rasser, Shagun Sodhani, Carrick Flynn, Thomas Krendl Gilbert, Lisa Dyer, Saif Khan, Yoshua Bengio, Markus Anderljung

CoRR, 2020

2019

Large-Scale Visual Speech Recognition.

Brendan Shillingford, Yannis M. Assael, Matthew W. Hoffman, Thomas Paine, Cían Hughes, Utsav Prabhu, Hank Liao, Hasim Sak, Kanishka Rao, Lorrayne Bennett, Marie Mulville, Misha Denil, Ben Coppin, Ben Laurie, Andrew W. Senior, Nando de Freitas

Proceedings of the 20th Annual Conference of the International Speech Communication Association, 2019

Sample Efficient Adaptive Text-to-Speech.

Yutian Chen, Yannis M. Assael, Brendan Shillingford, David Budden, Scott E. Reed, Heiga Zen, Quan Wang, Luis C. Cobo, Andrew Trask, Ben Laurie, Çaglar Gülçehre, Aäron van den Oord, Oriol Vinyals, Nando de Freitas

Proceedings of the 7th International Conference on Learning Representations, 2019

CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment.

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

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Large-Scale Visual Speech Recognition.

Brendan Shillingford, Yannis M. Assael, Matthew W. Hoffman, Thomas Paine, Cían Hughes, Utsav Prabhu, Hank Liao, Hasim Sak, Kanishka Rao, Lorrayne Bennett, Marie Mulville, Ben Coppin, Ben Laurie, Andrew W. Senior, Nando de Freitas

CoRR, 2018

2017

CHERI JNI: Sinking the Java Security Model into the C.

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

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Fast Protection-Domain Crossing in the CHERI Capability-System Architecture.

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

IEEE Micro, 2016

Expert and Non-Expert Attitudes towards (Secure) Instant Messaging.

Alexander De Luca, Sauvik Das, Martin Ortlieb, Iulia Ion, Ben Laurie

Proceedings of the Twelfth Symposium on Usable Privacy and Security, 2016

2015

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

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Efficient gossip protocols for verifying the consistency of Certificate logs.

Laurent Chuat, Pawel Szalachowski, Adrian Perrig, Ben Laurie, Eran Messeri

Proceedings of the 2015 IEEE Conference on Communications and Network Security, 2015

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

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Certificate Transparency.

Ben Laurie

ACM Queue, 2014

The CHERI capability model: Revisiting RISC in an age of risk.

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

Proceedings of the ACM/IEEE 41st International Symposium on Computer Architecture, 2014

2013

Certificate Transparency.

Ben Laurie, Adam Langley, Emilia Käsper

RFC, June, 2013

Towards a Theory of Application Compartmentalisation.

Robert N. M. Watson, Steven J. Murdoch, Khilan Gudka, Jonathan Anderson, Peter G. Neumann, Ben Laurie

Proceedings of the Security Protocols XXI, 2013

2012

Computing: Secure the Internet.

Ben Laurie, Cory Doctorow

Nat., 2012

A taste of Capsicum: practical capabilities for UNIX.

Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway

Commun. ACM, 2012

Exploring Compartmentalisation Hypotheses with SOAAP.

Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2010

Introducing Capsicum: Practical Capabilities for UNIX.

Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway

login Usenix Mag., 2010

Capsicum: Practical Capabilities for UNIX.

Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway

Proceedings of the 19th USENIX Security Symposium, 2010

Drac: An Architecture for Anonymous Low-Volume Communications.

George Danezis, Claudia Díaz, Carmela Troncoso, Ben Laurie

Proceedings of the Privacy Enhancing Technologies, 10th International Symposium, 2010

Finding Error Handling Bugs in OpenSSL Using Coccinelle.

Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller

Proceedings of the Eighth European Dependable Computing Conference, 2010

2008

DNS Security (DNSSEC) Hashed Authenticated Denial of Existence.

Ben Laurie, Geoffrey Sisson, Roy Arends, David Blacka

RFC, March, 2008

Choose the red pill <i>and</i> the blue pill: a position paper.

Ben Laurie, Abe Singer

Proceedings of the 2008 Workshop on New Security Paradigms, 2008

2007

Private Yet Abuse Resistant Open Publishing.

George Danezis, Ben Laurie

Proceedings of the Security Protocols, 2007

2006

Derivation of DNS Name Predecessor and Successor.

Geoffrey Sisson, Ben Laurie

RFC, September, 2006

2005

Safer Scripting Through Precompilation.

Ben Laurie

Proceedings of the Security Protocols, 2005

Apache/OpenSSL/DNSSEC.

Ben Laurie

Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

2004

Network Forensics.

Ben Laurie

ACM Queue, 2004

Minx: a simple and efficient anonymous packet format.

George Danezis, Ben Laurie

Proceedings of the 2004 ACM Workshop on Privacy in the Electronic Society, 2004

2003

Apache - das umfassende Handbuch: behandelt Apache 2.0 und 1.3 (2. Aufl.).

Ben Laurie, Peter Laurie

O'Reilly, ISBN: 978-3-89721-356-2, 2003

2002

Apache - the definitive guide: vital information for Apache programmers and administrators: covers Apache 2.0 and 1.3 (3. ed.).

Ben Laurie, Peter Laurie

O'Reilly, ISBN: 978-0-596-00203-9, 2002

1999

Apache - the definitive guide: visual information for Apache programmers and administrators (2. ed.).

Ben Laurie, Peter Laurie

O'Reilly, ISBN: 978-1-56592-528-1, 1999