Position Paper: Progressive Memory Safety for WebAssembly. - Craig Disselkoen; John Renner; Conrad Watt; Tal Garfinkel; Amit Levy; Deian Stefan (HASP@ISCA, 2019)

FaCT: a DSL for timing-sensitive computation. - Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S. Wahby; John Renner; Benjamin Grégoire; Gilles Barthe; Ranjit Jhala; Deian Stefan (PLDI, 2019)

Foundations for Parallel Information Flow Control Runtime Systems. - Marco Vassena; Gary Soeller; Peter Amidon; Matthew Chan; John Renner; Deian Stefan (POST, 2019)

CT-wasm: type-driven secure cryptography for the web ecosystem. - Conrad Watt; John Renner; Natalie Popescu; Sunjay Cauligi; Deian Stefan (Proc. ACM Program. Lang., 2019)

Towards a verified range analysis for JavaScript JITs. - Fraser Brown; John Renner; Andres Nötzli; Sorin Lerner; Hovav Shacham; Deian Stefan (PLDI, 2020)

Scooter & Sidecar: a domain-specific approach to writing secure database migrations. - John Renner; Alex Sanchez-Stern; Fraser Brown; Sorin Lerner; Deian Stefan (PLDI, 2021)

Language Techniques for Automated Verifiction of Web Security - John Renner (2022)

Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. - Naomi Smith; Abhishek Sharma; John Renner; David Thien; Fraser Brown; Hovav Shacham; Ranjit Jhala; Deian Stefan (SOSP, 2024)