7. nov. 2019, kl. 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