Výsledky vyhľadávania - "Programming securely with cryptography (PROSECCO)"

CV2EC: Getting the Best of Both Worlds

Autori: Blanchet, Bruno Boutry, Pierre Doczkal, Christian a ďalší

Prispievatelia: Blanchet, Bruno Boutry, Pierre Doczkal, Christian a ďalší

Zdroj: CSF 2024 - 37th IEEE Computer Security Foundations Symposium ; https://inria.hal.science/hal-04321656 ; CSF 2024 - 37th IEEE Computer Security Foundations Symposium, IEEE, Jul 2024, Enschede, Netherlands. pp.283-298, ⟨10.1109/CSF61375.2024.00019⟩

Predmety: Security protocols, Computational model, Mechanized proofs, Combining tools, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: Enschede, Netherlands

Dostupnosť: https://inria.hal.science/hal-04321656
https://inria.hal.science/hal-04321656v2/document
https://inria.hal.science/hal-04321656v2/file/main.pdf
https://doi.org/10.1109/CSF61375.2024.00019

Syllepsis in Homotopy Type Theory

Autori: Sojakova, Kristina Kavvos, G, Alex Programming securely with cryptography (PROSECCO) a ďalší

Prispievatelia: Sojakova, Kristina Kavvos, G, Alex Programming securely with cryptography (PROSECCO) a ďalší

Zdroj: LICS 2022 - Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science ; https://inria.hal.science/hal-03917004 ; LICS 2022 - Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science, Aug 2022, Haifa, Israel. ⟨10.1145/3531130.3533347⟩

Predmety: Higher coherences, Higher category theory, Eckmann-Hilton, Syllepsis, Homotopy type theory, [INFO]Computer Science [cs]

Geografické téma: Haifa, Israel

Dostupnosť: https://inria.hal.science/hal-03917004
https://inria.hal.science/hal-03917004v1/document
https://inria.hal.science/hal-03917004v1/file/syllepsis.pdf
https://doi.org/10.1145/3531130.3533347

SoK: Computer-Aided Cryptography

Autori: Barbosa, Manuel Barthe, Gilles Bhargavan, Karthik a ďalší

Prispievatelia: Barbosa, Manuel Barthe, Gilles Bhargavan, Karthik a ďalší

Zdroj: SP 2021 - 42nd IEEE Symposium on Security and Privacy ; https://inria.hal.science/hal-03046757 ; SP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, Virtual Conference, United States

Predmety: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: Virtual Conference, United States

Time: Virtual Conference, United States

Relation: info:eu-repo/grantAgreement//683032/EU/An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications/CIRCUS

Dostupnosť: https://inria.hal.science/hal-03046757
https://inria.hal.science/hal-03046757v1/document
https://inria.hal.science/hal-03046757v1/file/BarbosaetalOakland21.pdf

CV2EC: Getting the Best of Both Worlds

Autori: Blanchet, Bruno Boutry, Pierre Doczkal, Christian a ďalší

Prispievatelia: Blanchet, Bruno Boutry, Pierre Doczkal, Christian a ďalší

Zdroj: https://inria.hal.science/hal-04321656 ; 2023.

Predmety: Security protocols, Computational model, Mechanized proofs, Combining tools, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Relation: hal-04321656; https://inria.hal.science/hal-04321656; https://inria.hal.science/hal-04321656/document; https://inria.hal.science/hal-04321656/file/main.pdf

Dostupnosť: https://inria.hal.science/hal-04321656
https://inria.hal.science/hal-04321656/document
https://inria.hal.science/hal-04321656/file/main.pdf

Hacspec: succinct, executable, verifiable specifications for high-assurance cryptography embedded in Rust

Autori: Merigoux, Denis Kiefer, Franziskus Bhargavan, Karthikeyan a ďalší

Prispievatelia: Merigoux, Denis Kiefer, Franziskus Bhargavan, Karthikeyan a ďalší

Zdroj: https://hal.inria.fr/hal-03176482 ; [Technical Report] Inria. 2021.

Predmety: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Relation: hal-03176482; https://hal.inria.fr/hal-03176482; https://hal.inria.fr/hal-03176482/document; https://hal.inria.fr/hal-03176482/file/main.pdf

Dostupnosť: https://hal.inria.fr/hal-03176482
https://hal.inria.fr/hal-03176482/document
https://hal.inria.fr/hal-03176482/file/main.pdf

hacspec: Towards Verifiable Crypto Standards

Autori: Bhargavan, Karthikeyan Kiefer, Franziskus Strub, Pierre-Yves a ďalší

Prispievatelia: Bhargavan, Karthikeyan Kiefer, Franziskus Strub, Pierre-Yves a ďalší

Zdroj: Security Standardisation Research. SSR 2018 ; https://inria.hal.science/hal-01967342 ; Security Standardisation Research. SSR 2018, Nov 2018, Darmstadt, Germany. pp.1-20, ⟨10.1007/978-3-030-04762-7_1⟩

Predmety: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geografické téma: Germany

Time: Darmstadt, Germany

Dostupnosť: https://inria.hal.science/hal-01967342
https://inria.hal.science/hal-01967342v1/document
https://inria.hal.science/hal-01967342v1/file/hacspec.pdf
https://doi.org/10.1007/978-3-030-04762-7_1

Mechanized cryptographic proofs of protocols and their link with verified implementations ; Preuves mécanisées de protocoles cryptographiques et leur lien avec des implémentations vérifiées

Autori: Lipp, Benjamin École normale supérieure - Paris (ENS-PSL) Université Paris Sciences et Lettres (PSL) a ďalší

Prispievatelia: Lipp, Benjamin École normale supérieure - Paris (ENS-PSL) Université Paris Sciences et Lettres (PSL) a ďalší

Zdroj: https://inria.hal.science/tel-03933719 ; Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2022. English. ⟨NNT : 2022UPSLE107⟩.

Predmety: Verified implementations, Formal methods, Provable security, Cryptographic protocols, Implémentations vérifiées, Méthodes formelles, Sécurité prouvée, Protocoles cryptographiques, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: info:eu-repo/grantAgreement//683032/EU/An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications/CIRCUS; info:eu-repo/grantAgreement//688722/EU/NEXTLEAP/NEXTLEAP; NNT: 2022UPSLE107

Dostupnosť: https://inria.hal.science/tel-03933719
https://inria.hal.science/tel-03933719v2/document
https://inria.hal.science/tel-03933719v2/file/Lipp_2022_These.pdf

Mechanized Cryptographic Proofs of Protocols and their Link with Verified Implementations

Autori: Lipp, Benjamin École normale supérieure - Paris (ENS-PSL) Université Paris Sciences et Lettres (PSL) a ďalší

Prispievatelia: Lipp, Benjamin École normale supérieure - Paris (ENS-PSL) Université Paris Sciences et Lettres (PSL) a ďalší

Zdroj: Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2022. English. ⟨NNT : ⟩

Predmety: Méthodes formelles, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Formal methods, Verified implementations, Provable security, Sécurité prouvée, Cryptographic protocols, Protocoles cryptographiques, Implémentations vérifiées, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Popis súboru: application/pdf

Prístupová URL adresa: https://inria.hal.science/tel-03933719v1/file/diss.pdf
https://inria.hal.science/tel-03933719v1/document
https://inria.hal.science/tel-03933719
https://inria.hal.science/tel-03933719v2

miTLS: Verifying Protocol Implementations against Real-World Attacks

Autori: Bhargavan, Karthikeyan Fournet, Cédric Kohlweiss, Markulf a ďalší

Prispievatelia: Bhargavan, Karthikeyan Fournet, Cédric Kohlweiss, Markulf a ďalší

Zdroj: ISSN: 1540-7993 ; IEEE Security and Privacy Magazine ; https://hal.inria.fr/hal-01425964 ; IEEE Security and Privacy Magazine, Institute of Electrical and Electronics Engineers, 2016, 14 (6), pp.18-25. ⟨10.1109/MSP.2016.123⟩.

Predmety: [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], edu, info

Relation: https://hal.inria.fr/hal-01425964

Dostupnosť: https://hal.inria.fr/hal-01425964