Cited By
View all- Daniel LBognar MNoorman JBardin SRezk TPiessens FCalandrino JTroncoso C(2023)PROSPECTProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620638(7161-7178)Online publication date: 9-Aug-2023
- Ducousso SBardin SPotet M(2023)Adversarial Reachability for Program-level Security AnalysisProgramming Languages and Systems10.1007/978-3-031-30044-8_3(59-89)Online publication date: 22-Apr-2023
- Acay CRecto RGancher JMyers AShi EFreund SYahav E(2021)Viaduct: an extensible, optimizing compiler for secure distributed programsProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454074(740-755)Online publication date: 19-Jun-2021
- Show More Cited By