Showing 2024Show all
3 papers · 1 filter
cs.PL2024
(Un)Solvable Loop Analysis
Daneshvar Amrollahi, Ezio Bartocci, George Kenison +3
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem. Whilst the…
cs.LO2024
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Anagha Athavale, Ezio Bartocci, Maria Christakis +3
We present the first automated verification technique for confidence-based 2-safety properties, such as global robustness and global fairness, in deep neural networks (DNNs). Our a…
cs.FL2024
Information-flow Interfaces and Security Lattices
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1
Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used co…