Cecilia Manzino

Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types

2020 · Electronic Notes in Theoretical Computer Science

The analysis of information flow is a popular technique for ensuring the confidentiality of data. It is in this context that confidentiality policies arise for giving guarantees that private data cannot be inferred by the …