E
Elliott Blot
Researcher at University of Auvergne
Publications - 3
Citations - 3
Elliott Blot is an academic researcher from University of Auvergne. The author has contributed to research in topics: Universal composability & Isolation (database systems). The author has an hindex of 1, co-authored 3 publications receiving 2 citations.
Papers
More filters
Book ChapterDOI
Formal Analysis of Combinations of Secure Protocols
TL;DR: This paper analyzes both examples that were previously analyzed by hand or using other tools, and finds novel attacks using the Tamarin prover, to find multi-protocol attacks.
Formal Analysis of Combinations of Secure Protocols (Extended Version)
TL;DR: This paper analyzes both examples that were previously analyzed by hand or using other tools, and finds novel attacks of a multi-protocol attack using the Tamarin prover.
COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système
TL;DR: HAL as mentioned in this paper is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not, which may come from teaching and research institutions in France or abroad, or from public or private research centers.