Ben Laurie

Ben Laurie

Authored Publications
Sort By
  • Title
  • Title, descending
  • Year
  • Year, descending
    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)
Drac: An Architecture for Anonymous Low-Volume Communications
George Danezis
Claudia Diaz
Carmela Troncosco
PETS 2010 (to appear)
Preview
Choose the Red Pill and the Blue Pill
Abe Singer
New Security Paradigms Workshop 2008
Preview
(Under)mining Privacy in Social Networks
Monica Chew
W2SP 2008: Web 2.0 Security and Privacy 2008
Preview