Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
131 | Bo Meng |
A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model. |
ISIP |
2008 |
DBLP DOI BibTeX RDF |
internet voting protocol, formal analysis, coercion-resistance |
117 | Ryan W. Gardner, Sujata Garera, Aviel D. Rubin |
Coercion Resistant End-to-end Voting. |
Financial Cryptography |
2009 |
DBLP DOI BibTeX RDF |
end-to-end voting, privacy, cryptography, coercion |
107 | Ralf Küsters, Tomasz Truderung |
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols. |
SP |
2009 |
DBLP DOI BibTeX RDF |
|
93 | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
Integrating coercion with subtyping and multiple dispatch. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
93 | Stefan Monnier |
The swiss coercion. |
PLPV |
2007 |
DBLP DOI BibTeX RDF |
type based security, formal methods, compilation, coercions |
87 | Jens-Matthias Bohli, Jörn Müller-Quade, Stefan Röhrich |
Bingo Voting: Secure and Coercion-Free Voting Using a Trusted Random Number Generator. |
VOTE-ID |
2007 |
DBLP DOI BibTeX RDF |
Secure electronic voting, coercion-free, receipt-free |
78 | Lingjia Tang, Paul F. Reynolds Jr. |
Agile optimization for coercion. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
78 | Bo Meng |
A Coercion-Resistant Internet Voting Protocol. |
ICSNC |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Joseph C. Carnahan, Steven A. Policastro, Erin C. Carson, Paul F. Reynolds Jr., Robert G. Kelly |
Using flexible points in a developing simulation of selective dissolution in alloys. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
73 | Ari Juels, Dario Catalano, Markus Jakobsson |
Coercion-resistant electronic elections. |
WPES |
2005 |
DBLP DOI BibTeX RDF |
electronic voting, mix networks, receipt-freeness, coercion-resistance |
67 | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
A theory of typed coercions and its applications. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance |
64 | Stefan G. Weber, Roberto Araújo 0001, Johannes Buchmann 0001 |
On Coercion-Resistant Electronic Elections with Linear Work. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Stéphanie Delaune, Steve Kremer, Mark Ryan 0001 |
Coercion-Resistance and Receipt-Freeness in Electronic Voting. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Xinyu Liu, Paul F. Reynolds Jr., David C. Brogan |
Using Abstraction in the Verification of Simulation Coercion. |
PADS |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Kun Peng, Feng Bao 0001 |
A Design of Secure Preferential E-Voting. |
VoteID |
2009 |
DBLP DOI BibTeX RDF |
preferential e-voting, coercion attack, security |
53 | Gang Chen |
Coercive subtyping for the calculus of constructions. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
calculus of constructions, semantics of coercions, transitivity elimination, subtyping, coercion |
49 | Martin Giese |
A Calculus for Type Predicates and Type Coercion. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Yannick Loitière, David C. Brogan, Paul F. Reynolds Jr. |
Simulation Coercion Applied to Multiagent DDDAS. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Wei-Chi Ku, Chun-Ming Ho |
An e-Voting Scheme against Bribe and Coercion. |
EEE |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Albrecht Fortenbacher |
Efficient Type Inference and Coercion in Computer Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
44 | Jeremy G. Siek, Philip Wadler |
Threesomes, with and without blame. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
blame tracking, lambda-calculus, coercions, casts |
44 | Michael Backes 0001, Catalin Hritcu, Matteo Maffei |
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Electronic Voting Protocols, Language-based security, Applied Pi-calculus |
44 | Jon G. Riecke, Ramesh Viswanathan |
Isolating Side Effects in Sequential Languages. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
Standard ML |
44 | Ralf Küsters, Tomasz Truderung, Andreas Vogt 0001 |
Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
privacy, voting, protocol analysis, verifiability, coercion-resistance |
40 | Frederick Gietz, Barend Beekhuizen |
Two measures for complement coercion interpretation: Interpretation vs production for complement coercion. |
CogSci |
2022 |
DBLP BibTeX RDF |
|
38 | Michael R. Clarkson, Stephen Chong, Andrew C. Myers |
Civitas: Toward a Secure Voting System. |
SP |
2008 |
DBLP DOI BibTeX RDF |
verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance |
38 | Marcin Gogolewski, Marek Klonowski, Przemyslaw Kubiak 0001, Miroslaw Kutylowski, Anna Lauks, Filip Zagórski |
Kleptographic Attacks on E-Voting Schemes. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
receipt voting, election integrity, verifiable pseudo-randomness, electronic voting, coercion, kleptography |
38 | Petros Panagiotidis, John S. Edwards |
Developing Intrinsically Motivated Information Systems-A Critical Systems Approach. |
Inf. Syst. Frontiers |
2001 |
DBLP DOI BibTeX RDF |
business systems, false consciousness, methodology, power, coercion, complementarism |
38 | David Naccache, David Pointcheval, Christophe Tymen |
Monotone Signatures. |
Financial Cryptography |
2001 |
DBLP BibTeX RDF |
Bank Notes, ID Cards, Digital Signatures, Coercion |
34 | Bo Meng |
An Internet Voting Protocol with Receipt-Free and Coercion-Resistant. |
CIT |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Karl-Filip Faxén |
Representation Analysis for Coercion Placement. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Alexander V. Shafarenko |
Coercion as homomorphism: type inference in a system with subtyping and overloading. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
type inference, subtyping, overloading, data-parallel programming, array processing |
34 | César Domínguez 0001, Julio Rubio 0001 |
Modeling inheritance as coercion in a symbolic computation system. |
ISSAC |
2001 |
DBLP DOI BibTeX RDF |
CLOS |
34 | Robert S. Sutor, Richard D. Jenks |
The type inference and coercion facilities in the scratchpad II interpreter. |
PLDI |
1987 |
DBLP DOI BibTeX RDF |
SCRATCHPAD |
34 | John C. Mitchell |
Coercion and Type Inference. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
29 | Roland Wen, Richard Buckland |
Minimum Disclosure Counting for the Alternative Vote. |
VoteID |
2009 |
DBLP DOI BibTeX RDF |
Preferential voting, alternative vote, instant runoff voting, online elections, counting schemes |
29 | Claudia Díaz, Carmela Troncoso, Bart Preneel |
A Framework for the Analysis of Mix-Based Steganographic File Systems. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Joseph C. Carnahan, Paul F. Reynolds Jr. |
Requirements for DDDAS flexible point support. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Simon N. Foley, John P. Morrison |
Computational paradigms and protection. |
NSPW |
2001 |
DBLP DOI BibTeX RDF |
functional and dataflow programming, imperative, security models, protection mechanisms, condensed graphs |
29 | Karl Crary |
Typed compilation of inclusive subtyping. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Karl Crary |
Foundations for the Implementation of Higher-Order Subtyping. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Zhong Shao |
Flexible Representation Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Olivier Danvy, Karoline Malmkjær, Jens Palsberg |
Eta-Expansion Does The Trick. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
binding-time analysis and improvement, eta-expansion, static reduction, partial evaluation, program specialization |
29 | Zhaohui Luo |
Coercive Subtyping in Type Theory. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
29 | Martin Hofmann 0001, Benjamin C. Pierce |
Positive Subtyping. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Miroslaw Kutylowski, Filip Zagórski |
Verifiable Internet Voting Solving Secure Platform Problem. |
IWSEC |
2007 |
DBLP DOI BibTeX RDF |
vote selling, anonymity, electronic voting, coercion resistance |
24 | Ran Canetti, Rosario Gennaro |
Incoercible Multiparty Computation (extended abstract). |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
incoercible multiparty computation, secure multiparty protocols, coercion resilience, computationally bounded adversaries, public communication channels, adaptive security problem, deniable encryptions, protocols, trapdoor permutations |
20 | Tamara Finogina, Javier Herranz |
On remote electronic voting with both coercion resistance and cast-as-intended verifiability. |
J. Inf. Secur. Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Chiara Spadafora, Riccardo Longo, Massimiliano Sala |
A coercion-resistant blockchain-based E-voting protocol with receipts. |
Adv. Math. Commun. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Neyire Deniz Sarier |
Efficient and Usable Coercion-Resistant E-Voting on the Blockchain. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Zeyuan Yin, Bingsheng Zhang, Andrii Nastenko, Roman Oliynykov, Kui Ren 0001 |
A Scalable Coercion-resistant Blockchain Decision-making Scheme. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Diego F. Aranha, Michele Battagliola, Lawrence Roy |
Faster coercion-resistant e-voting by encrypted sorting. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Rosario Giustolisi, Maryam Sheikhi Garjan, Carsten Schuermann 0001 |
Thwarting Last-Minute Voter Coercion. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Kristian Gjøsteen, Thomas Haines, Morten Rotvold Solberg |
Coercion Mitigation for Voting Systems with Trackers: A Selene Case Study. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
20 | Tamara Finogina, Javier Herranz |
Coercion-Resistant Cast-as-Intended Verifiability for Computationally Limited Voters. |
FC Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Haines, Johannes Müller 0001, Iñigo Querejeta-Azurmendi |
Scalable Coercion-Resistant E-Voting under Weaker Trust Assumptions. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Hayyu Imanda, Kasper Rasmussen |
Nakula: Coercion Resistant Data Storage against Time-Limited Adversary. |
ARES |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Quentin Yang |
Résistance à la coercition en vote électronique : conception et analyse. (Coercion-resistance in electronic voting : design and analysis). |
|
2023 |
RDF |
|
20 | Yuling Gu |
Measure More, Question More: Experimental Studies on Transformer-based Language Models and Complement Coercion. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Louis-Henri Merino, Simone Colombo 0002, Jeff Allen, Vero Estrada-Galiñanes, Bryan Ford |
TRIP: Trustless Coercion-Resistant In-Person Voter Registration. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
20 | Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini |
Secure Internet Exams Despite Coercion. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Véronique Cortier, Pierrick Gaudry, Quentin Yang |
Is the JCJ voting system really coercion-resistant? |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
20 | Alisa Pankova, Jan Willemson |
Relations Between Privacy, Verifiability, Accountability and Coercion-Resistance in Voting Protocols. |
ACNS |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Chen Long, Laura Kallmeyer, Rainer Osswald |
A Frame-Based Model of Inherent Polysemy, Copredication and Argument Coercion. |
CogALex@AACL/IJCNLP |
2022 |
DBLP BibTeX RDF |
|
20 | Chenxin Liu, Emmanuele Chersoni |
Exploring Nominal Coercion in Semantic Spaces with Static and Contextualized Word Embeddings. |
CogALex@AACL/IJCNLP |
2022 |
DBLP BibTeX RDF |
|
20 | Steven Carr 0001, Yu Chin Cheng, Yu-Hsiang Hu, Jean Mayo, Ahmed Radwan, Ching-Kuang Shene, James W. Walker |
Design and Use of a Visualization for Teaching Integer Coercion. |
SIGCSE (1) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ritul Satish, Niranjan Rajesh, Argha Chakrabarty, Aditi Jain, Sristi Bafna, Arup Mondal, Debayan Gupta |
NEUROCRYPT: Coercion-Resistant Implicit Memory Authentication (Student Abstract). |
AAAI |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Mohammadamin Rakeei, Rosario Giustolisi, Gabriele Lenzini |
Secure Internet Exams Despite Coercion. |
DPM/CBT@ESORICS |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Huilu Luo, Zuoyan Song |
Research on the Phenomenon of Tone Sandhi of BB in ABB-Pattern Adjectives from the Perspective of Coercion Effects. |
CLSW (1) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Riccardo Longo, Chiara Spadafora |
Multiple Candidates Coercion-Resistant Blockchain-Based E-Voting Protocol With Receipts. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
20 | Alisa Pankova, Jan Willemson |
Relations between Privacy, Verifiability, Accountability and Coercion-Resistance in Voting Protocols. |
IACR Cryptol. ePrint Arch. |
2021 |
DBLP BibTeX RDF |
|
20 | Jeremy G. Siek, Peter Thiemann 0001, Philip Wadler |
Blame and coercion: Together again for the first time. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | James W. Walker, Steven Carr 0001, Ahmed Radwan, Yu-Hsiang Hu, Yu Chin Cheng, Jean Mayo, Ching-Kuang Shene |
A Visualization for Teaching Integer Coercion. |
ITiCSE (2) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tamara Finogina, Javier Herranz, Enrique Larraia |
How (not) to Achieve both Coercion Resistance and Cast as Intended Verifiability in Remote eVoting. |
CANS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Chen Li |
An Analysis of the Grammaticalization, Coercion Mechanisms and Formation Motivation of the New Construction 'XX Zi' from the Cognitive Perspective. |
CLSW (1) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Tassos Dimitriou |
Efficient, Coercion-free and Universally Verifiable Blockchain-based Voting. |
Comput. Networks |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yanai Elazar, Victoria Basmova, Shauli Ravfogel, Yoav Goldberg, Reut Tsarfaty |
The Extraordinary Failure of Complement Coercion Crowdsourcing. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Wouter Lueks, Iñigo Querejeta-Azurmendi, Carmela Troncoso |
VoteAgain: A scalable coercion-resistant voting system. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
20 | Chiara Spadafora, Riccardo Longo, Massimiliano Sala |
Coercion-Resistant Blockchain-Based E-Voting Protocol. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
20 | Ran Canetti, Oxana Poburinnaya |
Towards Multiparty Computation Withstanding Coercion of All Parties. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
20 | Johannes Müller 0001 |
How not to VoteAgain: Pitfalls of Scalable Coercion-Resistant E-Voting. |
IACR Cryptol. ePrint Arch. |
2020 |
DBLP BibTeX RDF |
|
20 | Peter Matthew, Susan Canning |
An algorithmic approach for optimising biometric systems using liveness and coercion detection. |
Comput. Secur. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Rakesh Chaturvedi |
Fairness and partial coercion in land assembly. |
Games Econ. Behav. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ehab Zaghloul, Tongtong Li, Jian Ren 0001 |
Anonymous and Coercion-Resistant Distributed Electronic Voting. |
ICNC |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yanai Elazar, Victoria Basmova, Shauli Ravfogel, Yoav Goldberg, Reut Tsarfaty |
The Extraordinary Failure of Complement Coercion Crowdsourcing. |
Insights |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ran Canetti, Oxana Poburinnaya |
Towards Multiparty Computation Withstanding Coercion of All Parties. |
TCC (2) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Casper Justesen Bech |
The Need for Focused Research on Coercion, Deception and Manipulation in Persuasive Use of Social Media. |
PERSUASIVE (Adjunct) |
2020 |
DBLP BibTeX RDF |
|
20 | Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush |
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. |
E-VOTE-ID |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wouter Lueks, Iñigo Querejeta-Azurmendi, Carmela Troncoso |
VoteAgain: A scalable coercion-resistant voting system. |
USENIX Security Symposium |
2020 |
DBLP BibTeX RDF |
|
20 | Matheus O. L. de Sá, Roberto Araújo 0001, Alberto C. Lima Sobrinho, André Silva Neto, Gabriela S. Maximino, Jacques Traoré |
How colored passwords can improve the usability of coercion-resistant internet voting systems. |
IHC |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi |
Space-Efficient Gradual Typing in Coercion-Passing Style. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
20 | John Wrenn, Shriram Krishnamurthi |
Will Students Write Tests Early Without Coercion?✱. |
Koli Calling |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Mojgan Hashemian, Marta Couto, Samuel Mascarenhas, Ana Paiva 0001, Pedro Alexandre Santos, Rui Prada |
Persuasive Social Robots using Reward/Coercion Strategies. |
HRI (Companion) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Marwa Chaieb, Souheib Yousfi |
LOKI Vote: A Blockchain-Based Coercion Resistant E-Voting Protocol. |
EMCIS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Wenting Xue, Meichun Liu, Stephen Politzer-Ahles |
A Study of Complement Coercion in Mandarin Chinese: Evidence from an Acceptability Judgment Task. |
CLSW |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Alison Reiheld, Pamela L. Gay |
Coercion, Consent, and Participation in Citizen Science. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi |
Space-Efficient Gradual Typing in Coercion-Passing Style. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Peter B. Rønne, Arash Atashpendar, Kristian Gjøsteen, Peter Y. A. Ryan |
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Sarah Underwood |
The fine line between coercion and care. |
Commun. ACM |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ben Smyth |
Surveying definitions of coercion resistance. |
IACR Cryptol. ePrint Arch. |
2019 |
DBLP BibTeX RDF |
|