Search results for "coercion"

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