E-LIB Suche - Ergebnisse für: Doczkal, Christian

1

Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:

, In: Advances in Cryptology – CRYPTO 2023; Lecture Notes in Computer Science,

Barbosa, Manuel ; Barthe, Gilles ; Doczkal, Christian... - p. 358-389 , 2023

Link: https://doi.org/10.1007/..

2

Graph Theory in Coq: Minors, Treewidth, and Isomorphisms:

Doczkal, Christian ; Pous, Damien
Journal of Automated Reasoning. 64 (2020) 5 - p. 795-825 , 2020

Link: https://doi.org/10.1007/..

3

Completeness of an axiomatization of graph isomorphism via ..:

, In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Doczkal, Christian ; Pous, Damien - p. 325-337 , 2020

Link: https://dl.acm.org/doi/1..

4

Regular Language Representations in the Constructive Type T..:

Doczkal, Christian ; Smolka, Gert
Journal of Automated Reasoning. 61 (2018) 1-4 - p. 521-553 , 2018

Link: https://doi.org/10.1007/..

5

Completeness and decidability of converse PDL in the constr..:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Doczkal, Christian ; Bard, Joachim - p. 42-52 , 2018

Link: https://dl.acm.org/doi/1..

6

Completeness and Decidability Results for CTL in Constructi..:

Doczkal, Christian ; Smolka, Gert
Journal of Automated Reasoning. 56 (2016) 3 - p. 343-365 , 2016

Link: https://doi.org/10.1007/..

7

A machine-checked constructive metatheory of computation tr..:

Doczkal, Christian , 2015

Link: http://nbn-resolving.de/..

8

Formalizing a strong normalization proof for Moggi's comput..:

, In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice,

Doczkal, Christian ; Schwinghammer, Jan - p. 57-63 , 2009

Link: https://dl.acm.org/doi/1..

9

Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:

Barbosa, Manuel ; Barthe, Gilles ; Doczkal, Christian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38554-4_12. , 2023

Link: https://hal.science/hal-..

10

CV2EC: Getting the Best of Both Worlds:

Blanchet, Bruno ; Boutry, Pierre ; Doczkal, Christian..
hal-04321656. , 2023

Link: https://inria.hal.scienc..

11

Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:

Barbosa, Manuel ; Barthe, Gilles ; Doczkal, Christian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38554-4_12. , 2023

Link: https://hal.science/hal-..

12

Fixing and Mechanizing the Security Proof of Fiat-Shamir wi..:

Barbosa, Manuel ; Barthe, Gilles ; Doczkal, Christian...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38554-4_12. , 2023

Link: https://hal.science/hal-..

13

CV2EC: Getting the Best of Both Worlds:

Blanchet, Bruno ; Boutry, Pierre ; Doczkal, Christian..
hal-04321656. , 2023

Link: https://inria.hal.scienc..

14

CV2EC: Getting the Best of Both Worlds:

Blanchet, Bruno ; Boutry, Pierre ; Doczkal, Christian..
hal-04321656. , 2023

Link: https://inria.hal.scienc..

15

A Variant of Wagner's Theorem Based on Combinatorial Hyperm..:

Doczkal, Christian
hal-03142192. , 2021

Link: https://hal.science/hal-..