Craig Disselkoen

23 papers A* 6Misc 1Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).
CoRR
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
2024 J jnl
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization.
Proc. ACM Program. Lang.
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
2024 — conf
How We Built Cedar: A Verification-Guided Approach.
SIGSOFT FSE Companion
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
2024 J jnl
How We Built Cedar: A Verification-Guided Approach.
CoRR
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
2023 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang.
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2022 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2022 — —
Memory Safety for Today's Languages and Architectures
Craig Disselkoen
2022 A* conf
SoK: Practical Foundations for Software Spectre Defenses.
SP
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
2021 J jnl
Automatically eliminating speculative leaks from cryptographic code with blade.
Proc. ACM Program. Lang.
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
2021 J jnl
SoK: Practical Foundations for Spectre Defenses.
CoRR
Sunjay Cauligi, Craig Disselkoen, Daniel Moghimi, Gilles Barthe, Deian Stefan
2021 A* conf
Swivel: Hardening WebAssembly against Spectre.
USENIX Security Symposium
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
2021 J jnl
Swivel: Hardening WebAssembly against Spectre.
CoRR
Shravan Narayan, Craig Disselkoen, Daniel Moghimi, Sunjay Cauligi, Evan Johnson, Zhao Gang, Anjo Vahldiek-Oberwagner, Ravi Sahita, Hovav Shacham, Dean M. Tullsen, Deian Stefan
2021 — conf
Tutorial: Sandboxing (unsafe) C code with RLBox.
SecDev
Shravan Narayan, Craig Disselkoen, Deian Stefan
2020 A* conf
Constant-time foundations for the new spectre era.
PLDI
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe
2020 J jnl
Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version).
CoRR
Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
2020 A* conf
Retrofitting Fine Grain Isolation in the Firefox Renderer.
USENIX Security Symposium
Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, Deian Stefan
2020 J jnl
The Road to Less Trusted Code: Lowering the Barrier to In-Process Sandboxing.
login Usenix Mag.
Tal Garfinkel, Shravan Narayan, Craig Disselkoen, Hovav Shacham, Deian Stefan
2019 — conf
Position Paper: Progressive Memory Safety for WebAssembly.
HASP@ISCA
Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan
2019 A* conf
The Code That Never Ran: Modeling Attacks on Speculative Evaluation.
IEEE Symposium on Security and Privacy
Craig Disselkoen, Radha Jagadeesan, Alan Jeffrey, James Riely
2019 J jnl
Towards Constant-Time Foundations for the New Spectre Era.
CoRR
Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Deian Stefan, Tamara Rezk, Gilles Barthe
2018 — conf
Browser history re: visited.
WOOT @ USENIX Security Symposium
Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan
2017 Misc conf
Improved Performance of Gene Set Analysis on Genome-Wide Transcriptomics Data when Using Gene Activity State Estimates.
PSB
Thomas Kamp, Micah Adams, Craig Disselkoen, Nathan L. Tintle
2017 A* conf
Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX.
USENIX Security Symposium
Craig Disselkoen, David Kohlbrenner, Leo Porter, Dean M. Tullsen