Automated-security-verification-of-IoT-protocols

Accepted in ACSAC'17

Jun Young Kim, Ralph Holz, Wen Hu, and Sanjay Jha. Automated Analysis of Secure Internet of Things Protocols. In Proceedings of the 33rd Annual Conference on Computer Security Applications (ACSAC 2017), (11 pages), San Juan, USA, 2017. ACM.

How to use

1. Clone the master branch in linux (Tested in Ubuntu 16.04)
2. unzip tamarin-prover-1.0.zip
3. chmod +x tamarin-prover-1.0-linux
4. tamarin-prover-1.0.zip --prove modelname.spthy

Thank you, Jun