Johannes Mueller (université du Luxembourg)

Date: Wednesday, April 5th, 2023 – 10h00.
Place: to be announced.
Title: Towards End-to-End Formal Verification of Voting Protocols.

Comments are closed.