September 30, 2019 Combining Epistemic and Operational Aspects in Compositional Verification of Protocols External Seminars 0 38 sec read