Cited By
View all- Gregersen SBay JTimany ABirkedal L(2021)Mechanized logical relations for termination-insensitive noninterferenceProceedings of the ACM on Programming Languages10.1145/34342915:POPL(1-29)Online publication date: 4-Jan-2021
- Kozyri EArden OMyers ASchneider F(2019)JRIF: Reactive Information Flow Control for JavaFoundations of Security, Protocols, and Equational Reasoning10.1007/978-3-030-19052-1_7(70-88)Online publication date: 28-Apr-2019
- Lester MOng LSchäfer M(2016)Information flow analysis for a dynamically typed language with staged metaprogrammingJournal of Computer Security10.3233/JCS-16055724:5(541-582)Online publication date: 8-Nov-2016
- Show More Cited By