The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. - Carsten Schürmann 001; Adam Poswolsky; Jeffrey Sarnat (TLCA, 2005)

Practical Programming with Higher-Order Encodings and Dependent Types. - Adam Poswolsky; Carsten Schürmann 001 (ESOP, 2008)

Structural Logical Relations. - Carsten Schürmann 001; Jeffrey Sarnat (LICS, 2008)

Lexicographic Path Induction. - Jeffrey Sarnat; Carsten Schürmann 001 (TLCA, 2009)

The Twelf Proof Assistant. - Carsten Schürmann 001 (TPHOLs, 2009)

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. - Anders Schack-Nielsen; Carsten Schürmann 001 (IJCAR, 2010)

Focused Natural Deduction. - Taus Brock-Nannestad; Carsten Schürmann 001 (LPAR (Yogyakarta), 2010)

Truthful Monadic Abstractions. - Taus Brock-Nannestad; Carsten Schürmann 001 (IJCAR, 2012)

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001 (CADE, 2013)

On the Specification and Verification of Voting Schemes. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001 (VoteID, 2013)

Hybrid Extensions in a Logical Framework. - Taus Brock-Nannestad; Nicolas Guenot; Agata Murawska; Carsten Schürmann 001 (LFMTP, 2014)

Verifying voting schemes. - Bernhard Beckert; Rajeev Goré; Carsten Schürmann 001; Thorsten Bormer; Jian Wang (J. Inf. Secur. Appl., 2014)

Vote Counting as Mathematical Proof. - Dirk Pattinson; Carsten Schürmann 001 (Australasian Conference on Artificial Intelligence, 2015)

A Contextual Logical Framework. - Peter Brottveit Bock; Carsten Schürmann 001 (LPAR, 2015)

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. - Marco Carbone; Sam Lindley; Fabrizio Montesi; Carsten Schürmann 001; Philip Wadler (CONCUR, 2016)

Automatic Margin Computation for Risk-Limiting Audits. - Bernhard Beckert; Michael Kirsten; Vladimir Klebanov; Carsten Schürmann 001 (E-VOTE-ID, 2016)

A Risk-Limiting Audit in Denmark: A Pilot. - Carsten Schürmann 001 (E-VOTE-ID, 2016)

Automated Analysis of Accountability. - Alessandro Bruni; Rosario Giustolisi; Carsten Schuermann 001 (ISC, 2017)

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. - Alessandro Bruni; Eva Drewsen; Carsten Schürmann 001 (E-VOTE-ID, 2017)

Eos a Universal Verifiable and Coercion Resistant Voting Protocol. - Stefan Patachi; Carsten Schürmann 001 (E-VOTE-ID, 2017)

Multiparty session types as coherence proofs. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001; Nobuko Yoshida (Acta Informatica, 2017)

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). - Alessandro Bruni; Thorvald Sahl Jørgensen; Theis Grønbech Petersen; Carsten Schürmann 001 (SSR, 2018)

Rounding Considered Harmful. - Carsten Schürmann 001 (E-Vote-ID, 2018)

Choreographies, logically. - Marco Carbone; Fabrizio Montesi; Carsten Schürmann 001 (Distributed Comput., 2018)

A Security Analysis of the Danish Deposit Return System. - Ivan Garbacz; Rosario Giustolisi; Kasper Møller Nielsen; Carsten Schuermann 001 (STAST, 2019)

Technical and Socio-Technical Attacks on the Danish Party Endorsement System. - Carsten Schürmann 001; Alessandro Bruni (E-VOTE-ID, 2019)

Security Protocols as Choreographies. - Alessandro Bruni; Marco Carbone; Rosario Giustolisi; Sebastian Mödersheim; Carsten Schürmann 001 (Protocols, Strands, and Logic, 2021)

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. - Ieva Daukantas; Alessandro Bruni; Carsten Schürmann 001 (PPDP, 2021)

Synchronous Forwarders. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (CoRR, 2021)

Forwarders as Process Compatibility, Logically. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (CoRR, 2021)

POSTER: Enabling User-Accountable Mechanisms in Decision Systems. - Rosario Giustolisi; Carsten Schürmann 001 (ACNS Workshops, 2022)

Modelling human threats in security ceremonies. - Giampaolo Bella; Rosario Giustolisi; Carsten Schürmann 001 (J. Comput. Secur., 2022)

A Logical Interpretation of Asynchronous Multiparty Compatibility. - Marco Carbone; Sonia Marin; Carsten Schürmann 001 (LOPSTR, 2023)

Receipt-Free Electronic Voting from zk-SNARK. - Maryam Sheikhi; Rosario Giustolisi; Carsten Schürmann 001 (SECRYPT, 2023)

Thwarting Last-Minute Voter Coercion. - Rosario Giustolisi; Maryam Sheikhi Garjan; Carsten Schuermann 001 (IACR Cryptol. ePrint Arch., 2023)

Skolemisation for Intuitionistic Linear Logic. - Alessandro Bruni; Eike Ritter; Carsten Schürmann 001 (IJCAR (2), 2024)