Craig Disselkoen

According to our database, Craig Disselkoen authored at least 21 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

Proc. ACM Program. Lang., 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, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells

CoRR, 2024

How We Built Cedar: A Verification-Guided Approach.

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

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

2023

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

Proc. ACM Program. Lang., January, 2023

2022

Memory Safety for Today's Languages and Architectures

Craig Disselkoen

PhD thesis, 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

SoK: Practical Foundations for Software Spectre Defenses.

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

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 Spectre Defenses.

Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan

CoRR, 2021

Swivel: Hardening WebAssembly against Spectre.

Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan

Proceedings of the 30th USENIX Security Symposium, 2021

Tutorial: Sandboxing (unsafe) C code with RLBox.

Shravan Narayan, Craig Disselkoen, Deian Stefan

Proceedings of the IEEE Secure Development Conference, 2021

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

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

Retrofitting Fine Grain Isolation in the Firefox Renderer.

Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan

Proceedings of the 29th USENIX Security Symposium, 2020

Constant-time foundations for the new spectre era.

Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

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

The Code That Never Ran: Modeling Attacks on Speculative Evaluation.

Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

Position Paper: Progressive Memory Safety for WebAssembly.

Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan

Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019

2018

Browser history re: visited.

Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan

Proceedings of the 12th USENIX Workshop on Offensive Technologies, 2018

2017

Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX.

Craig Disselkoen, David Kohlbrenner, Leo Porter, Dean M. Tullsen

Proceedings of the 26th USENIX Security Symposium, 2017

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

Proceedings of the Biocomputing 2017: Proceedings of the Pacific Symposium, 2017