Verification Series

Seminars and research group discussions are normally held at 11am on Tuesday, typically in meeting room 2.08 or 1.01.
Suggestions for possible speakers should be sent to Alexei

Currently meetings are being held on-line via Microsoft Teams

All Seminars

Date Speaker Title
14 Jan 2021

 
14:00

AAC
Maryam Almarwani

University of Liverpool
Release-Aware In-Out Encryption Adjustment Policy
17 Dec 2020

 
14:00

AAC
Alexander Koch
Karlsruhe Institute for Technology
Cryptographic Protocols from Physical Assumptions
15 Dec 2020

 
11:00
Martin Zimmermann
University of Liverpool
Logics for Hyperproperties (Part 2)
08 Dec 2020

 
11:00
Martin Zimmermann
University of Liverpool
Logics for Hyperproperties (Part 1)
03 Dec 2020

 
14:00

AAC
Alexei Lisitsa

Recent Developments in Applied Advanced Cryptography

Older Seminars
ordered by Academic Year

  • [Overview of all talks]