Christian Doczkal

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 11

Top Venues

ITP

CPP

J. Autom. Reason.

IACR Cryptol. ePrint Arch.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. IACR Cryptol. ePrint Arch. 2023 (2023)
Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu
Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. CRYPTO (5) (2022)
Christian Doczkal
A Variant of Wagner's Theorem Based on Combinatorial Hypermaps. ITP (2021)
Christian Doczkal, Damien Pous
Graph Theory in Coq: Minors, Treewidth, and Isomorphisms. J. Autom. Reason. 64 (5) (2020)
Christian Doczkal, Damien Pous
Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq. CPP (2020)
Christian Doczkal, Joachim Bard
Completeness and decidability of converse PDL in the constructive type theory of Coq. CPP (2018)
Christian Doczkal, Guillaume Combette, Damien Pous
A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs. ITP (2018)
Christian Doczkal, Damien Pous
Treewidth-Two Graphs as a Free Algebra. MFCS (2018)
Christian Doczkal, Gert Smolka
Regular Language Representations in the Constructive Type Theory of Coq. J. Autom. Reason. 61 (1-4) (2018)
Christian Doczkal, Gert Smolka
Two-Way Automata in Coq. ITP (2016)
Christian Doczkal, Gert Smolka
Completeness and Decidability Results for CTL in Constructive Type Theory. J. Autom. Reason. 56 (3) (2016)
Gert Smolka, Steven Schäfer, Christian Doczkal
Transfinite Constructions in Classical Type Theory. ITP (2015)
Christian Doczkal, Gert Smolka
Completeness and Decidability Results for CTL in Coq. ITP (2014)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
A Constructive Theory of Regular Languages in Coq. CPP (2013)
Christian Doczkal, Gert Smolka
Constructive Completeness for Modal Logic with Transitive Closure. CPP (2012)
Christian Doczkal, Gert Smolka
Constructive Formalization of Hybrid Logic with Eventualities. CPP (2011)
Christian Doczkal
Strong Normalization of Moggis's Computational Metalanguage. Arch. Formal Proofs 2010 (2010)
Christian Doczkal, Jan Schwinghammer
Formalizing a strong normalization proof for Moggi's computational metalanguage: a case study in Isabelle/HOL-nominal. LFMTP (2009)

Christian Doczkal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Doczkal