Ben Laurie

Orcid: 0000-0002-3490-3473

According to our database¹, Ben Laurie authored at least 37 papers between 1999 and 2023.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

CHERIoT: Complete Memory Safety for Embedded Devices.

[BibT_eX]

[DOI]

Saar Amar

David Chisnall

Tony Chen

Nathaniel Wesley Filardo

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.

[BibT_eX]

[DOI]

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

2021

Certificate Transparency Version 2.0.

[BibT_eX]

[DOI]

Ben Laurie

Eran Messeri

Rob Stradling

RFC, December, 2021

2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims.

[BibT_eX]

[DOI]

Thomas Krendl Gilbert

CoRR, 2020

2019

Large-Scale Visual Speech Recognition.

[BibT_eX]

[DOI]

Proceedings of the Interspeech 2019, 2019

Sample Efficient Adaptive Text-to-Speech.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2018

Large-Scale Visual Speech Recognition.

[BibT_eX]

[DOI]

CoRR, 2018

2017

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

[BibT_eX]

[DOI]

A. Theodore Markettos

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.

[BibT_eX]

[DOI]

A. Theodore Markettos

IEEE Micro, 2016

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

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

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

Efficient gossip protocols for verifying the consistency of Certificate logs.

[BibT_eX]

[DOI]

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

Clean Application Compartmentalization with SOAAP.

[BibT_eX]

[DOI]

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

2014

Certificate transparency.

[BibT_eX]

[DOI]

Ben Laurie

Commun. ACM, 2014

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

[BibT_eX]

[DOI]

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

2013

Certificate Transparency.

[BibT_eX]

[DOI]

Ben Laurie

Adam Langley

Emilia Käsper

RFC, June, 2013

Towards a Theory of Application Compartmentalisation.

[BibT_eX]

[DOI]

Proceedings of the Security Protocols XXI, 2013

2012

Computing: Secure the Internet.

[BibT_eX]

[DOI]

Ben Laurie

Cory Doctorow

Nat., 2012

A taste of Capsicum: practical capabilities for UNIX.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Exploring Compartmentalisation Hypotheses with SOAAP.

[BibT_eX]

[DOI]

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

2010

Introducing Capsicum: Practical Capabilities for UNIX.

[BibT_eX]

[DOI]

Capsicum: Practical Capabilities for UNIX.

[BibT_eX]

[DOI]

Proceedings of the 19th USENIX Security Symposium, 2010

Drac: An Architecture for Anonymous Low-Volume Communications.

[BibT_eX]

[DOI]

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

Finding Error Handling Bugs in OpenSSL Using Coccinelle.

[BibT_eX]

[DOI]

Proceedings of the Eighth European Dependable Computing Conference, 2010

2008

DNS Security (DNSSEC) Hashed Authenticated Denial of Existence.

[BibT_eX]

[DOI]

RFC, March, 2008

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

[BibT_eX]

[DOI]

Ben Laurie

Abe Singer

Proceedings of the 2008 Workshop on New Security Paradigms, 2008

2007

Private Yet Abuse Resistant Open Publishing.

[BibT_eX]

[DOI]

George Danezis

Ben Laurie

Proceedings of the Security Protocols, 2007

2006

Derivation of DNS Name Predecessor and Successor.

[BibT_eX]

[DOI]

Geoffrey Sisson

Ben Laurie

RFC, September, 2006

2005

Safer Scripting Through Precompilation.

[BibT_eX]

[DOI]

Ben Laurie

Proceedings of the Security Protocols, 2005

Apache/OpenSSL/DNSSEC.

[BibT_eX]

Ben Laurie

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

2004

Network Forensics.

[BibT_eX]

[DOI]

Ben Laurie

ACM Queue, 2004

Minx: a simple and efficient anonymous packet format.

[BibT_eX]

[DOI]

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.).

[BibT_eX]

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.).

[BibT_eX]

[DOI]

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.).

[BibT_eX]

Ben Laurie

Peter Laurie

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

Ben Laurie

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...