Master's thesis presentation in Computer Science 2020
Tuesday 21 January at 11.15 in room 4523, Lindstedtsvägen 5
Five minutes strict break between presentations.
11.15
Practical Verification of Stateful Embedded C Code using Finite State Machines and VCC.
Sammanfattning
Abstract
Thesis draft
Presenter: Mathias Lindgren
Programmes: TCSCM, CDATE Course: DA222X
Supervisor: Dilian Gurov
Examiner: Elena Troubitsyna
Opponent: Johannes Wirkkala Westlund (DA231X, examiner Robert Lagerström)
12.00 (approx.)
Certificateless public key infrastructure and authentication methods for universal electronic identification protocols.
Abstract
Thesis draft
Presenter: Filip Jansson
Programmes: TCSCM, CDATE Course: DA231X
Supervisor: Somayeh Aghanavesi
Examiner: Elena Troubitsyna
Opponent: Mathias Lindgren (DA231X, examiner Elena Troubitsyna)
Session chair is Elena Troubitsyna
|