Ben Laurie

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 19

Top Topics

Visual Speech Recognition

Provably Correct

Embedded Devices

Top Venues

IEEE Symposium on Security and Privacy

Publications

Blaise Agüera y Arcas, Jyrki Alakuijala, James Evans, Ben Laurie, Alexander Mordvintsev, Eyvind Niklasson, Ettore Randazzo, Luca Versari
Computational Life: How Well-formed, Self-replicating Programs Emerge from Simple Interaction. CoRR (2024)
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) (2024)
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
CHERIoT: Complete Memory Safety for Embedded Devices. MICRO (2023)
Andrew Ferraiuolo, Razieh Behjati, Tiziano Santoro, Ben Laurie
Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity. SCORED@CCS (2022)
Ben Laurie, Eran Messeri, Rob Stradling
Certificate Transparency Version 2.0. RFC 9162 (2021)
Alastair Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie
Towards making formal methods normal: meeting developers where they are. CoRR (2020)
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
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims. CoRR (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)
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
Large-Scale Visual Speech Recognition. INTERSPEECH (2019)
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
Sample Efficient Adaptive Text-to-Speech. ICLR (Poster) (2019)
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
Sample Efficient Adaptive Text-to-Speech. CoRR (2018)
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
Large-Scale Visual Speech Recognition. CoRR (2018)
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)
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) (2016)
Alexander De Luca, Sauvik Das, Martin Ortlieb, Iulia Ion, Ben Laurie
Expert and Non-Expert Attitudes towards (Secure) Instant Messaging. SOUPS (2016)
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)
Laurent Chuat, Pawel Szalachowski, Adrian Perrig, Ben Laurie, Eran Messeri
Efficient gossip protocols for verifying the consistency of Certificate logs. CNS (2015)
Laurent Chuat, Pawel Szalachowski, Adrian Perrig, Ben Laurie, Eran Messeri
Efficient Gossip Protocols for Verifying the Consistency of Certificate Logs. CoRR (2015)
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)
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)
Ben Laurie
Certificate transparency. Commun. ACM 57 (10) (2014)
Ben Laurie
Certificate Transparency. ACM Queue 12 (8) (2014)
Ben Laurie, Adam Langley, Emilia Käsper
Certificate Transparency. RFC 6962 (2013)
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)
Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway
A taste of Capsicum: practical capabilities for UNIX. Commun. ACM 55 (3) (2012)
Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy
Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops (2012)
Ben Laurie, Cory Doctorow
Computing: Secure the Internet. Nat. 491 (7424) (2012)
George Danezis, Claudia Díaz, Carmela Troncoso, Ben Laurie
Drac: An Architecture for Anonymous Low-Volume Communications. Privacy Enhancing Technologies (2010)
Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway
Introducing Capsicum: Practical Capabilities for UNIX. login Usenix Mag. 35 (6) (2010)
Robert N. M. Watson, Jonathan Anderson, Ben Laurie, Kris Kennaway
Capsicum: Practical Capabilities for UNIX. USENIX Security Symposium (2010)
Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC (2010)
Ben Laurie, Geoffrey Sisson, Roy Arends, David Blacka
DNS Security (DNSSEC) Hashed Authenticated Denial of Existence. RFC 5155 (2008)
Ben Laurie, Abe Singer
the blue pill: a position paper. NSPW (2008)
George Danezis, Ben Laurie
Private Yet Abuse Resistant Open Publishing. Security Protocols Workshop (2007)
Geoffrey Sisson, Ben Laurie
Derivation of DNS Name Predecessor and Successor. RFC 4471 (2006)
Ben Laurie
Safer Scripting Through Precompilation. Security Protocols Workshop (2005)
Ben Laurie
Apache/OpenSSL/DNSSEC. LISA (2005)
Ben Laurie
Safer Scripting Through Precompilation. Security Protocols Workshop (2005)
Ben Laurie
Network Forensics. ACM Queue 2 (4) (2004)
George Danezis, Ben Laurie
Minx: a simple and efficient anonymous packet format. WPES (2004)