Cited By
View all- Hosseyni PKüsters RWürtele T(2024)Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization ProcessACM Transactions on Privacy and Security10.1145/369971628:1(1-36)Online publication date: 11-Nov-2024
- Wu GSullivan AEgyed AWimmer MChechik MCombemale B(2024)AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced GraphProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674088(57-68)Online publication date: 22-Sep-2024
- Franken GVan Goethem TDesmet LJoosen WCalandrino JTroncoso C(2023)A bug's lifeProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620443(3673-3690)Online publication date: 9-Aug-2023
- Show More Cited By