Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution von Yavarzadeh, Hosein, Taram, Mohammadkazem, Narayan, Shravan, Stefan, Deian, Tullsen, Dean

Volltext

WaVe: a verifiably secure WebAssembly sandboxing runtime von Johnson, Evan, Laufer, Evan, Zhao, Zijie, Gohman, Dan, Narayan, Shravan, Savage, Stefan, Stefan, Deian, Brown, Fraser

Volltext

Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution von Yavarzadeh, Hosein, Taram, Mohammadkazem, Narayan, Shravan, Stefan, Deian, Tullsen, Dean

Volltext

Hails: Protecting data privacy in untrusted web applications von Giffin, Daniel, Levy, Amit, Stefan, Deian, Terei, David, Mazières, David, Mitchell, John, Russo, Alejandro

Volltext

Performance Analysis of the SHA-3 Candidates on Exotic Multi-core Architectures von Bos, Joppe W., Stefan, Deian

Volltext

SoK: Practical Foundations for Software Spectre Defenses von Cauligi, Sunjay, Disselkoen, Craig, Moghimi, Daniel, Barthe, Gilles, Stefan, Deian

Volltext

CT-wasm: type-driven secure cryptography for the web ecosystem von Watt, Conrad, Renner, John, Popescu, Natalie, Cauligi, Sunjay, Stefan, Deian

Volltext

Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing von 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

Volltext

Automatically eliminating speculative leaks from cryptographic code with blade von Vassena, Marco, Disselkoen, Craig, Gleissenthall, Klaus von, Cauligi, Sunjay, Kıcı, Rami Gökhan, Jhala, Ranjit, Tullsen, Dean, Stefan, Deian

Volltext

Liquid information flow control von Polikarpova, Nadia, Stefan, Deian, Yang, Jean, Itzhaky, Shachar, Hance, Travis, Solar-Lezama, Armando

Volltext

A New Software and Hardware Parallelized Floating Random-Walk Algorithm for the Modified Helmholtz Equation Subject to Neumann and Mixed Boundary Conditions von Chatterjee, Kausik, McCullen Sandora, Mitchell, Christopher, Deian Stefan, Nummey, Dave, Poggie, Jonathan

Volltext

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI von Kolosick, Matthew, Narayan, Shravan, Johnson, Evan, Watt, Conrad, LeMay, Michael, Garg, Deepak, Jhala, Ranjit, Stefan, Deian

Volltext

Flexible dynamic information flow control in the presence of exceptions von STEFAN, DEIAN, MAZIÈRES, DAVID, MITCHELL, JOHN C., RUSSO, ALEJANDRO

Volltext

From fine- to coarse-grained dynamic information flow control and back von Vassena, Marco, Russo, Alejandro, Garg, Deepak, Rajani, Vineet, Stefan, Deian

Volltext

Finding and Preventing Bugs in JavaScript Bindings von Brown, Fraser, Narayan, Shravan, Wahby, Riad S., Engler, Dawson, Jhala, Ranjit, Stefan, Deian

Volltext

Isolation Without Taxation: Near Zero Cost Transitions for SFI von Kolosick, Matthew, Narayan, Shravan, Johnson, Evan, Watt, Conrad, LeMay, Michael, Garg, Deepak, Jhala, Ranjit, Deian Stefan

Volltext

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code von Michael, Alexandra E., Gollamudi, Anitha, Bosamiya, Jay, Johnson, Evan, Denlinger, Aidan, Disselkoen, Craig, Watt, Conrad, Parno, Bryan, Patrignani, Marco, Vassena, Marco, Stefan, Deian

Volltext

FPGA-based SoC for real-time network intrusion detection using counting bloom filters von Harwayne-Gidansky, J., Stefan, D., Dalal, I.

Volltext

Pretend synchrony: synchronous verification of asynchronous distributed programs von v. Gleissenthall, Klaus, Kıcı, Rami Gökhan, Bakst, Alexander, Stefan, Deian, Jhala, Ranjit

Volltext

Robustness of keystroke-dynamics based biometrics against synthetic forgeries von Stefan, Deian, Shu, Xiaokui, (Daphne) Yao, Danfeng

Volltext