Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

11 résultats
Page :
triés par
Image document

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
[Research Report] INRIA Nancy. 2018
Rapport hal-01698177v1
Image document

Animer une initiation à la cryptographie (sans être cryptographe)

 Itsaka Rakotonirina
2023
Pré-publication, Document de travail hal-04234205v2
Image document

The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
Nigam, V., Ban Kirigin, T., Talcott, C., Guttman, J., Kuznetsov, S., Thau Loo, B., Okada, M. Logic, Language, and Security - Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, LNCS-12300, Springer, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-62077-6_10⟩
Chapitre d'ouvrage hal-02961617v1

Les livraisons dangereuses

 Itsaka Rakotonirina
Interstices, 2021
Article dans une revue hal-03131356v1
Image document

DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
39th IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States
Communication dans un congrès hal-01763122v1
Image document

Une mesure ordinale pour les preuves de terminaison en Coq

 Pierre-Léo Bégay , Pascal Manoury , Itsaka Rakotonirina
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Communication dans un congrès hal-01333597v1
Image document

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
CCS'19 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom
Communication dans un congrès hal-02269043v1
Image document

Efficient verification of observational equivalences of cryptographic processes : theory and practice

 Itsaka Rakotonirina
Cryptography and Security [cs.CR]. Université de Lorraine, 2021. English. ⟨NNT : 2021LORR0052⟩
Thèse tel-03229177v1
Image document

Exploiting symmetries when proving equivalence properties for security protocols (Technical report)

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
[Technical Report] INRIA Nancy Grand-Est. 2020
Rapport hal-02267866v3
Image document

The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols (technical report)

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
[Technical Report] Inria Nancy Grand-Est. 2020
Rapport hal-02501577v4
Image document

The DEEPSEC prover

 Vincent Cheval , Steve Kremer , Itsaka Rakotonirina
CAV 2018 - 30th International Conference on Computer Aided Verification, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01763138v1
Page :