| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
The DEEPSEC prover
Abstract : In this paper we describe the DeepSec prover, a tool for security protocol analysis. It decides equivalence properties modelled as trace equivalence of two processes in a dialect of the applied pi calculus.
Cited literature [24 references]
https://hal.inria.fr/hal-01763138
Contributor : Steve Kremer <>
Submitted on : Tuesday, April 10, 2018 - 5:45:35 PM
Last modification on : Monday, August 19, 2019 - 7:02:01 PM
Contributor : Steve Kremer <>
Submitted on : Tuesday, April 10, 2018 - 5:45:35 PM
Last modification on : Monday, August 19, 2019 - 7:02:01 PM
File
main.pdf
Files produced by the author(s)