conftrace_

Mooly Sagiv

3 papers · 2017–2022 · 3 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (3) 🏃 Academic Marathon (5) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (10)

Conferences

IJCAI (1) NSDI (1) OSDI (1)

Top co-authors

Aurojit Panda (2) Scott Shenker (2) Maria-Cristina Marinescu (1) Katerina Argyraki (1) Eric Sheng (1) Nina Narodytska (1) Nikolaj Bjørner (1) Michael Chang (1) Ori Lahav (1) Wen Zhang (1)

Keywords

graph theory (1) constraint solving (1) formal verification (1) network verification (1) network slicing (1) policy enforcement (1) smt solver (1) unsatisfiable core (1) reachability analysis (1) web application security (1) minimal correction set (1) core enumeration (1) data access policy (1)

Papers

Blockaid: Data Access Policy Enforcement for Web Applications OSDI 2022 Core-Guided Minimal Correction Set and Core Enumeration IJCAI 2018 Verifying Reachability in Networks with Mutable Datapaths NSDI 2017