News
Last Lecture on February 3rd
Written on 31.01.2025 11:27 by Aleksi Peltonen
Dear all,
The last lecture of the course will take place next Monday on February 3rd. It will cover topics related to the future of automated protocol analysis, including more detailed models of cryptographic primitives, and scaling analysis to larger systems.