Information-Flow Interfaces and Security Lattices

Published in Engineering Safe and Trustworthy Cyber Physical Systems, 2026

📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2026). "Information-Flow Interfaces and Security Lattices." Engineering Safe and Trustworthy Cyber Physical Systems.
Download Paper