Craig Disselkoen

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 22

Top Topics

Conceptual Graphs

Xquery Full Text

Learning From Positive Data

Top Venues

Proc. ACM Program. Lang.

USENIX Security Symposium

IEEE Symposium on Security and Privacy

Publications

Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. SIGSOFT FSE Companion (2024)
Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, John H. Kastner, Anwar Mamat, Matt McCutchen, Neha Rungta, Bhakti Shah, Emina Torlak, Andrew Wells
How We Built Cedar: A Verification-Guided Approach. CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). CoRR (2024)
Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR (2022)
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
SoK: Practical Foundations for Software Spectre Defenses. IEEE Symposium on Security and Privacy (2022)
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
SoK: Practical Foundations for Spectre Defenses. CoRR (2021)
Shravan Narayan, Craig Disselkoen, Deian Stefan
Tutorial: Sandboxing (unsafe) C code with RLBox. SecDev (2021)
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
Swivel: Hardening WebAssembly against Spectre. CoRR (2021)
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. 5 (POPL) (2021)
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
Swivel: Hardening WebAssembly against Spectre. USENIX Security Symposium (2021)
Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version). CoRR (2020)
Tal Garfinkel, Shravan Narayan, Craig Disselkoen, Hovav Shacham, Deian Stefan
The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing. login Usenix Mag. 45 (4) (2020)
Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
Retrofitting Fine Grain Isolation in the Firefox Renderer. USENIX Security Symposium (2020)
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
Constant-time foundations for the new spectre era. PLDI (2020)
Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely
The Code That Never Ran: Modeling Attacks on Speculative Evaluation. IEEE Symposium on Security and Privacy (2019)
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
Position Paper: Progressive Memory Safety for WebAssembly. HASP@ISCA (2019)
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
Towards Constant-Time Foundations for the New Spectre Era. CoRR (2019)
Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan
Browser history re: visited. WOOT @ USENIX Security Symposium (2018)
Craig Disselkoen, David Kohlbrenner, Leo Porter, Dean M. Tullsen
Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX. USENIX Security Symposium (2017)
Thomas Kamp, Micah Adams, Craig Disselkoen, Nathan L. Tintle
Improved Performance of Gene Set Analysis on Genome-Wide Transcriptomics Data when Using Gene Activity State Estimates. PSB (2017)