Pinned Loading

1. ThreadBatteryAttack ThreadBatteryAttack Public

   Battery Depletion Attack Through Packet Injection on IoT Thread Mesh Network | A practical attack on a thread-mesh network, exploiting vulnerabilities in various components of the Thread network st…

   1

2. animation-of-security-protocols animation-of-security-protocols Public

   Forked from RandallYe/Animation_of_Security_Protocols

   This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.

   Haskell