/L-DACS

The formal proof of the security of the Mutual Authentication and Key Exchange (MAKE) protocol of LDACS using the symbolic model checker Tamarin.

BSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.