Cited By
View all- Klenze TSprenger CBasin D(2023)IsaNet: A framework for verifying secure data plane protocolsJournal of Computer Security10.3233/JCS-22002131:3(217-259)Online publication date: 29-May-2023
- Krähenbühl CPerrig A(2023)Key ManagementTrends in Data Protection and Encryption Technologies10.1007/978-3-031-33386-6_4(15-20)Online publication date: 27-Apr-2023
- Li PSu JWang XXing Q(2021)DIIASecurity and Communication Networks10.1155/2021/19744932021Online publication date: 1-Jan-2021
- Show More Cited By




