Improved Performance of Gene Set Analysis on Genome-Wide Transcriptomics Data when Using Gene Activity State Estimates. - Thomas Kamp; Micah Adams; Craig Disselkoen; Nathan L. Tintle (PSB, 2017)

Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX. - Craig Disselkoen; David Kohlbrenner; Leo Porter 001; Dean M. Tullsen (USENIX Security Symposium, 2017)

Browser history re: visited. - Michael Smith; Craig Disselkoen; Shravan Narayan; Fraser Brown; Deian Stefan (WOOT @ USENIX Security Symposium, 2018)

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

The Code That Never Ran: Modeling Attacks on Speculative Evaluation. - Craig Disselkoen; Radha Jagadeesan; Alan Jeffrey; James Riely (IEEE Symposium on Security and Privacy, 2019)

Towards Constant-Time Foundations for the New Spectre Era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Deian Stefan; Tamara Rezk; Gilles Barthe (CoRR, 2019)

Constant-time foundations for the new spectre era. - Sunjay Cauligi; Craig Disselkoen; Klaus von Gleissenthall; Dean M. Tullsen; Deian Stefan; Tamara Rezk; Gilles Barthe (PLDI, 2020)

Retrofitting Fine Grain Isolation in the Firefox Renderer. - Shravan Narayan; Craig Disselkoen; Tal Garfinkel; Nathan Froyd; Eric Rahm; Sorin Lerner; Hovav Shacham; Deian Stefan (USENIX Security Symposium, 2020)

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version). - Shravan Narayan; Craig Disselkoen; Tal Garfinkel; Nathan Froyd; Eric Rahm; Sorin Lerner; Hovav Shacham; Deian Stefan (CoRR, 2020)

The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing. - Tal Garfinkel; Shravan Narayan; Craig Disselkoen; Hovav Shacham; Deian Stefan (login Usenix Mag., 2020)

Tutorial: Sandboxing (unsafe) C code with RLBox. - Shravan Narayan; Craig Disselkoen; Deian Stefan (SecDev, 2021)

Swivel: Hardening WebAssembly against Spectre. - Shravan Narayan; Craig Disselkoen; Daniel Moghimi; Sunjay Cauligi; Evan Johnson 001; Zhao Gang; Anjo Vahldiek-Oberwagner; Ravi Sahita; Hovav Shacham; Dean M. Tullsen; Deian Stefan (USENIX Security Symposium, 2021)

SoK: Practical Foundations for Spectre Defenses. - Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe; Deian Stefan (CoRR, 2021)

Automatically eliminating speculative leaks from cryptographic code with blade. - Marco Vassena; Craig Disselkoen; Klaus von Gleissenthall; Sunjay Cauligi; Rami Gökhan Kici; Ranjit Jhala; Dean M. Tullsen; Deian Stefan (Proc. ACM Program. Lang., 2021)

SoK: Practical Foundations for Software Spectre Defenses. - Sunjay Cauligi; Craig Disselkoen; Daniel Moghimi; Gilles Barthe; Deian Stefan (SP, 2022)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Craig Disselkoen; Aidan Denlinger; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (CoRR, 2022)

Memory Safety for Today's Languages and Architectures - Craig Disselkoen (2022)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)