Cited By
View all- Ghosal SShyamasundar RJuristo N(2021)An axiomatic approach to detect information leaks in concurrent programsProceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results10.1109/ICSE-NIER52604.2021.00015(31-35)Online publication date: 25-May-2021
- Algehed MBernardy JHriţcu C(2021)Dynamic IFC Theorems for Free!2021 IEEE 34th Computer Security Foundations Symposium (CSF)10.1109/CSF51468.2021.00005(1-14)Online publication date: Jun-2021
- Ghosal SShyamasundar RNarendra Kumar N(2019)Compile-Time Security Certification of Imperative Programming LanguagesE-Business and Telecommunications10.1007/978-3-030-34866-3_8(159-182)Online publication date: 13-Nov-2019
- Show More Cited By