Search

Home
Team
Publications
News

Light Dark Automatic

On the expressiveness and semantics of information flow types

Vineet Rajani, Deepak Garg

Jan 1, 2020

© 2025 Information Security and Privacy Research Group at UNSW - All rights reserved.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite