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.