/bluetooth-pairing-formal-verification

Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)

Primary LanguagePythonMIT LicenseMIT

Stargazers