Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution
Yavarzadeh, Hosein, Taram, Mohammadkazem, Narayan, Shravan, Stefan, Deian, Tullsen, Dean
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
WaVe: a verifiably secure WebAssembly sandboxing runtime
Johnson, Evan, Laufer, Evan, Zhao, Zijie, Gohman, Dan, Narayan, Shravan, Savage, Stefan, Stefan, Deian, Brown, Fraser
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution
Yavarzadeh, Hosein, Taram, Mohammadkazem, Narayan, Shravan, Stefan, Deian, Tullsen, Dean
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Hails: Protecting data privacy in untrusted web applications
Giffin, Daniel, Levy, Amit, Stefan, Deian, Terei, David, Mazières, David, Mitchell, John, Russo, Alejandro
Published in Journal of computer security (01.01.2017)
Published in Journal of computer security (01.01.2017)
Get full text
Journal Article
A New Software and Hardware Parallelized Floating Random-Walk Algorithm for the Modified Helmholtz Equation Subject to Neumann and Mixed Boundary Conditions
Chatterjee, Kausik, McCullen Sandora, Mitchell, Christopher, Deian Stefan, Nummey, Dave, Poggie, Jonathan
Published in Applied Computational Electromagnetics Society journal (01.04.2010)
Get full text
Published in Applied Computational Electromagnetics Society journal (01.04.2010)
Journal Article
Isolation Without Taxation: Near Zero Cost Transitions for SFI
Kolosick, Matthew, Narayan, Shravan, Johnson, Evan, Watt, Conrad, LeMay, Michael, Garg, Deepak, Jhala, Ranjit, Deian Stefan
Published in arXiv.org (18.11.2021)
Published in arXiv.org (18.11.2021)
Get full text
Paper
Journal Article
SoK: Practical Foundations for Software Spectre Defenses
Cauligi, Sunjay, Disselkoen, Craig, Moghimi, Daniel, Barthe, Gilles, Stefan, Deian
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Get full text
Conference Proceeding
CT-wasm: type-driven secure cryptography for the web ecosystem
Watt, Conrad, Renner, John, Popescu, Natalie, Cauligi, Sunjay, Stefan, Deian
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Vassena, Marco, Disselkoen, Craig, Gleissenthall, Klaus V, Sunjay Cauligi, Kici, Rami Gökhan, Jhala, Ranjit, Tullsen, Dean, Deian Stefan
Published in arXiv.org (07.12.2020)
Published in arXiv.org (07.12.2020)
Get full text
Paper
Journal Article
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem
Watt, Conrad, Renner, John, Popescu, Natalie, Sunjay Cauligi, Deian Stefan
Published in arXiv.org (17.12.2018)
Published in arXiv.org (17.12.2018)
Get full text
Paper
Journal Article
Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing
Narayan, Shravan, Garfinkel, Tal, Taram, Mohammadkazem, Rudek, Joey, Moghimi, Daniel, Johnson, Evan, Fallin, Chris, Vahldiek-Oberwagner, Anjo, LeMay, Michael, Sahita, Ravi, Tullsen, Dean, Stefan, Deian
Published in IEEE MICRO (01.07.2024)
Published in IEEE MICRO (01.07.2024)
Get full text
Journal Article
Liquid information flow control
Polikarpova, Nadia, Stefan, Deian, Yang, Jean, Itzhaky, Shachar, Hance, Travis, Solar-Lezama, Armando
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Automatically eliminating speculative leaks from cryptographic code with blade
Vassena, Marco, Disselkoen, Craig, Gleissenthall, Klaus von, Cauligi, Sunjay, Kıcı, Rami Gökhan, Jhala, Ranjit, Tullsen, Dean, Stefan, Deian
Published in Proceedings of ACM on programming languages (01.01.2021)
Published in Proceedings of ACM on programming languages (01.01.2021)
Get full text
Journal Article
From fine- to coarse-grained dynamic information flow control and back
Vassena, Marco, Russo, Alejandro, Garg, Deepak, Rajani, Vineet, Stefan, Deian
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
Finding and Preventing Bugs in JavaScript Bindings
Brown, Fraser, Narayan, Shravan, Wahby, Riad S., Engler, Dawson, Jhala, Ranjit, Stefan, Deian
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Get full text
Conference Proceeding
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI
Kolosick, Matthew, Narayan, Shravan, Johnson, Evan, Watt, Conrad, LeMay, Michael, Garg, Deepak, Jhala, Ranjit, Stefan, Deian
Published in Proceedings of ACM on programming languages (01.01.2022)
Published in Proceedings of ACM on programming languages (01.01.2022)
Get full text
Journal Article