Department of Mathematics and Systems Analysis


Lectures, seminars and dissertations

* Dates within the next 7 days are marked by a star.

Pihla Karanko
Protocol verification in Tamarin in an access sharing application
* Wednesday 25 July 2018,   15:15,   M3 (M234)
I study the use of formal methods in protocol verification, in particular Tamarin language. Tamarin ( is an automated symbolic verification tool for security protocols. It allows you to specify a protocol and its security properties using so called facts, rewrite rules and lemmas. You can then use it to check the validity of the security properties. In the talk I explain the theory and syntax of Tamarin and show how to use it to specify and validate a part of an access protocol. I work for a company called Bitwards that provides access sharing software for electronic locks and the protocol I am going to present is part of their access sharing system that we want to formally validate. MSc thesis presentation. Thesis work is carried out at Bitwards. Advisor Chris Brzuska, supervisor Camilla Hollanti.
ANTA seminar

Augusto Gerolin (University of Jyväskylä)
Wednesday 03 October 2018,   12:15,   M3 (M234)
Seminar on Analysis and Geometry

Show the events of the past year

Page content by: webmaster-math [at] list [dot] aalto [dot] fi