Publications

Conference papers

Pratap Singh, Joshua Gancher, and Bryan Parno, “OwlC: Compiling Security Protocols to Verified, Secure, High-Performance Libraries”. To appear at USENIX Security 2025. View extended version

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”. To appear at USENIX Security 2025.

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”. To appear at USENIX Security 2025.

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. View 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. View paper

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. View 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. View 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. View paper