Cited By
View all- Hirsch ACecchetti E(2021)Giving semantics to program-counter labels via secure effectsProceedings of the ACM on Programming Languages10.1145/34343165:POPL(1-29)Online publication date: 4-Jan-2021
- Bedford ADesharnais JGodonou TTawbi N(2013)Enforcing Information Flow by Combining Static and Dynamic AnalysisFoundations and Practice of Security10.1007/978-3-319-05302-8_6(83-101)Online publication date: 21-Oct-2013
- Li XTiwari MOberg JKashyap VChong FSherwood THardekopf BHall MPadua D(2011)CaissonProceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/1993498.1993512(109-120)Online publication date: 4-Jun-2011
- Show More Cited By