Filtrer vos résultats
- 9
- 4
- 3
- 2
- 3
- 9
- 1
- 1
- 1
- 6
- 9
- 9
- 9
- 9
- 5
- 1
- 9
- 4
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
|
|
triés par
|
|
Symbolic verification of privacy-type properties for security protocols with XOR (extended version)[Research Report] Inria Nancy - Grand Est. 2017, pp.29
Rapport
hal-01533694v1
|
||
|
SAT-Equiv: an efficient tool for equivalence properties[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
Rapport
hal-01529966v1
|
||
|
SAT-Equiv: An Efficient Tool for Equivalence Properties30th IEEE Computer Security Foundations Symposium (CSF'17), Jul 2017, Santa Barbara, United States. pp.481 - 494, ⟨10.1109/CSF.2017.15⟩
Communication dans un congrès
hal-01624274v1
|
||
|
Symbolic verification of privacy-type properties for security protocols with XORCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.15
Communication dans un congrès
hal-01533708v1
|
||
|
Typing messages for free in security protocolsACM Transactions on Computational Logic, 2020, 21 (1), ⟨10.1145/3343507⟩
Article dans une revue
hal-02268400v1
|
||
|
Efficiently deciding equivalence for standard primitives and phasesESORICS 2018 - 23rd European Symposium on Research in Computer Security, Sep 2018, Barcelona, Spain
Communication dans un congrès
hal-01900083v1
|
||
|
A decidable class of security protocols for both reachability and equivalence propertiesJournal of Automated Reasoning, 2021, 65, ⟨10.1007/s10817-020-09582-9⟩
Article dans une revue
hal-03005036v1
|
||
|
Formal verification of protocols based on short authenticated strings (extended version)[Research Report] Inria Nancy - Grand Est. 2017
Rapport
hal-01528603v1
|
||
|
Formal verification of protocols based on short authenticated stringsCSF 2017 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.14
Communication dans un congrès
hal-01528607v1
|