PDF] Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication | Semantic Scholar
An efficient authentication and key agreement protocol for IoT-enabled devices in distributed cloud computing architecture | EURASIP Journal on Wireless Communications and Networking | Full Text
The Scyther-Abstraction tool – Information Security Group | ETH Zurich
Analysis and improvement of the Internet‐Draft IKEv3 protocol - Cheng - 2017 - International Journal of Communication Systems - Wiley Online Library
GitHub - dvisionlab/Scyther: Curvilinear multiplanar reformat for Dicom Images, powered by VTK with python binding.
An efficient authentication and key agreement protocol for IoT-enabled devices in distributed cloud computing architecture | EURASIP Journal on Wireless Communications and Networking | Full Text
An online security protocol for NFC payment: Formally analyzed by the scyther tool | Semantic Scholar