Deian Stefan

3 papers · 2012–2021 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (9) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (9) 🚀 Conference Pioneer

Conferences

OSDI (3)

Top co-authors

Alejandro Russo (2) David Mazières (2) David Terei (1) Dave Herman (1) Jordan Brown (1) Rose Kunkel (1) Petr Marchenko (1) Daniel B. Giffin (1) John C. Mitchell (1) Ranjit Jhala (1)

Keywords

information flow control (1) type system (1) security policy (1) refinement type (1) web application security (1)

Papers

STORM: Refinement Types for Secure Web Applications OSDI 2021

Protecting Users by Confining JavaScript with COWL OSDI 2014

Hails: Protecting Data Privacy in Untrusted Web Applications OSDI 2012