2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2022★ 2 cited
Gradual C0: Symbolic Execution for Gradual Verification
Jenna DiVincenzo, Ian McCormack, Hemant Gouni +7
Current static verification techniques support a wide range of programs. However, such techniques only support complete and detailed specifications, which places an undue burden on…