9 citations · 10 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Forwarders as Process Compatibility, Logically
Marco Carbone, Sonia Marin, Carsten Schürmann
Session types define protocols that processes must follow when communicating. The special case of binary session types, i.e. type annotations of protocols between two parties, is k…
cs.CY2021
Voter Perceptions of Trust in Risk-Limiting Audits
Asmita Dalela, Oksana Kulyk, Carsten Schürmann
Risk-limiting audits (RLAs) are expected to strengthen the public confidence in the correctness of an election outcome. We hypothesize that this is not always the case, in part bec…