Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Carsten Schürmann 0001

Carsten Schuermann 0001

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BellaGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BellaGS22
Giampaolo Bella, Rosario Giustolisi, Carsten Schürmann:
Modelling human threats in security ceremonies. J. Comput. Secur. 30(3): 411-433 (2022)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/CarboneMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/CarboneMS18
Marco Carbone, Fabrizio Montesi, Carsten Schürmann:
Choreographies, logically. Distributed Comput. 31(1): 51-67 (2018)
2017
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/acta/CarboneMSY17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/CarboneMSY17
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty session types as coherence proofs. Acta Informatica 54(3): 243-269 (2017)
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/BeckertGSBW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/BeckertGSBW14
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang:
Verifying voting schemes. J. Inf. Secur. Appl. 19(2): 115-129 (2014)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/CarboneMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/CarboneMS23
Marco Carbone, Sonia Marin, Carsten Schürmann:
A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR 2023: 99-117
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/secrypt/SheikhiGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/SheikhiGS23
Maryam Sheikhi, Rosario Giustolisi, Carsten Schürmann:
Receipt-Free Electronic Voting from zk-SNARK. SECRYPT 2023: 254-266
2022
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/acns/GiustolisiS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acns/GiustolisiS22
Rosario Giustolisi, Carsten Schürmann:
POSTER: Enabling User-Accountable Mechanisms in Decision Systems. ACNS Workshops 2022: 600-605
2021
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/BruniCGMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/BruniCGMS21
Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann:
Security Protocols as Choreographies. Protocols, Strands, and Logic 2021: 98-111
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/DaukantasBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/DaukantasBS21
Ieva Daukantas, Alessandro Bruni, Carsten Schürmann:
Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation. PPDP 2021: 17:1-17:9
2019
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/stast/GarbaczGNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stast/GarbaczGNS19
Ivan Garbacz, Rosario Giustolisi, Kasper Møller Nielsen, Carsten Schuermann:
A Security Analysis of the Danish Deposit Return System. STAST 2019: 124-139
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/SchurmannB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/SchurmannB19
Carsten Schürmann, Alessandro Bruni:
Technical and Socio-Technical Attacks on the Danish Party Endorsement System. E-VOTE-ID 2019: 200-215
2018
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/BruniJPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/BruniJPS18
Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann:
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). SSR 2018: 21-36
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/Schurmann18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/Schurmann18
Carsten Schürmann:
Rounding Considered Harmful. E-Vote-ID 2018: 189-202
2017
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/isw/BruniGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isw/BruniGS17
Alessandro Bruni, Rosario Giustolisi, Carsten Schuermann:
Automated Analysis of Accountability. ISC 2017: 417-434
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BruniDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BruniDS17
Alessandro Bruni, Eva Drewsen, Carsten Schürmann:
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. E-VOTE-ID 2017: 110-126
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/PatachiS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/PatachiS17
Stefan Patachi, Carsten Schürmann:
Eos a Universal Verifiable and Coercion Resistant Voting Protocol. E-VOTE-ID 2017: 210-227
2016
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CarboneLMSW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CarboneLMSW16
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler:
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR 2016: 33:1-33:15
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BeckertKKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BeckertKKS16
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann:
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID 2016: 18-35
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/Schurmann16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/Schurmann16
Carsten Schürmann:
A Risk-Limiting Audit in Denmark: A Pilot. E-VOTE-ID 2016: 192-202
2015
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/PattinsonS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/PattinsonS15
Dirk Pattinson, Carsten Schürmann:
Vote Counting as Mathematical Proof. Australasian Conference on Artificial Intelligence 2015: 464-475
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CarboneMSY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CarboneMSY15
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida:
Multiparty Session Types as Coherence Proofs. CONCUR 2015: 412-426
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BockS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BockS15
Peter Brottveit Bock, Carsten Schürmann:
A Contextual Logical Framework. LPAR 2015: 402-417
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/CarboneMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CarboneMS14
Marco Carbone, Fabrizio Montesi, Carsten Schürmann:
Choreographies, Logically. CONCUR 2014: 47-62
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lfmtp/Brock-Nannestad14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfmtp/Brock-Nannestad14
Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska, Carsten Schürmann:
Hybrid Extensions in a Logical Framework. LFMTP 2014: 6: 1-6: 8
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BeckertGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BeckertGS13
Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE 2013: 135-144
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/voteid/BeckertGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/voteid/BeckertGS13
Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
On the Specification and Verification of Voting Schemes. VoteID 2013: 25-40
2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Brock-NannestadS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Brock-NannestadS12
Taus Brock-Nannestad, Carsten Schürmann:
Truthful Monadic Abstractions. IJCAR 2012: 97-110
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Schack-NielsenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Schack-NielsenS10
Anders Schack-Nielsen, Carsten Schürmann:
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. IJCAR 2010: 1-14
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/Brock-NannestadS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Brock-NannestadS10
Taus Brock-Nannestad, Carsten Schürmann:
Focused Natural Deduction. LPAR (Yogyakarta) 2010: 157-171
2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/SarnatS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/SarnatS09
Jeffrey Sarnat, Carsten Schürmann:
Lexicographic Path Induction. TLCA 2009: 279-293
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/Schurmann09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/Schurmann09
Carsten Schürmann:
The Twelf Proof Assistant. TPHOLs 2009: 79-83
2008
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/PoswolskyS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/PoswolskyS08
Adam Poswolsky, Carsten Schürmann:
Practical Programming with Higher-Order Encodings and Dependent Types. ESOP 2008: 93-107
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/SchurmannS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/SchurmannS08
Carsten Schürmann, Jeffrey Sarnat:
Structural Logical Relations. LICS 2008: 69-80
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/SchurmannPS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/SchurmannPS05
Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat:
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. TLCA 2005: 339-353

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-16240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-16240
Marco Carbone, Sonia Marin, Carsten Schürmann:
A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR abs/2305.16240 (2023)
[i3]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/GiustolisiGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/GiustolisiGS23
Rosario Giustolisi, Maryam Sheikhi Garjan, Carsten Schuermann:
Thwarting Last-Minute Voter Coercion. IACR Cryptol. ePrint Arch. 2023: 1876 (2023)
2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-04731
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-04731
Marco Carbone, Sonia Marin, Carsten Schürmann:
Synchronous Forwarders. CoRR abs/2102.04731 (2021)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-07636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-07636
Marco Carbone, Sonia Marin, Carsten Schürmann:
Forwarders as Process Compatibility, Logically. CoRR abs/2112.07636 (2021)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.