Publications

Conference papers

Pratap Singh, Joshua Gancher, and Bryan Parno, “OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries”. USENIX Security 2025. Distinguished Artifact Award.
Extended version | Artifact

Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, and Bryan Parno, “Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust”. USENIX Security 2025.
Artifact

Zhengyao Lin, Michael McLoughlin, Pratap Singh, Rory Brennan-Jones, Paul Hitchcox, Joshua Gancher, and Bryan Parno, “Towards Practical, End-to-End Formally Verified X.509 Certificate Validators with Verdict”. USENIX Security 2025.
Artifact

Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, and Adam Chlipala, “Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)”. ICFP 2023.
Conference paper

Joshua Gancher, Sydney Gibson, Pratap Singh, Samvid Dharanikota, and Bryan Parno, “Owl: Compositional Verification of Security Protocols via an Information-Flow Type System”. IEEE S&P 2023.
Conference paper | Extended version

Journal papers

M Sacchi, P Singh, DM Chisnall, DJ Ward, AP Jardine, W Allison, J Ellis, and H Hedgeland, “The dynamics of benzene on Cu(111): a combined helium spin echo and dispersion-corrected DFT study into the diffusion of physisorbed aromatics on metal surfaces”, Faraday Discuss., 2017, 204, 471-485.
Journal paper

H Hedgeland, M Sacchi, P Singh, AJ McIntosh, AP Jardine, G Alexandrowicz, DJ Ward, SJ Jenkins, W Allison, and J Ellis, “Mass Transport in Surface Diffusion of van der Waals Bonded Systems: Boosted by Rotations?”, J. Phys. Chem. Lett., 2016, 7 (23) 4819–4824.
Journal paper

P Singh and H Hedgeland, “Special relativity in the school laboratory: a simple apparatus for cosmic-ray muon detection”, Physics Education, 2015, 50, 317-323. Selected for Physics Education Highlights of 2015.
Journal paper