Information-flow Interfaces and Security Lattices

Published in CoRR, 2024

Recommended citation: Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2024). “Information-flow Interfaces and Security Lattices.” CoRR.

📝 Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic & Ana Oliveira da Costa. (2024). "Information-flow Interfaces and Security Lattices." CoRR.
Download Paper