Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Mooly Sagiv
Researcher
PaperProperty-Directed Reachability as Abstract Interpretation in the Monotone TheoryAuthorship / preprint / 2022PaperComplexity and Information in Invariant InferenceAuthorship / preprint / 2020PaperVerifying Isolation Properties in the Presence of MiddleboxesAuthorship / preprint / 2014PaperSimulating reachability using first-order logic with applications to verification of linked data structuresAuthorship / preprint / 2009PaperVerifying Reachability in Networks with Mutable DatapathsAuthorship / preprint / 2016PaperOn the automated verification of web applications with embedded SQLAuthorship / preprint / 2016PaperBlockaid: Data Access Policy Enforcement for Web ApplicationsAuthorship / preprint / 2022