Biblio

Lehmann N, Kunkel R, Brown J, Yang J, Vazou N, Polikarpova N, Stefan D, Jhala R.  2021.  STORM: Refinement Types for Secure Web Applications. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :441--459.

• Google Scholar
• DBLP
• BibTeX

Gleissenthall Kv., Kıcı RGökhan, Stefan D, Jhala R.  2019.  IODINE: Verifying Constant-Time Execution of Hardware. 28th USENIX Security Symposium (USENIX Security 19). :1411--1428.

• Google Scholar
• DBLP
• BibTeX

Vekris P, Jhala R, Lerner S, Agarwal Y.  2012.  Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs. 2012 Workshop on Power-Aware Computing and Systems (HotPower 12).

• Google Scholar
• DBLP
• BibTeX

Killian C, Anderson JW, Jhala R, Vahdat A.  2007.  Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code . 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07).

• Google Scholar
• DBLP
• BibTeX