Carsten Schürmann

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 28

Top Topics

Electronic Voting

Brokerage Services

Logical Framework

Top Venues

Protocols, Strands, and Logic

Publications

Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR (2023)
Maryam Sheikhi, Rosario Giustolisi, Carsten Schürmann
Receipt-Free Electronic Voting from zk-SNARK. SECRYPT (2023)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. CoRR (2023)
Marco Carbone, Sonia Marin, Carsten Schürmann
A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR (2023)
Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann
Modelling human threats in security ceremonies. J. Comput. Secur. 30 (3) (2022)
Rosario Giustolisi, Carsten Schürmann
POSTER: Enabling User-Accountable Mechanisms in Decision Systems. ACNS Workshops (2022)
Thomas Chanussot, Carsten Schürmann
Cyber Awareness Training for Election Staff Using Constructive Alignment. E-VOTE-ID (2021)
Marco Carbone, Sonia Marin, Carsten Schürmann
Forwarders as Process Compatibility, Logically. CoRR (2021)
Marco Carbone, Sonia Marin, Carsten Schürmann
Synchronous Forwarders. CoRR (2021)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. Protocols, Strands, and Logic (2021)
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
Security Protocols as Choreographies. Protocols, Strands, and Logic (2021)
Asmita Dalela, Oksana Kulyk, Carsten Schürmann
Voter Perceptions of Trust in Risk-Limiting Audits. CoRR (2021)
Ieva Daukantas, Alessandro Bruni, Carsten Schürmann
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP (2021)
Carsten Schürmann, Lisa Hartmann Jensen, Rósa María Sigbjörnsdóttir
Effective Cybersecurity Awareness Training for Election Officials. E-VOTE-ID (2020)
Ivan Garbacz, Rosario Giustolisi, Kasper Møller Nielsen, Carsten Schürmann
A Security Analysis of the Danish Deposit Return System. STAST (2019)
Carsten Schürmann, Alessandro Bruni
Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID (2019)
Carsten Schürmann
Rounding Considered Harmful. E-Vote-ID (2018)
Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR (2018)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, logically. Distributed Comput. 31 (1) (2018)
Stefan Patachi, Carsten Schürmann
Eos a Universal Verifiable and Coercion Resistant Voting Protocol. E-VOTE-ID (2017)
Alessandro Bruni, Eva Drewsen, Carsten Schürmann
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-VOTE-ID (2017)
Douglas Wikström, Jordi Barrat, Sven Heiberg, Robert Krimmer, Carsten Schürmann
How Could Snowden Attack an Election? E-VOTE-ID (2017)
Alessandro Bruni, Rosario Giustolisi, Carsten Schürmann
Automated Analysis of Accountability. ISC (2017)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
Multiparty session types as coherence proofs. Acta Informatica 54 (3) (2017)
Carsten Schürmann
A Risk-Limiting Audit in Denmark: A Pilot. E-VOTE-ID (2016)
Carsten Schürmann, Jian Wang
Measuring Voter Lines. CeDEM (2016)
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID (2016)
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR (2016)
Peter Brottveit Bock, Carsten Schürmann
A Contextual Logical Framework. LPAR (2015)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
Multiparty Session Types as Coherence Proofs. CONCUR (2015)
Gereon H. Büscher, Risto Kõiva, Carsten Schürmann, Robert Haschke, Helge J. Ritter
Flexible and stretchable fabric-based tactile sensor. Robotics Auton. Syst. 63 (2015)
Dirk Pattinson, Carsten Schürmann
Vote Counting as Mathematical Proof. Australasian Conference on Artificial Intelligence (2015)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
Verifying voting schemes. J. Inf. Secur. Appl. 19 (2) (2014)
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
Hybrid Extensions in a Logical Framework. LFMTP (2014)
Randi Markussen, Lorena Ronquillo, Carsten Schürmann
Trust in internet election observing the Norwegian decryption and counting ceremony. EVOTE (2014)
Marco Carbone, Fabrizio Montesi, Carsten Schürmann
Choreographies, Logically. CONCUR (2014)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE (2013)
Carsten Schürmann
Certifying Voting Protocols. ITP (2013)
Qiang Li, Carsten Schürmann, Robert Haschke, Helge J. Ritter
A Control Framework for Tactile Servoing. Robotics: Science and Systems (2013)
Risto Kõiva, Matthias Zenker, Carsten Schürmann, Robert Haschke, Helge J. Ritter
A highly sensitive 3D-shaped tactile sensor. AIM (2013)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
On the Specification and Verification of Voting Schemes. VoteID (2013)
Carsten Schürmann, Risto Kõiva, Robert Haschke, Helge J. Ritter
Analysis of human grasping under task anticipation using a tactile book. Humanoids (2012)
Gereon H. Büscher, Risto Kõiva, Carsten Schürmann, Robert Haschke, Helge J. Ritter
Tactile dataglove with fabric-based sensors. Humanoids (2012)
Taus Brock-Nannestad, Carsten Schürmann
Truthful Monadic Abstractions. IJCAR (2012)
Maxime Beauquier, Carsten Schürmann
A Bigraph Relational Model LFMTP (2011)
Carsten Schürmann, Risto Kõiva, Robert Haschke, Helge J. Ritter
A modular high-speed tactile sensor for human manipulation research. World Haptics (2011)
Henry DeYoung, Carsten Schürmann
Linear Logical Voting Protocols. VoteID (2011)
Carsten Schürmann
Modernizing the Danish democratic process. Commun. ACM 54 (10) (2011)
Anders Schack-Nielsen, Carsten Schürmann
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. IJCAR (2010)
Anders Schack-Nielsen, Carsten Schürmann
Pattern Unification for the Lambda Calculus with Linear and Affine Types LFMTP (2010)
Matthias Schöpfer, Carsten Schürmann, Michael Pardowitz, Helge J. Ritter
Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage. ISR/ROBOTIK (2010)
Taus Brock-Nannestad, Carsten Schürmann
Focused Natural Deduction. LPAR (Yogyakarta) (2010)
Adam Poswolsky, Carsten Schürmann
System Description: Delphin - A Functional Programming Language for Deductive Systems. Electron. Notes Theor. Comput. Sci. 228 (2009)
Carsten Schürmann
Electronic Elections: Trust Through Engineering. REVOTE (2009)
Carsten Schürmann
The Twelf Proof Assistant. TPHOLs (2009)
Florian Rabe, Carsten Schürmann
A practical module system for LF. LFMTP (2009)
Jeffrey Sarnat, Carsten Schürmann
Lexicographic Path Induction. TLCA (2009)
Carsten Schürmann, Jeffrey Sarnat
Structural Logical Relations. LICS (2008)
Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe
Evaluation of Systems for Higher-order Logic (ESHOL). PAAR/ESHOL (2008)
Carsten Schürmann
Preface. Electron. Notes Theor. Comput. Sci. 199 (2008)
Anders Schack-Nielsen, Carsten Schürmann
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). IJCAR (2008)
Adam Poswolsky, Carsten Schürmann
Practical Programming with Higher-Order Encodings and Dependent Types. ESOP (2008)
Andrew McCreight, Carsten Schürmann
A Meta Linear Logical Framework. Electron. Notes Theor. Comput. Sci. 199 (2008)
Brigitte Pientka, Carsten Schürmann
Preface. Electron. Notes Theor. Comput. Sci. 196 (2008)
Carsten Schürmann, Mark-Oliver Stehr
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. LPAR (2006)
Christoph Benzmüller, John Harrison, Carsten Schürmann
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) CoRR (2006)
Carsten Schürmann
Meta-Logical Frameworks and Formal Digital Libraries. VSTTE (2005)
Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA (2005)
Aaron Stump, Carsten Schürmann
Logical Semantics for the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 125 (2) (2005)
Carsten Schürmann, Jatin Shah
Identifying Polynomial-Time Recursive Functions. CSL (2005)
Carsten Schürmann
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. FLOPS (2004)
Carsten Schürmann, Frank Pfenning
A Coverage Checking Algorithm for LF. TPHOLs (2003)
Carsten Schürmann, Jatin Shah
Representing reductions of NP-complete problems in logical frameworks: a case study. MERLIN (2003)
Serge Autexier, Carsten Schürmann
Disproving False Conjectures. LPAR (2003)
Carsten Schürmann, Serge Autexier
. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Carsten Schürmann
Recursion for Higher-Order Encodings. CSL (2001)
Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
A Representation of Fomega in LF. Electron. Notes Theor. Comput. Sci. 58 (1) (2001)
Carsten Schürmann
A Type-Theoretic Approach to Induction with Higher-Order Encodings. LPAR (2001)
Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning
Primitive recursion for higher-order abstract syntax. Theor. Comput. Sci. 266 (1-2) (2001)
Carsten Schürmann
Tutorial: Meta-logical Frameworks. CADE (2000)
Carsten Schürmann
Workshop: Automation of Proofs by Mathematical Induction. CADE (2000)
Frank Pfenning, Carsten Schürmann
System Description: Twelf - A Meta-Logical Framework for Deductive Systems. CADE (1999)
Frank Pfenning, Carsten Schürmann
Algorithms for Equality and Unification in the Presence of Notational Definitions. Electron. Notes Theor. Comput. Sci. 17 (1998)
Carsten Schürmann, Frank Pfenning
Automated Theorem Proving in a Simple Meta-Logic for LF. CADE (1998)
Frank Pfenning, Carsten Schürmann
Algorithms for Equality and Unification in the Presence of Notational Definitions. TYPES (1998)
Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann
Primitive Recursion for Higher-Order Abstract Syntax. TLCA (1997)