Articles with public access mandates - Deian StefanLearn more
Not available anywhere: 1
Tutorial: Sandboxing (unsafe) C code with RLBox
S Narayan, C Disselkoen, D Stefan
2021 IEEE Secure Development Conference (SecDev), 11-12, 2021
Mandates: US National Science Foundation, US Department of Defense
Available somewhere: 44
Flexible dynamic information flow control in Haskell
D Stefan, A Russo, JC Mitchell, D Mazières
Proceedings of the 4th ACM Symposium on Haskell, 95-106, 2011
Mandates: Swedish Research Council
Hails: Protecting data privacy in untrusted web applications
DB Giffin, A Levy, D Stefan, D Terei, D Mazieres, JC Mitchell, A Russo
10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012
Mandates: Swedish Research Council
Constant-time foundations for the new spectre era
S Cauligi, C Disselkoen, K Gleissenthall, D Tullsen, D Stefan, T Rezk, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
Mandates: US National Science Foundation, US Department of Defense
Protecting Users by Confining {JavaScript} with {COWL}
D Stefan, EZ Yang, P Marchenko, A Russo, D Herman, B Karp, ...
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Ct-wasm: type-driven secure cryptography for the web ecosystem
C Watt, J Renner, N Popescu, S Cauligi, D Stefan
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
Mandates: US Department of Defense, UK Engineering and Physical Sciences Research Council
FaCT: a DSL for timing-sensitive computation
S Cauligi, G Soeller, B Johannesmeyer, F Brown, RS Wahby, J Renner, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Mandates: US National Science Foundation, US Department of Defense
Automatically eliminating speculative leaks from cryptographic code with blade
M Vassena, C Disselkoen, K Gleissenthall, S Cauligi, RG Kıcı, R Jhala, ...
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
Mandates: US National Science Foundation, US Department of Defense, Federal Ministry …
Disjunction category labels
D Stefan, A Russo, D Mazières, JC Mitchell
Information Security Technology for Applications: 16th Nordic Conference on …, 2012
Mandates: Swedish Research Council
Retrofitting fine grain isolation in the Firefox renderer
S Narayan, C Disselkoen, T Garfinkel, N Froyd, E Rahm, S Lerner, ...
29th USENIX Security Symposium (USENIX Security 20), 699-716, 2020
Mandates: US Department of Defense
Eliminating cache-based timing attacks with instruction-based scheduling
D Stefan, P Buiras, EZ Yang, A Levy, D Terei, A Russo, D Mazières
Computer Security–ESORICS 2013: 18th European Symposium on Research in …, 2013
Mandates: Swedish Research Council
Flexible dynamic information flow control in the presence of exceptions
D Stefan, D Mazières, JC Mitchell, A Russo
Journal of Functional Programming 27, e5, 2017
Mandates: US Department of Defense
Fact: A flexible, constant-time programming language
S Cauligi, G Soeller, F Brown, B Johannesmeyer, Y Huang, R Jhala, ...
2017 IEEE Cybersecurity Development (SecDev), 69-76, 2017
Mandates: US National Science Foundation
Swivel: Hardening {WebAssembly} against spectre
S Narayan, C Disselkoen, D Moghimi, S Cauligi, E Johnson, Z Gang, ...
30th USENIX Security Symposium (USENIX Security 21), 1433-1450, 2021
Mandates: US National Science Foundation, US Department of Defense
Finding and preventing bugs in javascript bindings
F Brown, S Narayan, RS Wahby, D Engler, R Jhala, D Stefan
2017 IEEE Symposium on Security and Privacy (SP), 559-578, 2017
Mandates: US National Science Foundation
Pretend synchrony: synchronous verification of asynchronous distributed programs
K v. Gleissenthall, RG Kıcı, A Bakst, D Stefan, R Jhala
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
Mandates: US National Science Foundation, US Department of Defense
SoK: Practical foundations for software Spectre defenses
S Cauligi, C Disselkoen, D Moghimi, G Barthe, D Stefan
2022 IEEE Symposium on Security and Privacy (SP), 666-680, 2022
Mandates: US National Science Foundation, US Department of Defense
Position paper: Progressive memory safety for webassembly
C Disselkoen, J Renner, C Watt, T Garfinkel, A Levy, D Stefan
Proceedings of the 8th International Workshop on Hardware and Architectural …, 2019
Mandates: US Department of Defense, UK Engineering and Physical Sciences Research Council
Towards verified, constant-time floating point operations
M Andrysco, A Nötzli, F Brown, R Jhala, D Stefan
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
Mandates: US National Science Foundation, US Department of Defense
Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code
F Brown, D Stefan, D Engler
29th USENIX Security Symposium (USENIX Security 20), 199-216, 2020
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program