conftrace_

Deian Stefan

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

Achievements

Jump to papers ↓

🏃 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