Page d'accueil // SnT // News & E... // Research Seminar: Simulation based security and the applied pi calculus

Research Seminar: Simulation based security and the applied pi calculus

twitter linkedin facebook email this page
Add to calendar
Conférencier : Fred Lafitte, Royal Military Academy (Belgium)
Date de l'événement : jeudi 23 février 2012 16:00 - 16:45
Lieu : Campus Kirchberg – 6, rue Richard Coudenhove-Kalergi, Luxembourg, Main building, F213

Abstract: Simulation based security is a natural approach for reasoning about composability. The approach consists in specifying security functionalities in terms of an ideal process that is secure by construction, and then to verify that a given protocol (process) is equivalent to the ideal process. If the equivalence holds for any execution environment the property of composability can be achieved. Several formalisms have been proposed to instantiate simulation based security, this presentation focuses on the applied pi calculus with applications to voting.

Fred Lafitte is a researcher working at Royal Military Academy (Belgium). Since 2010, he is a member of the QualSec group at the Université Libre de Bruxelles (ULB) where he is pursuing a PhD in the area of composable protocol verification.
Previously he obtained a master in computer science from the ULB.