Automated security verification of IoT protocols using Tamarin Prover
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Builtin_JPAKE.spthy
CoAP_DTLShandshake.spthy
DDoS.spthy
LoRa_PSK.spthy
MQTT_TLS.spthy
PKC_DDoS.spthy
PKC_example.spthy
README.md
approximation.spthy
sigfox_PKC.spthy
tamarin-prover-1.0.zip

README.md

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