Ben Laurie
Google (United States)(US)Google (United Kingdom)(GB)
Publications by Year
Research Areas
Security and Verification in Computing, Advanced Malware Detection Techniques, Distributed systems and fault tolerance, Internet Traffic Analysis and Secure E-voting, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Certificate Transparency(2013)326 cited
- → CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization(2015)259 cited
- → Hypertext Transfer Protocol (HTTP/1.1): Message Syntax and Routing(2014)227 cited
- → Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims(2020)212 cited
- → The CHERI capability model(2014)210 cited
- → The CHERI capability model: Revisiting RISC in an age of risk(2014)157 cited
- Capsicum: practical capabilities for UNIX(2010)
- \Proof-of-Work" Proves Not to Work(2004)