Filter your results
- 55
- 11
- 35
- 13
- 10
- 3
- 3
- 1
- 1
- 7
- 3
- 65
- 1
- 1
- 3
- 1
- 7
- 6
- 4
- 12
- 5
- 1
- 5
- 3
- 6
- 6
- 3
- 1
- 1
- 1
- 62
- 4
- 60
- 60
- 22
- 21
- 10
- 6
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 66
- 15
- 10
- 8
- 8
- 7
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
66 Results
|
Modelling and analyzing security protocols in cryptographic process calculiComputer Science [cs]. École normale supérieure de Cachan - ENS Cachan, 2011
Habilitation à diriger des recherches
tel-00636769v1
|
||
|
Formal analysis of protocols based on TPM state registers24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France. ⟨10.1109/CSF.2011.12⟩
Conference papers
inria-00636747v1
|
||
|
The hitchhiker's guide to decidability and complexity of equivalence properties in security protocolsLogic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020, Philadelphia, United States
Conference papers
hal-02961617v1
|
||
|
Universally Composable Key-Management18th European Symposium on Research in Computer Security (ESORICS'13), 2013, Egham, United Kingdom. ⟨10.1007/978-3-642-40203-6_19⟩
Conference papers
hal-00878632v1
|
||
|
Automated Verification of Equivalence Properties of Cryptographic Protocols[Technical Report] Inria. 2012
Reports
inria-00632564v4
|
||
|
Type-Based Verification of Electronic Voting Protocols4th Conference on Principles of Security and Trust (POST), Apr 2015, London, United Kingdom
Conference papers
hal-01103545v1
|
||
|
Computationally Sound Implementations of Equational Theories against Passive Adversaries32nd International Colloquium on Automata, Languages and Programming - ICALP 2005, Jul 2005, Lisbonne/Portugal, pp.652-663, ⟨10.1007/11523468⟩
Conference papers
inria-00000555v1
|
||
|
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems[Research Report] RR-6912, INRIA. 2009, pp.42
Reports
inria-00379776v1
|
||
|
Automated analysis of security protocols with global state[Research Report] arXiv. 2014, pp.56
Reports
hal-00955869v2
|
||
|
An Extensive Formal Analysis of Multi-factor Authentication ProtocolsACM Transactions on Privacy and Security, 2021, 24 (2), pp.1-34. ⟨10.1145/3440712⟩
Journal articles
hal-03468848v1
|
||
|
On communication models when verifying equivalence properties6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden
Conference papers
hal-01450898v1
|
||
|
Automated analysis of equivalence properties for security protocols using else branches (extended version)[Research Report] INRIA Nancy. 2017, pp.29
Reports
hal-01547017v1
|
||
|
Symbolic verification of privacy-type properties for security protocols with XOR (extended version)[Research Report] Inria Nancy - Grand Est. 2017, pp.29
Reports
hal-01533694v1
|
||
|
Universally Composable Key-Management2012
Preprints, Working Papers, ...
hal-00686535v1
|
||
|
On the semantics of communications when verifying equivalence propertiesJournal of Computer Security, 2020, 28 (1), pp.71-127. ⟨10.3233/JCS-191366⟩
Journal articles
hal-02446910v1
|
||
|
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
Conference papers
hal-01533708v1
|
||
Principles of Security and Trust8414, Springer, 2014, Lecture Notes in Computer Science, 978-3-642-54791-1. ⟨10.1007/978-3-642-54792-8⟩
Proceedings
hal-01090879v1
|
|||
|
Computing knowledge in security protocols under convergent equational theoriesJournal of Automated Reasoning, 2012, 48 (2), pp.219-262. ⟨10.1007/s10817-010-9197-7⟩
Journal articles
inria-00636794v1
|
||
|
Automated analysis of equivalence properties for security protocols using else branches22nd European Symposium on Research in Computer Security (ESORICS'17), 2017, Oslo, Norway
Conference papers
hal-01566035v1
|
||
|
Exploiting symmetries when proving equivalence properties for security protocols (Technical report)[Technical Report] INRIA Nancy Grand-Est. 2020
Reports
hal-02267866v3
|
||
|
CybersécuritéInria, 3, pp.18, 2019, Inria white book
Books
hal-02414281v1
|
||
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.Journal of Automated Reasoning, 2011, 46 (3-4), pp.225-259. ⟨10.1007/s10817-010-9187-9⟩
Journal articles
istex
inria-00525776v1
|
|||
|
Automated Analysis of Security Protocols with Global StateJournal of Computer Security, 2016, 24 (5), ⟨10.3233/JCS-160556⟩
Journal articles
hal-01351388v1
|
||
|
Exploiting Symmetries When Proving Equivalence Properties for Security ProtocolsCCS'19 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
Conference papers
hal-02269043v1
|
||
La création typographique au service des humanités numériquesColloque scientifique Collecta : des pratiques antiquaires aux humanités numériques, 2016, Paris, France
Conference papers
halshs-03187640v1
|
|||
Formal Models and Techniques for Analyzing Security ProtocolsCortier, Véronique and Kremer, Steve. IOS Press, 5, pp.312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0
Books
inria-00636787v1
|
|||
|
Private votes on untrusted platforms: models, attacks and provable schemeEuroS&P 2019 - 4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden
Conference papers
hal-02099434v1
|
||
|
To Du or not to Du: A Security Analysis of Du-VoteIEEE European Symposium on Security and Privacy 2016 , Mar 2016, Saarbrucken, Germany
Conference papers
hal-01238894v1
|
||
|
Security protocols, constraint systems, and group theories6th International Joint Conference on Automated Reasoning (IJCAR'12), Jun 2012, Manchester, United Kingdom. pp.164-178, ⟨10.1007/978-3-642-31365-3_15⟩
Conference papers
hal-00729091v1
|
||
|
DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice[Research Report] INRIA Nancy. 2018
Reports
hal-01698177v1
|