Carsten Schürmann

Affiliations:
  • IT University of Copenhagen, Computer Science Department, Center for Information Security and Trust, CISAT, Denmark


According to our database1, Carsten Schürmann authored at least 36 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Skolemisation for Intuitionistic Linear Logic.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023
Thwarting Last-Minute Voter Coercion.
IACR Cryptol. ePrint Arch., 2023

Receipt-Free Electronic Voting from zk-SNARK.
Proceedings of the 20th International Conference on Security and Cryptography, 2023

A Logical Interpretation of Asynchronous Multiparty Compatibility.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2022
Modelling human threats in security ceremonies.
J. Comput. Secur., 2022

POSTER: Enabling User-Accountable Mechanisms in Decision Systems.
Proceedings of the Applied Cryptography and Network Security Workshops, 2022

2021
Forwarders as Process Compatibility, Logically.
CoRR, 2021

Synchronous Forwarders.
CoRR, 2021

Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Security Protocols as Choreographies.
Proceedings of the Protocols, Strands, and Logic, 2021

2019
Technical and Socio-Technical Attacks on the Danish Party Endorsement System.
Proceedings of the Electronic Voting - 4th International Joint Conference, 2019

A Security Analysis of the Danish Deposit Return System.
Proceedings of the Socio-Technical Aspects in Security and Trust, 2019

2018
Choreographies, logically.
Distributed Comput., 2018

Rounding Considered Harmful.
Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC).
Proceedings of the Security Standardisation Research - 4th International Conference, 2018

2017
Multiparty session types as coherence proofs.
Acta Informatica, 2017

Eos a Universal Verifiable and Coercion Resistant Voting Protocol.
Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy.
Proceedings of the Electronic Voting - Second International Joint Conference, 2017

Automated Analysis of Accountability.
Proceedings of the Information Security - 20th International Conference, 2017

2016
A Risk-Limiting Audit in Denmark: A Pilot.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

Automatic Margin Computation for Risk-Limiting Audits.
Proceedings of the Electronic Voting - First International Joint Conference, 2016

Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
A Contextual Logical Framework.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Vote Counting as Mathematical Proof.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
Verifying voting schemes.
J. Inf. Secur. Appl., 2014

Hybrid Extensions in a Logical Framework.
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.
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.
Proceedings of the Automated Deduction - CADE-24, 2013

2012
Truthful Monadic Abstractions.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2010
Focused Natural Deduction.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009
The Twelf Proof Assistant.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Lexicographic Path Induction.
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

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

Practical Programming with Higher-Order Encodings and Dependent Types.
Proceedings of the Programming Languages and Systems, 2008

2005
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.
Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005


  Loading...