Cited By
View all- Nasrabadi FKünnemann RNemati HMeng WJensen CCremers CKirda E(2023)CryptoBap: A Binary Analysis Platform for Cryptographic ProtocolsProceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security10.1145/3576915.3623090(1362-1376)Online publication date: 15-Nov-2023
- Bursuc SMauw S(2022)Contingent payments from two-party signing and verification for abelian groups2022 IEEE 35th Computer Security Foundations Symposium (CSF)10.1109/CSF54842.2022.9919674(195-210)Online publication date: Aug-2022
- Bursuc SMauw S(2022)Contingent payments from two-party signing and verification for abelian groups2022 IEEE 35th Computer Security Foundations Symposium (CSF)10.1109/CSF54842.2022.9919654(195-210)Online publication date: Aug-2022
- Show More Cited By