On November 3, 2022 at 14:00 EET, Bogdan Macovei (University of Bucharest) will give a talk in the Logic Seminar.
Title: Lean-certified Dynamic Epistemic Logic with Actions for Security Protocols
Abstract: We define a complete system of epistemic propositional dynamic logic with actions, that is fully defined and certified with the proof assistant Lean. Within our system, we specify security protocols as sequence of actions and we use epistemic reasoning for analyzing their properties.
The talk will take place physically at FMI Hall 214 “Google”.