Mooly Sagiv

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

Achievements

🌍 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