Cited By
View all- Braun CHorne RKäfer TMauw SChua TNgo CKa-Wei Lee RKumar RLauw H(2024)SSI, from Specifications to Protocol? Formally Verify Security!Proceedings of the ACM on Web Conference 202410.1145/3589334.3645426(1620-1631)Online publication date: 13-May-2024
- Wu FLiu JLi YNi M(2024)LπCETIET Information Security10.1049/2024/26347442024Online publication date: 1-Jan-2024
- Show More Cited By