Amanote Research
Register
Sign In
Information Flow Monitoring as Abstract Interpretation for Relational Logic
doi 10.1109/csf.2014.12
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2014
Authors
Andrey Chudnov
George Kuan
David A. Naumann
Publisher
IEEE