Ben Laurie
Authored Publications
Sort By
Google
Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity
Andrew Ferraiuolo
Razieh Behjati
ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses, Association for Computing Machinery (2022)
Towards making formal methods normal: meeting developers where they are
Alastair Reid
Shaked Flur
Luke Church
Maritza Johnson
HATRA 2020: Human Aspects of Types and Reasoning Assistants (to appear)
Expert and Non-Expert Attitudes towards (Secure) Instant Messaging
Sauvik Das
Iulia Ion
Twelfth Symposium on Usable Privacy and Security (SOUPS 2016), USENIX Association, Denver, CO, pp. 147-157
A taste of Capsicum: practical capabilities for UNIX
Robert N. M. Watson
Jonathan Anderson
Kris Kennaway
Communications of the ACM, 55(3) (2012), pp. 97-104
Capsicum: practical capabilities for UNIX
Robert N. M. Watson
Jonathan Anderson
Kris Kennaway
Proceedings of the 19th USENIX Security Symposium (2010)
Access Control
Preview
Google, Inc. (2008)
Selective Disclosure
Ben Laurie (2007)
