Cited By
View all- Künnemann RPatrignani MCecchetti E(2024)Computationally Bounded Robust Compilation and Universally Composable Security2024 IEEE 37th Computer Security Foundations Symposium (CSF)10.1109/CSF61375.2024.00024(265-278)Online publication date: 8-Jul-2024
- 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
- Show More Cited By