An Information Flow Calculus for Non-Interference
I will present this talk at The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024) on October 14, 2024.
I will present this talk at The 19th Workshop on Programming Languages and Analysis for Security (PLAS 2024) on October 14, 2024.