Cited By
View all- Curmi AColombo CVella MAhrendt WAncona DFrancalanza A(2021)Runtime verification for trustworthy secure shell deploymentProceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution10.1145/3464974.3468449(30-34)Online publication date: 12-Jul-2021
- Abela RColombo CMalo PSýs PFabšič TGallo OHromada VVella M(2021)Secure Implementation of a Quantum-Future GAKE ProtocolSecurity and Trust Management10.1007/978-3-030-91859-0_6(103-121)Online publication date: 4-Dec-2021