2 citations · 2 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
Hemant Gouni, Frank Pfenning, Jonathan Aldrich
Non-interference properties, spanning confidentiality and integrity, have long enjoyed a position as the high water mark of program security guarantees. Information flow type syste…
cs.PL2022
Static Information Flow Control Made Simpler
Hemant Gouni, Jonathan Aldrich
Static information flow control (IFC) systems provide the ability to restrict data flows within a program, enabling vulnerable functionality or confidential data to be statically i…