Secure Information Flow by Self-Composition (0)

by G Barthe, P D’Argenio, T Rezk
Venue:Computer Security Foundations Workshop