Carsten Schürmann

Maryam Sheikhi Garjan

Carsten Schuermann

IACR Cryptol. ePrint Arch., 2023

Receipt-Free Electronic Voting from zk-SNARK.

[BibT_eX]

Maryam Sheikhi

Proceedings of the 20th International Conference on Security and Cryptography, 2023

A Logical Interpretation of Asynchronous Multiparty Compatibility.

[BibT_eX]

[DOI]

Sonia Marin

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2022

Modelling human threats in security ceremonies.

[BibT_eX]

[DOI]

Giampaolo Bella

J. Comput. Secur., 2022

POSTER: Enabling User-Accountable Mechanisms in Decision Systems.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security Workshops, 2022

2021

Forwarders as Process Compatibility, Logically.

[BibT_eX]

[DOI]

Sonia Marin

CoRR, 2021

Synchronous Forwarders.

[BibT_eX]

[DOI]

Sonia Marin

CoRR, 2021

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation.

[BibT_eX]

[DOI]

Ieva Daukantas

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Security Protocols as Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2019

Technical and Socio-Technical Attacks on the Danish Party Endorsement System.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - 4th International Joint Conference, 2019

A Security Analysis of the Danish Deposit Return System.

[BibT_eX]

[DOI]

Ivan Garbacz

Kasper Møller Nielsen

Carsten Schuermann

Proceedings of the Socio-Technical Aspects in Security and Trust, 2019

2018

Choreographies, logically.

[BibT_eX]

[DOI]

Fabrizio Montesi

Distributed Comput., 2018

Rounding Considered Harmful.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC).

[BibT_eX]

[DOI]

Thorvald Sahl Jørgensen

Theis Grønbech Petersen

Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2017

Multiparty session types as coherence proofs.

[BibT_eX]

[DOI]

Acta Informatica, 2017

Eos a Universal Verifiable and Coercion Resistant Voting Protocol.

[BibT_eX]

[DOI]

Stefan Patachi

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy.

[BibT_eX]

[DOI]

Eva Drewsen

Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Automated Analysis of Accountability.

[BibT_eX]

[DOI]

Carsten Schuermann

Proceedings of the Information Security - 20th International Conference, 2017

2016

A Risk-Limiting Audit in Denmark: A Pilot.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - First International Joint Conference, 2016

Automatic Margin Computation for Risk-Limiting Audits.

[BibT_eX]

[DOI]

Proceedings of the Electronic Voting - First International Joint Conference, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

A Contextual Logical Framework.

[BibT_eX]

[DOI]

Peter Brottveit Bock

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Vote Counting as Mathematical Proof.

[BibT_eX]

[DOI]

Dirk Pattinson

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Verifying voting schemes.

[BibT_eX]

[DOI]

J. Inf. Secur. Appl., 2014

Hybrid Extensions in a Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

2013

On the Specification and Verification of Voting Schemes.

[BibT_eX]

[DOI]

Bernhard Beckert

Rajeev Goré

Proceedings of the E-Voting and Identify - 4th International Conference, 2013

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.

[BibT_eX]

[DOI]

Bernhard Beckert

Rajeev Goré

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Truthful Monadic Abstractions.

[BibT_eX]

[DOI]

Taus Brock-Nannestad

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010

Focused Natural Deduction.

[BibT_eX]

[DOI]

Taus Brock-Nannestad

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus.

[BibT_eX]

[DOI]

Anders Schack-Nielsen

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

The Twelf Proof Assistant.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Lexicographic Path Induction.

[BibT_eX]

[DOI]

Jeffrey Sarnat

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2008

Structural Logical Relations.

[BibT_eX]

[DOI]

Jeffrey Sarnat

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

Practical Programming with Higher-Order Encodings and Dependent Types.

[BibT_eX]

[DOI]

Adam Poswolsky

Proceedings of the Programming Languages and Systems, 2008

2005

The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.

[BibT_eX]

[DOI]