Deian Stefan | DeepAI

AI Chat

Featured Co-authors

Hamed Haddadi
66 publications
Benjamin Livshits
34 publications
Gilles Barthe
30 publications
Deepak Garg
26 publications
Marco Patrignani
17 publications
Ranjit Jhala
14 publications
Peter Snyder
14 publications
Marco Guarnieri
12 publications
Daniel Moghimi
10 publications
Sorin Lerner
6 publications
Tamara Rezk
6 publications

∙ 08/29/2022

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Most programs compiled to WebAssembly (Wasm) today are written in unsafe...

0 Alexandra E. Michael, et al. ∙

∙ 08/29/2022

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow

This tutorial provides a complete and homogeneous account of the latest ...

0 Marco Vassena, et al. ∙

∙ 08/02/2022

A Turning Point for Verified Spectre Sandboxing

Spectre attacks enable an attacker to access restricted data in an appli...

0 Sunjay Cauligi, et al. ∙

∙ 03/07/2022

Blocked or Broken? Automatically Detecting When Privacy Interventions Break Websites

A core problem in the development and maintenance of crowd-sourced filte...

0 Michael Smith, et al. ∙

∙ 05/12/2021

SoK: Practical Foundations for Spectre Defenses

Spectre vulnerabilities violate our fundamental assumptions about archit...

0 Sunjay Cauligi, et al. ∙

∙ 04/30/2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI

Almost all SFI systems use heavyweight transitions that incur significan...

0 Matthew Kolosick, et al. ∙

∙ 04/01/2021

Solver-Aided Constant-Time Circuit Verification

We present Xenon, a solver-aided method for formally verifying that Veri...

0 Rami Gökhan Kıcı, et al. ∙

∙ 02/25/2021

Swivel: Hardening WebAssembly against Spectre

We describe Swivel, a new compiler framework for hardening WebAssembly (...

0 Shravan Narayan, et al. ∙

∙ 05/01/2020

Automatically Eliminating Speculative Leaks With Blade

We introduce BLADE, a new approach to automatically and efficiently synt...

0 Marco Vassena, et al. ∙

∙ 03/01/2020

Retrofitting Fine Grain Isolation in the Firefox Renderer (Extended Version)

Firefox and other major browsers rely on dozens of third-party libraries...

0 Shravan Narayan, et al. ∙

∙ 12/04/2019

Gobi: WebAssembly as a Practical Path to Library Sandboxing

Software based fault isolation (SFI) is a powerful approach to reduce th...

0 Shravan Narayan, et al. ∙

∙ 10/07/2019

Iodine: Verifying Constant-Time Execution of Hardware

To be secure, cryptographic algorithms crucially rely on the underlying ...

0 Klaus v. Gleissenthall, et al. ∙

∙ 10/03/2019

Towards Constant-Time Foundations for the New Spectre Era

The constant-time discipline is a software-based countermeasure used for...

0 Sunjay Cauligi, et al. ∙

∙ 08/03/2018

CT-Wasm: Type-driven Secure Cryptography for the Web Ecosystem

A significant amount of both client and server-side cryptography is impl...

0 Conrad Watt, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world