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
- Gancher JGibson SSingh PDharanikota SParno B(2023)Owl: Compositional Verification of Security Protocols via an Information-Flow Type System2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179477(1130-1147)Online publication date: May-2023
- Tiraboschi IRezk TRival X(2023)Sound Symbolic Execution via Abstract Interpretation and Its Application to SecurityVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-24950-1_13(267-295)Online publication date: 17-Jan-2023
- Show More Cited By