On the complexity of monitoring Orchids signatures, and recurrence equations

Jean Goubault-Larrecq; Jean-Philippe Lachance

doi:10.1007/s10703-017-0303-x

Article Dans Une Revue Formal Methods in System Design Année : 2018

On the complexity of monitoring Orchids signatures, and recurrence equations

(1) ,

1

Jean Goubault-Larrecq

Fonction : Auteur
PersonId : 19784
IdHAL : jean-goubault-larrecq
ORCID : 0000-0001-5879-3304
IdRef : 050235516

Ecole Normale Supérieure Paris-Saclay

CV

Jean-Philippe Lachance

Fonction : Auteur

Domaines

Cryptographie et sécurité [cs.CR] Combinatoire [math.CO]

Fichier principal

rec3-hal.pdf (733.67 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03189484

Soumis le : mercredi 9 juin 2021-11:17:44

Dernière modification le : vendredi 22 mars 2024-03:23:04

Archivage à long terme le : vendredi 10 septembre 2021-18:21:26

Dates et versions

hal-03189484 , version 1 (09-06-2021)

Identifiants

HAL Id : hal-03189484 , version 1
DOI : 10.1007/s10703-017-0303-x

Citer

Jean Goubault-Larrecq, Jean-Philippe Lachance. On the complexity of monitoring Orchids signatures, and recurrence equations. Formal Methods in System Design, 2018, 53 (1), pp.6-32. ⟨10.1007/s10703-017-0303-x⟩. ⟨hal-03189484⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-CACHAN ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

61 Consultations

45 Téléchargements

On the complexity of monitoring Orchids signatures, and recurrence equations

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager