FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
The DEEPSEC prover

Authors: Vincent Cheval, Steve Kremer and Itsaka Rakotonirina

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:The DEEPSEC prover
Authors:Vincent Cheval, Steve Kremer and Itsaka Rakotonirina
Proceedings:CAV All Papers
Editors: Georg Weissenbacher, Hana Chockler and Igor Konnov
Keywords:Cryptographic protocol, Security, Behavioural equivalence, Privacy-type properties, Formal methods, Symbolic model, Automatic verification
Abstract:

ABSTRACT. In this paper we describe the DeepSec prover, a tool for security-protocol analysis deciding equivalence properties, modelled as trace equivalence of two processes in a dialect of the applied pi calculus.

Pages:8
Talk:Jul 16 09:45 (Session 109A: Tools)
Paper: