Esitelmiä, seminaareja ja väitöksiä
* Seuraavan viikon tapahtumat merkitty tähdellä
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 (https://tamarin-prover.github.io) 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.
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
Sivusta vastaa: webmaster-math [at] list [dot] aalto [dot] fi