Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Konrad Kohbrok"'
Publikováno v:
Dupressoir, F, Kohbrok, K & Oechsner, S 2022, Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox . in Proceedings-2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022 . Proceedings-IEEE Computer Security Foundations Symposium, vol. 2022-August, pp. 227-242, 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, 7/08/22 . https://doi.org/10.1109/CSF54842.2022.9919671
Machine-checked cryptography aims to reinforce confidence in the primitives and protocols that underpin all digital security. However, machine-checked proof techniques remain in practice difficult to apply to real-world constructions. A particular ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b72d47a4bf3f2a2298f4b57f3f49d74a
https://www.pure.ed.ac.uk/ws/files/343423071/Bringing_State_DUPRESSOIR_DOA08042022_AFV_CC_BY.pdf
https://www.pure.ed.ac.uk/ws/files/343423071/Bringing_State_DUPRESSOIR_DOA08042022_AFV_CC_BY.pdf
Autor:
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
Publikováno v:
Advances in Cryptology – ASIACRYPT 2022 ISBN: 9783031229626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7dd4fb6aa3347cc1e8f4796b849e9e7
https://doi.org/10.1007/978-3-031-22963-3_21
https://doi.org/10.1007/978-3-031-22963-3_21
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030033316
ASIACRYPT (3)
ASIACRYPT (3)
The security analysis of real-world protocols involves reduction steps that are conceptually simple but still have to account for many protocol complications found in standards and implementations. Taking inspiration from universal composability, abs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bb20366b1a8dfc4b3eaf111c6ac733c
https://doi.org/10.1007/978-3-030-03332-3_9
https://doi.org/10.1007/978-3-030-03332-3_9