Formal Reasoning for Security Protocol Correctness.

Kamel Adi, Liviu Pene

Browse the full SoMeT paper archive.