- The Duality of Information Flow: Reconciling Robust Downgrading with
Non-Interference.
Hemant Gouni, Frank Pfenning, Jonathan Aldrich.
Under Review.
Draft,
Proof Scripts
- Security Reasoning via Substructural Dependency Tracking.
Hemant Gouni, Frank Pfenning, Jonathan Aldrich.
POPL 2026.
Distinguished Paper Award.
Paper,
Extended Report,
Slides,
Talk
- Structural Information Flow: A Fresh Look at Types for Non-interference.
Hemant Gouni, Frank Pfenning, Jonathan Aldrich.
OOPSLA 2025.
Paper,
Extended Report,
Slides,
Talk
- Gradual C0: Symbolic Execution for Efficient Gradual Verification.
Jenna DiVincenzo, Ian McCormack, Conrad Zimmerman, Hemant Gouni, Jacob
Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Joshua Sunshine, Éric
Tanter, Jonathan Aldrich.
TOPLAS 2024.
Paper
- Security Types for Usable Permissions Prompts.
Christine Glascott
‡Advisee
, Hemant Gouni, Jonathan Aldrich.
PLATEAU 2026.
Paper
- Structural Information Flow: A Fresh Look at Types for Non-interference.
Hemant Gouni, Frank Pfenning, Jonathan Aldrich.
MWPLS 2025.
Slides
- Constraints vs Structures in Type Systems.
Hemant Gouni, Will Crichton, Jonathan Aldrich.
PLATEAU 2025.
Extended Abstract,
Slides
- Substructural Information Flow via Polymorphism.
Hemant Gouni, Jonathan Aldrich.
IWACO 2024.
Slides,
Lecture Notes
- Action-Based Test Carving for Android Apps.
Alessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev, Mattia Fazzini.
ICSTW 2023.
Paper
- Static Information Flow Control Made Simpler.
Hemant Gouni, Jonathan Aldrich.
HATRA 2022.
Paper,
Slides
- Implementation of an end-to-end gradual verification system.
Hemant Gouni
†Coauthor
, Conrad Zimmerman†Coauthor
.
SPLASH 2021 SRC.
Paper,
Poster