Recherche - Archive ouverte HAL

33 résultats

	Pour les 33 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automatic verification of transparency protocols Vincent Cheval , José Moreira , Mark Ryan 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), Jul 2023, Delft, Netherlands. ⟨10.1109/EuroSP57164.2023.00016⟩ Communication dans un congrès hal-04219234v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Election Verifiability with ProVerif Vincent Cheval , Véronique Cortier , Alexandre Debant CSF 2023 - 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia. ⟨10.1109/CSF57540.2023.00032⟩ Communication dans un congrès hal-04177268v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		DTKI: A New Formalized PKI with Verifiable Trusted Parties Jiangshan Yu , Vincent Cheval , Mark Ryan The Computer Journal, 2016, 59, pp.1695-1713. ⟨10.1093/comjnl/bxw039⟩ Article dans une revue hal-01403899v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Lengths may break privacy -- or how to check for equivalences with length Vincent Cheval , Véronique Cortier , Antoine Plet CAV'13 - 25th International Conference on Computer Aided Verification - 2013, Jul 2013, Saint Petersbourg, Russia. pp.708-723, ⟨10.1007/978-3-642-39799-8_50⟩ Communication dans un congrès hal-00881065v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice Vincent Cheval , Steve Kremer , Itsaka Rakotonirina [Research Report] INRIA Nancy. 2018 Rapport hal-01698177v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A procedure for deciding symbolic equivalence between sets of constraint systems Vincent Cheval , Hubert Comon-Lundh , Stéphanie Delaune Information and Computation, 2017, 255, pp.94 - 125. ⟨10.1016/j.ic.2017.05.004⟩ Article dans une revue hal-01584242v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Secure Composition of PKIs with Public Key Protocols Vincent Cheval , Véronique Cortier , Bogdan Warinschi CSF'17 - 30th IEEE Computer Security Foundations Symposium, Aug 2017, Santa Barbara, United States. pp.144 - 158, ⟨10.1109/CSF.2017.28⟩ Communication dans un congrès hal-01625766v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Deciding equivalence-based properties using constraint solving Vincent Cheval , Véronique Cortier , Stéphanie Delaune Theoretical Computer Science, 2013, 492, pp.1-39. ⟨10.1016/j.tcs.2013.04.016⟩ Article dans une revue hal-00881060v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Timing attacks in security protocols: symbolic framework and proof techniques Vincent Cheval , Véronique Cortier 4th Conference on Principles of Security and Trust (POST 2015), Apr 2015, Londres, United Kingdom Communication dans un congrès hal-01103618v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif Vincent Cheval , Véronique Cortier , Mathieu Turuani CSF'2018 - 31st IEEE Computer Security Foundations Symposium, Jul 2018, Oxford, United Kingdom Communication dans un congrès hal-01900088v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the semantics of communications when verifying equivalence properties Kushal Babel , Vincent Cheval , Steve Kremer Journal of Computer Security, 2020, 28 (1), pp.71-127. ⟨10.3233/JCS-191366⟩ Article dans une revue hal-02446910v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Handshake Privacy for TLS 1.3 - Technical report Karthikeyan Bhargavan , Vincent Cheval , Christopher Wood [Research Report] Inria Paris; Cloudflare. 2022 Rapport hal-03594482v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automated verification of equivalence properties of cryptographic protocols Rohit Chadha , Vincent Cheval , Ştefan Ciobâcǎ Ciobâcǎ , Steve Kremer ACM Transactions on Computational Logic, 2016, 17 (4), ⟨10.1145/2926715⟩ Article dans une revue hal-01306561v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Symbolic protocol verification with dice: process equivalences in the presence of probabilities Vincent Cheval , Raphaëlle Crubillé , Steve Kremer CSF'22 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel Communication dans un congrès hal-03700492v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version) Vincent Cheval , Raphaëlle Crubillé , Steve Kremer 2023 Pré-publication, Document de travail hal-03683907v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Secure refinements of communication channels Vincent Cheval , Véronique Cortier , Eric Le Morvan [Research Report] RR-8790, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2015, pp.50 Rapport hal-01215265v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Indistinguishability Beyond Diff-Equivalence in ProVerif Vincent Cheval , Itsaka Rakotonirina 2023 IEEE 36th Computer Security Foundations Symposium (CSF), Jul 2023, Dubrovnik, Croatia. pp.184-199, ⟨10.1109/CSF57540.2023.00036⟩ Communication dans un congrès hal-04219230v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		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	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On communication models when verifying equivalence properties Kushal Babel , Vincent Cheval , Steve Kremer 6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden Communication dans un congrès hal-01450898v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello Karthikeyan Bhargavan , Vincent Cheval , Christopher Wood CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security, Nov 2022, Los Angeles CA, United States. pp.365-379, ⟨10.1145/3548606.3559360⟩ Communication dans un congrès hal-03922516v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automated Verification of Equivalence Properties of Cryptographic Protocols Rohit Chadha , Vincent Cheval , Stefan Ciobaca , Steve Kremer [Technical Report] Inria. 2012 Rapport inria-00632564v4	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Symbolic protocol verification with dice Vincent Cheval , Raphaëlle Crubillé , Steve Kremer Journal of Computer Security, 2023, pp.1-38. ⟨10.3233/JCS-230037⟩ Article dans une revue hal-04179875v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		ProVerif with Lemmas, Induction, Fast Subsumption, and Much More Bruno Blanchet , Vincent Cheval , Véronique Cortier S&P 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States Communication dans un congrès hal-03366962v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif Vincent Cheval , Véronique Cortier , Mathieu Turuani [Research Report] Inria Nancy - Grand Est; LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2018 Rapport hal-01774803v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On communication models when verifying equivalence properties (extended version) Kushal Babel , Vincent Cheval , Steve Kremer 6th International Conference on Principles of Security and Trust (POST), 2017, Uppsala, Sweden Communication dans un congrès hal-01438639v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Sapic+ : protocol verifiers of the world, unite! Vincent Cheval , Charlie Jacomme , Steve Kremer , Robert Künnemann USENIX 2022 - 31st USENIX Security Symposium, Aug 2022, Boston, United States Communication dans un congrès hal-03693843v3	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

Exploiting Symmetries When Proving Equivalence Properties for Security Protocols

Automatic verification of transparency protocols

Election Verifiability with ProVerif

DTKI: A New Formalized PKI with Verifiable Trusted Parties

Lengths may break privacy -- or how to check for equivalences with length

DEEPSEC: Deciding Equivalence Properties in Security Protocols Theory and Practice

A procedure for deciding symbolic equivalence between sets of constraint systems

Secure Composition of PKIs with Public Key Protocols

Deciding equivalence-based properties using constraint solving

Timing attacks in security protocols: symbolic framework and proof techniques

A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif

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

On the semantics of communications when verifying equivalence properties

Handshake Privacy for TLS 1.3 - Technical report

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

The DEEPSEC prover

Automated verification of equivalence properties of cryptographic protocols

Symbolic protocol verification with dice: process equivalences in the presence of probabilities

Symbolic protocol verification with dice: process equivalences in the presence of probabilities (extended version)

Secure refinements of communication channels

Indistinguishability Beyond Diff-Equivalence in ProVerif

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

On communication models when verifying equivalence properties

A Symbolic Analysis of Privacy for TLS 1.3 with Encrypted Client Hello

Automated Verification of Equivalence Properties of Cryptographic Protocols

Symbolic protocol verification with dice

ProVerif with Lemmas, Induction, Fast Subsumption, and Much More

A little more conversation, a little less action, a lot more satisfaction: Global states in ProVerif

On communication models when verifying equivalence properties (extended version)

Sapic+ : protocol verifiers of the world, unite!