DMCA

Information Flow Monitoring as Abstract Interpretation for Relational Logic

by Andrey Chudnov , George Kuan , David A. Naumann