Recherche - Archive ouverte HAL

1 résultat

	Pour les 1 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	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

		The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography Philipp G Haselwarter , Benjamin Salling Hvass , Lasse Letager Hansen , Théo Winterhalter , Cătălin Hriţcu , et al. CPP 2024 - 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2024, London, United Kingdom. pp.30-44, ⟨10.1145/3636501.3636961⟩ Communication dans un congrès hal-04484598v1	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