Carsten Schürmann

46 papers A* 2A 5B 4C 3Journal 12Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	An Induction Principle for Hybrid Arguments in Nominal-SSProve. IACR Cryptol. ePrint Arch. Markus Krabbe Larsen, Carsten Schürmann
2025	A	`conf`	Nominal State-Separating Proofs. CSF Markus Krabbe Larsen, Carsten Schürmann
2025	J	`jnl`	Nominal State-Separating Proofs. IACR Cryptol. ePrint Arch. Markus Krabbe Larsen, Carsten Schürmann
2024	—	`conf`	Skolemisation for Intuitionistic Linear Logic. IJCAR (2) Alessandro Bruni, Eike Ritter, Carsten Schürmann
2024	J	`jnl`	Skolemisation for Intuitionistic Linear Logic. CoRR Alessandro Bruni, Eike Ritter, Carsten Schürmann
2024	A*	`conf`	Thwarting Last-Minute Voter Coercion. SP Rosario Giustolisi, Maryam Sheikhi Garjan, Carsten Schürmann
2023	J	`jnl`	A Declaration of Software Independence. CoRR Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2023	C	`conf`	A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR Marco Carbone, Sonia Marin, Carsten Schürmann
2023	J	`jnl`	A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR Marco Carbone, Sonia Marin, Carsten Schürmann
2023	C	`conf`	Receipt-Free Electronic Voting from zk-SNARK. SECRYPT Maryam Sheikhi, Rosario Giustolisi, Carsten Schürmann
2022	J	`jnl`	Modelling human threats in security ceremonies. J. Comput. Secur. Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann
2022	—	`conf`	POSTER: Enabling User-Accountable Mechanisms in Decision Systems. ACNS Workshops Rosario Giustolisi, Carsten Schürmann
2021	—	`conf`	A Declaration of Software Independence. Protocols, Strands, and Logic Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2021	J	`jnl`	Forwarders as Process Compatibility, Logically. CoRR Marco Carbone, Sonia Marin, Carsten Schürmann
2021	—	`conf`	Security Protocols as Choreographies. Protocols, Strands, and Logic Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
2021	J	`jnl`	Synchronous Forwarders. CoRR Marco Carbone, Sonia Marin, Carsten Schürmann
2021	C	`conf`	Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP Ieva Daukantas, Alessandro Bruni, Carsten Schürmann
2021	J	`jnl`	Voter Perceptions of Trust in Risk-Limiting Audits. CoRR Asmita Dalela, Oksana Kulyk, Carsten Schürmann
2019	—	`conf`	Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID Carsten Schürmann, Alessandro Bruni
2018	J	`jnl`	Choreographies, logically. Distributed Comput. Marco Carbone, Fabrizio Montesi, Carsten Schürmann
2018	—	`conf`	Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
2018	—	`conf`	Rounding Considered Harmful. E-Vote-ID Carsten Schürmann
2017	—	`ed.`	Electronic Voting - Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings E-Vote-ID Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann
2017	—	`conf`	Eos a Universal Verifiable and Coercion Resistant Voting Protocol. E-VOTE-ID Stefan Patachi, Carsten Schürmann
2017	—	`conf`	How Could Snowden Attack an Election? E-VOTE-ID Douglas Wikström, Jordi Barrat, Sven Heiberg, Robert Krimmer, Carsten Schürmann
2017	J	`jnl`	Multiparty session types as coherence proofs. Acta Informatica Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2017	—	`conf`	Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-VOTE-ID Alessandro Bruni, Eva Drewsen, Carsten Schürmann
2016	—	`conf`	A Risk-Limiting Audit in Denmark: A Pilot. E-VOTE-ID Carsten Schürmann
2016	—	`conf`	Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
2016	B	`conf`	Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
2015	B	`conf`	A Contextual Logical Framework. LPAR Peter Brottveit Bock, Carsten Schürmann
2015	B	`conf`	Multiparty Session Types as Coherence Proofs. CONCUR Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2015	—	`conf`	Vote Counting as Mathematical Proof. Australasian Conference on Artificial Intelligence Dirk Pattinson, Carsten Schürmann
2014	B	`conf`	Choreographies, Logically. CONCUR Marco Carbone, Fabrizio Montesi, Carsten Schürmann
2014	—	`conf`	Hybrid Extensions in a Logical Framework. LFMTP Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann
2014	J	`jnl`	Verifying voting schemes. J. Inf. Secur. Appl. Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
2013	A	`conf`	Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE Bernhard Beckert, Rajeev Goré, Carsten Schürmann
2013	—	`conf`	On the Specification and Verification of Voting Schemes. VoteID Bernhard Beckert, Rajeev Goré, Carsten Schürmann
2012	A	`conf`	Truthful Monadic Abstractions. IJCAR Taus Brock-Nannestad, Carsten Schürmann
2010	A	`conf`	Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. IJCAR Anders Schack-Nielsen, Carsten Schürmann
2010	—	`conf`	Focused Natural Deduction. LPAR (Yogyakarta) Taus Brock-Nannestad, Carsten Schürmann
2009	—	`conf`	Lexicographic Path Induction. TLCA Jeffrey Sarnat, Carsten Schürmann
2009	—	`conf`	The Twelf Proof Assistant. TPHOLs Carsten Schürmann
2008	A	`conf`	Practical Programming with Higher-Order Encodings and Dependent Types. ESOP Adam Poswolsky, Carsten Schürmann
2008	A*	`conf`	Structural Logical Relations. LICS Carsten Schürmann, Jeffrey Sarnat
2005	—	`conf`	The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat