6 citations · 8 across the 7 of their papers we have counts for
4 papers · 1 filter
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…
Gradually Verifying Unfolding Expressions & Pure Functions
Hazel Torek, Long Tien Nguyen, Priyam Gupta +2
Unfolding expressions, which temporarily unfold a predicate to leverage its owned fields when evaluating a heap-dependent expression, and pure functions, which are heap-dependent f…
Sound Gradual Verification with Symbolic Execution
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and pr…
Latte: Lightweight Aliasing Tracking for Java
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca +1
Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimi…