Verification Series

Past Talks: 2020/21 Session

Date	Speaker	Title
03 Dec 2020 AAC	Alexei Lisitsa	Recent Developments in Applied Advanced Cryptography
08 Dec 2020	Martin Zimmermann University of Liverpool	Logics for Hyperproperties (Part 1)
15 Dec 2020	Martin Zimmermann University of Liverpool	Logics for Hyperproperties (Part 2)
17 Dec 2020 AAC	Alexander Koch Karlsruhe Institute for Technology	Cryptographic Protocols from Physical Assumptions
14 Jan 2021 AAC	Maryam Almarwani University of Liverpool	Release-Aware In-Out Encryption Adjustment Policy
11 Feb 2021 AAC	Jeffrey Ray University of Liverpool	Introduction to Secure Quick Reliable Login (SQRL)
25 Feb 2021 AAC	Alexei Lisitsa University of Liverpool	Introduction to verifiable computing, part 1
11 Mar 2021 AAC	Alexei Lisitsa University of Liverpool	Introduction to verifiable computing, part 2
25 Mar 2021 AAC	Nouf Aljuaid University of Liverpool	Privacy-preserving data processing
22 Apr 2021 AAC	Alexei Lisitsa University of Liverpool	Formal modelling of smart contract languages and introduction to BitML
03 Jun 2021 AAC	Alexei Lisitsa University of Liverpool	Introduction to Yao's Garbled Circuits Protocol

Older Seminars

ordered by Academic Year

• Upcoming seminars
• Current session
• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18

---

Other seminar series

• Department Seminar Series
• Algorithms, Complexity Theory and Optimisation
• Argumentation and Representation of Knowledge
• Data Mining and Machine Learning
• Economics and Computation
• Friday Lunch and Talk
• Liverpool Distinguished Computer Science Lecture
• Networks and Distributed Computing
• PhD Tea Talks
• Robotics and Autonomous Systems
• Verification
• Women in Technology
• Overview of all seminar series