RohanKrishnamurthy/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
No issues in this repository yet.
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
No issues in this repository yet.