
Ben Laurie
Authored Publications
Sort By
Google
Policy Transparency: Authorization Logic Meets General Transparency to Prove Software Supply Chain Integrity
Razieh Behjati
Andrew Ferraiuolo
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
Shaked Flur
Alastair Reid
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
Kris Kennaway
Robert N. M. Watson
Jonathan Anderson
Communications of the ACM, 55(3) (2012), pp. 97-104
Capsicum: practical capabilities for UNIX
Kris Kennaway
Jonathan Anderson
Robert N. M. Watson
Proceedings of the 19th USENIX Security Symposium (2010)
Access Control
Preview
Google, Inc. (2008)
Selective Disclosure
Ben Laurie (2007)