Hemant Gouni

1. Gradual C0: Symbolic Execution for Gradual Verification
   2022/10/05 by Jenna DiVincenzo, Ian McCormack, DiVincenzo, Jenna +16 · 2 citations
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
2. The Duality of Information Flow: Reconciling Robust Downgrading with Non-Interference
   2026/07/20 by Hemant Gouni, Frank Pfenning, Jonathan Aldrich
   #cs.PL #cs.CR