7 Nov. 2019, 14:00-15:00 BCM Seminar: A Short Introduction to Two Approaches in Formal Verification of Security Protocols: Model Checking and Theorem Proving Seminar with Mohnsen Pourpouneh, IFRO