Search results for "verifiability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lucie Langer, Melanie Volkamer, Stefan G. Weber, Axel Schmidt, Johannes Buchmann	Towards long-term free and secret electronic elections providing voter-verifiability in the bulletin board model.	ICEGOV	2009	DBLP DOI BibTeX RDF	long-term anonymity, electronic voting, security requirements, verifiability
3	Sherman S. M. Chow, Siu-Ming Yiu, Lucas Chi Kwong Hui, K. P. Chow	Efficient Forward and Provably Secure ID-Based Signcryption Scheme with Public Verifiability and Public Ciphertext Authenticity.	ICISC	2003	DBLP DOI BibTeX RDF	Identity-based signcryption, public ciphertext authenticity, network security, provable security, firewalls, elliptic curve cryptosystems, public key cryptosystems, forward security, semantical security, cryptographic primitives, public verifiability
3	Byoungcheon Lee, Kwangjo Kim, Joongsoo Ma	Efficient Public Auction with One-Time Registration and Public Verifiability.	INDOCRYPT	2001	DBLP DOI BibTeX RDF	public auction, English auction, one-time registration, signature of knowledge, anonymous signature scheme, anonymity, hash chain, public verifiability
2	Zhuo Hao, Sheng Zhong, Nenghai Yu	A Privacy-Preserving Remote Data Integrity Checking Protocol with Data Dynamics and Public Verifiability.	IEEE Trans. Knowl. Data Eng.	2011	DBLP DOI BibTeX RDF	data dynamics, privacy, Data integrity, public verifiability
2	Ralf Küsters, Tomasz Truderung, Andreas Vogt	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
2	Qian Wang, Cong Wang, Jin Li, Kui Ren, Wenjing Lou	Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing.	ESORICS	2009	DBLP DOI BibTeX RDF
2	Yu-Fang Chung, Tzer-Shyong Chen, Yu-Ting Chen, Chiu-Chan Lee, Szu-Wen Wang	An Agent-Based English Auction Protocol Using Elliptic Curve Cryptosystem for Mobile Commerce.	ICA3PP	2009	DBLP DOI BibTeX RDF	English auction protocol, Mobile agent, anonymity, elliptic curve cryptosystem, public verifiability
2	Orhan Cetinkaya	Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract).	ARES	2008	DBLP DOI BibTeX RDF	e-voting requirements, voting problem, electronic voting, verifiability, receipt-freeness
2	Wen Chen 0001, Feiyu Lei	An Efficient Multi-sender Identity Based Threshold Signcryption with Public Verifiability.	PDCAT	2007	DBLP DOI BibTeX RDF
2	Sriperumbuduru Kandala Simhalu, Keiji Takeda	Browser Based Agile E-Voting System.	ASIAN	2007	DBLP DOI BibTeX RDF	Individual Verifiability, Agile Voting, Anonymity, E-Voting
2	Jun Furukawa, Kazue Sako	An Efficient Publicly Verifiable Mix-Net for Long Inputs.	Financial Cryptography	2006	DBLP DOI BibTeX RDF	Hybrid-mix, efficient, public verifiability, multiple encryption
2	Isamu Teranishi, Kazue Sako	k-Times Anonymous Authentication with a Constant Proving Cost.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF	k-times anonymous authentication, efficiency, public verifiability
2	Christian Bunse	Using patterns for the refinement and translationof UML models: A controlled experiment.	Empirical Software Engineering	2006	DBLP DOI BibTeX RDF	UML, Patterns, Empirical evaluation, Understandability, Verifiability
2	Antony Tang, Jun Han	Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness.	ECBS	2005	DBLP DOI BibTeX RDF
2	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Anonymous Payment in a Fair E-Commerce Protocol with Verifiable TTP.	TrustBus	2005	DBLP DOI BibTeX RDF	Electronic coins, Anonymity, Atomicity, Fair exchange, Verifiability
2	Changjie Wang, Ho-fung Leung	A Secure and Fully Private Borda Voting Protocol with Universal Verifiability.	COMPSAC	2004	DBLP DOI BibTeX RDF	Borda voting protocol, universal verification, Security, Privacy protection, Electronic voting, ElGamal encryption
2	Kun Peng, Colin Boyd, Ed Dawson, Byoungcheon Lee	An Efficient and Verifiable Solution to the Millionaire Problem.	ICISC	2004	DBLP DOI BibTeX RDF	millionaire problem, zero test, batch equation, efficiency, verifiability
2	Ik Rae Jeong, Hee Yun Jeong, Hyun Sook Rhee, Dong Hoon Lee, Jong In Lim	Provably Secure Encrypt-then-Sign Composition in Hybrid Signcryption.	ICISC	2002	DBLP DOI BibTeX RDF	encrypt-then-sign, authenticity, confidentiality, non-repudiation, signcryption, authenticated encryption, public verifiability
2	Jun Furukawa, Kazue Sako	An Efficient Scheme for Proving a Shuffle.	CRYPTO	2001	DBLP DOI BibTeX RDF	Universal Verifiability, Permutation, Electronic Voting, Mix-net
2	Masayuki Abe	Universally Verifiable Mix-net with Verification Work Indendent of the Number of Mix-servers.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Universal Verifiability, Electronic Voting, Mix-net
2	George J. Milne	Design for Verifiability.	Hardware Specification, Verification and Synthesis	1989	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Clash Attacks on the Verifiability of E-Voting Systems.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Daniel Lichtnow, Leandro Krug Wives, José Palazzo Moreira de Oliveira	Towards an Approach based on Verifiability Aspects to Help in the Quality Evaluation of Textual Web Pages.	WEBIST	2012	DBLP BibTeX RDF
1	Mihir R. Gohel, Bhavesh N. Gohil	A New Data Integrity Checking Protocol with Public Verifiability in Cloud Storage.	IFIPTM	2012	DBLP DOI BibTeX RDF
1	Jung Yeon Hwang	A note on an identity-based ring signature scheme with signer verifiability.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	S. Sree Vivek, S. Sharmila Deva Selvi, C. Pandu Rangan	Compact CCA-Secure Encryption with Ciphertext Verifiability.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	T. R. Srinath, Mahendra Pratap Singh, Alwyn Roshan Pais	Anonymity and verifiability in multi-attribute reverse auction	CoRR	2011	DBLP BibTeX RDF
1	Chenshu Wu, Zheng Yang, Tao Chen, Chao Zhang	Edge Verifiability: Characterizing Outlier Measurements for Wireless Sensor Network Localization.	MASS	2011	DBLP DOI BibTeX RDF
1	Zhiwei Weng, Jian Weng, Kai He, Yingkai Li	New Chosen Ciphertext Secure Public Key Encryption in the Standard Model with Public Verifiability.	ICIC	2011	DBLP DOI BibTeX RDF
1	Miroslaw Kutylowski, Przemyslaw Blaskiewicz, Lukasz Krzywiecki, Przemyslaw Kubiak, Wieslaw Paluszynski, Michal Tabor	Technical and Legal Meaning of "Sole Control" - Towards Verifiability in Signing Systems.	BIS (Workshops)	2011	DBLP DOI BibTeX RDF
1	Maina M. Olembo, Patrick Schmidt, Melanie Volkamer	Introducing Verifiability in the POLYAS Remote Electronic Voting System.	ARES	2011	DBLP DOI BibTeX RDF
1	Lucie Langer	Privacy and verifiability in electronic voting.		2010	RDF
1	David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman, Poorvi L. Vora	Corrections to scantegrity II: end-to-end verifiability by voters of optical scan elections through confirmation codes.	IEEE Transactions on Information Forensics and Security	2010	DBLP DOI BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Accountability: Definition and Relationship to Verifiability.	IACR Cryptology ePrint Archive	2010	DBLP BibTeX RDF
1	Jun Shao, Peng Liu, Jian Weng	CCA-Secure PRE Scheme without Public Verifiability.	IACR Cryptology ePrint Archive	2010	DBLP BibTeX RDF
1	Lucie Langer, Hugo Jonker, Wolter Pieters	Anonymity and Verifiability in Voting: Understanding (Un)Linkability.	ICICS	2010	DBLP DOI BibTeX RDF
1	Rojan Gharadaghy, Melanie Volkamer	Verifiability in Electronic Voting - Explanations for Non Security Experts.	Electronic Voting	2010	DBLP BibTeX RDF
1	Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh	Towards Automatic Analysis of Election Verifiability Properties.	ARSPA-WITS	2010	DBLP DOI BibTeX RDF
1	Mridul Nandi, Stefan Popoveniuc, Poorvi L. Vora	Stamp-It: A Method for Enhancing the Universal Verifiability of E2E Voting Systems.	ICISS	2010	DBLP DOI BibTeX RDF
1	S. Sharmila Deva Selvi, S. Sree Vivek, Sakhi S. Anand, C. Pandu Rangan	An Identity based Ring Signcryption Scheme with Public Verifiability.	SECRYPT	2010	DBLP BibTeX RDF
1	Ralf Küsters, Tomasz Truderung, Andreas Vogt	Accountability: definition and relationship to verifiability.	ACM Conference on Computer and Communications Security	2010	DBLP DOI BibTeX RDF
1	Steve Kremer, Mark Ryan, Ben Smyth	Election Verifiability in Electronic Voting Protocols.	ESORICS	2010	DBLP DOI BibTeX RDF
1	Lukasz Krzywiecki, Miroslaw Kutylowski	Lagrangian E-Voting: Verifiability on Demand and Strong Privacy.	TRUST	2010	DBLP DOI BibTeX RDF
1	Fahad Ahmed, Asif Masood, Firdous Kausar	An Efficient Multi Recipient Signcryption Scheme Offering Non Repudiation.	CIT	2010	DBLP DOI BibTeX RDF	Non-repudiation, Signcryption, Discrete Logarithm Problem, Public verifiability, Diffie-Hellman Problem
1	Tim DiLauro, Mark Cyzyk, Elliot Metsger, Mark Patton	Capturing and curating published data.	JCDL	2010	DBLP DOI BibTeX RDF	data publication, data services, scholarly communication, data curation, OAI-ORE
1	Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek	Developing safety critical Java applications with oSCJ/L0.	JTRES	2010	DBLP DOI BibTeX RDF	memory management, Java virtual machine, safety critical systems
1	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
1	Sandor M. Veres	Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space.	Brain-Inspired Information Technology	2010	DBLP DOI BibTeX RDF
1	David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman, Poorvi L. Vora	Scantegrity II: end-to-end verifiability by voters of optical scan elections through confirmation codes.	IEEE Transactions on Information Forensics and Security	2009	DBLP DOI BibTeX RDF
1	Qian Wang, Cong Wang, Jin Li, Kui Ren, Wenjing Lou	Enabling Public Verifiability and Data Dynamics for Storage Security.	IACR Cryptology ePrint Archive	2009	DBLP BibTeX RDF
1	David Chaum, Benjamin Hosp, Stefan Popoveniuc, Poorvi L. Vora	Accessible Voter-Verifiability.	Cryptologia	2009	DBLP DOI BibTeX RDF
1	Lucie Langer, Axel Schmidt, Melanie Volkamer, Johannes Buchmann	Classifying Privacy and Verifiability Requirements for Electronic Voting.	GI Jahrestagung	2009	DBLP BibTeX RDF
1	Chun-Ta Li, Min-Shiang Hwang, Yan-Chi Lai	A Verifiable Electronic Voting Scheme over the Internet.	ITNG	2009	DBLP DOI BibTeX RDF	Security, Electronic voting, Blind signature, Verifiability, Cryptosystem
1	Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula	Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols.	ARES	2009	DBLP DOI BibTeX RDF
1	B. R. Purushothama, Alwyn R. Pais	Design and Implementation of Secure Internet Based Voting System with User Anonymity Using Identity Based Encryption System.	IEEE SCC	2009	DBLP DOI BibTeX RDF
1	Mohsen Toorani, Ali Asghar Beheshti Shirazi	A directly public verifiable signcryption scheme based on elliptic curves.	ISCC	2009	DBLP DOI BibTeX RDF
1	Reinhard Schauer, Rudolf K. Keller	A case for concept programs.	ICPC	2009	DBLP DOI BibTeX RDF
1	Ramsés Morales, Indranil Gupta	AVMON: Optimal and Scalable Discovery of Consistent Availability Monitoring Overlays for Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
1	Kwang-Woo Lee, Yunho Lee, Seungjoo Kim, Dongho Won	A Practical Approach to a Reliable Electronic Election.	ICCSA	2009	DBLP DOI BibTeX RDF	paper receipt, cut-and-choose, electronic voting
1	Markus Rückert	Verifiably Encrypted Signatures from RSA without NIZKs.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Online contract signing, RSA, Merkle hash trees
1	S. Sharmila Deva Selvi, S. Sree Vivek, J. Shriram, S. Kalaivani, C. Pandu Rangan	Identity Based Aggregate Signcryption Schemes.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	Aggregate Signcryption, Provable Security, Bilinear Pairings, Random Oracle Model, Identity Based Cryptography
1	Qingshui Xue, Fengying Li, Yuan Zhou, Jiping Zhang, Zhenfu Cao, Haifeng Qian	An ECDLP-Based Threshold Proxy Signature Scheme Using Self-Certified Public Key System.	MobiSec	2009	DBLP DOI BibTeX RDF
1	Jeremy Clark, Urs Hengartner, Kate Larson	Not-So Hidden Information: Optimal Contracts for Undue Influence in E2E Voting Systems.	VOTE-ID	2009	DBLP DOI BibTeX RDF
1	Raymond Deneckere, Sergei Severinov	Mechanism design with partial state verifiability.	Games and Economic Behavior	2008	DBLP DOI BibTeX RDF
1	Yu-Fang Chung, Kuo-Hsuan Huang, Hsiu-Hui Lee, Feipei Lai, Tzer-Shyong Chen	Bidder-anonymous English auction scheme with privacy and public verifiability.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Santosh Kumar Yadav	Cryptographic Voter-Verifiability: Practical Approach.	Security and Management	2008	DBLP BibTeX RDF
1	Josh Benaloh	Administrative and Public Verifiability: Can We Have Both?	EVT	2008	DBLP BibTeX RDF
1	David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman	Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes.	EVT	2008	DBLP BibTeX RDF
1	Somayeh Heidarvand, Jorge L. Villar	Public Verifiability from Pairings in Secret Sharing Schemes.	Selected Areas in Cryptography	2008	DBLP DOI BibTeX RDF
1	Jeong Hyun Yi	Self-Configurable Authentication Mechanism with Verifiability in Wireless Ad Hoc Networks.	GLOBECOM	2008	DBLP DOI BibTeX RDF
1	Sherman S. M. Chow, Joseph K. Liu, Duncan S. Wong	Robust Receipt-Free Election System with Ballot Secrecy and Verifiability.	NDSS	2008	DBLP BibTeX RDF
1	Richard C. Ho, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, David E. Shaw	Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic.	DAC	2008	DBLP DOI BibTeX RDF	conditional coverage, inconclusive results, formal verification, code coverage, verifiability, coverage hole
1	André Zúquete, Filipe Almeida	Verifiable anonymous vote submission.	SAC	2008	DBLP DOI BibTeX RDF	innocuous vote receipt, anonymity, verifiability, e-voting, receipt-freeness
1	Ke Zeng	Publicly Verifiable Remote Data Integrity.	ICICS	2008	DBLP DOI BibTeX RDF	integrity, pairing, public verifiability, data outsourcing
1	Kamer Kaya, Ali Aydin Selçuk	A Verifiable Secret Sharing Scheme Based on the Chinese Remainder Theorem.	INDOCRYPT	2008	DBLP DOI BibTeX RDF	joint random secret sharing, Asmuth-Bloom secret sharing scheme, Chinese Remainder Theorem, Verifiability
1	Rui Lopes, Luís Carriço	On the credibility of wikipedia: an accessibility perspective.	WICOW	2008	DBLP DOI BibTeX RDF	hyperlinking quality, web science, wikipedia, web accessibility, information credibility
1	Eric Osterweil, Michael Ryan, Daniel Massey, Lixia Zhang	Quantifying the operational status of the DNSSEC deployment.	Internet Measurement Comference	2008	DBLP DOI BibTeX RDF	internet-scale security, measurement, metrics, dnssec
1	Jing Li, Aditya Bansal, Swaroop Ghosh, Kaushik Roy	An alternate design paradigm for low-power, low-cost, testable hybrid systems using scaled LTPS TFTs.	JETC	2008	DBLP DOI BibTeX RDF	Low-temperature polycrystalline silicon (LTPS), grain boundary (GB), inherent variation, thin-film transistor (TFT), generic, reconfigurable, hybrid system, BIST, DFT, 3D integration
1	Raylin Tso	Signcryption Scheme with Standardized Verification Algorithm.	APSCC	2008	DBLP DOI BibTeX RDF
1	Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He	Execution Semantics for rCOS.	APSEC	2008	DBLP DOI BibTeX RDF
1	Xiaofeng Wang, Liang Cao, Shangping Wang, Yaling Zhang	ID-Based Convertible Limited (Multi-)Verifier Signature Scheme.	CSSE	2008	DBLP DOI BibTeX RDF
1	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
1	Hovav Shacham, Brent Waters	Compact Proofs of Retrievability.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
1	Mingwu Zhang, Bo Yang, Shenglin Zhu, Wenzheng Zhang	Assertions Signcryption Scheme in Decentralized Autonomous Trust Environments.	ATC	2008	DBLP DOI BibTeX RDF	autonomous trust domain, privacy, Trust management, assertion, signcryption
1	Fengying Li, Qingshui Xue, Jiping Zhang, Zhenfu Cao	A Model of Bilinear-Pairings Based Designated-Verifier Proxy Signatue Scheme.	CollaborateCom	2008	DBLP DOI BibTeX RDF
1	Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri	Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.	ICICS	2008	DBLP DOI BibTeX RDF
1	Lukasz Nitschke	Secure Internet Voting Based on Paper Ballots.	ICISS	2008	DBLP DOI BibTeX RDF
1	Jia Yu, Fanyu Kong, Rong Hao, Xuliang Li	How to Publicly Verifiably Expand a Member without Changing Old Shares in a Secret Sharing Scheme.	ISI Workshops	2008	DBLP DOI BibTeX RDF	digital signature, forward security, bilinear maps, Computation Diffie-Hellman problem
1	Louise A. Dennis, Michael Fisher	Programming Verifiable Heterogeneous Agent Systems.	ProMAS	2008	DBLP DOI BibTeX RDF
1	Maider Huarte, Maria Madarieta, Iñaki Goirizelaia, Juan José Unzilla	An Analysis of Improvements for Voter Interfaces in Polling Station and Remote Electronic Voting Systems.	VISUAL	2008	DBLP DOI BibTeX RDF	electronic interfaces, hardware for handicapped, Electronic Voting Systems
1	Dimitrios Lekkas, Dimitris Gritzalis	Long-term verifiability of the electronic healthcare records' authenticity.	I. J. Medical Informatics	2007	DBLP DOI BibTeX RDF
1	Wu-Hon F. Leung	On the Verifiability of Programs Written in the Feature Language Extensions.	HASE	2007	DBLP DOI BibTeX RDF
1	Jens Groth, Steve Lu	A Non-interactive Shuffle with Pairing Based Verifiability.	ASIACRYPT	2007	DBLP DOI BibTeX RDF	Shuffle, mix-net, non-interactive zero-knowledge, bilinear group
1	Jordi Puiggali, Victor Morales-Rocha	Independent Voter Verifiability for Remote Electronic Voting.	SECRYPT	2007	DBLP BibTeX RDF
1	Shane Greenstein	Wagging Wikipedia's long tail.	IEEE Micro	2007	DBLP DOI BibTeX RDF	admins, John Huchra, Patrick Stewart, Wikipedia, economics, verifiability
1	Christophe Tartary, Josef Pieprzyk, Huaxiong Wang	Verifiable Multi-secret Sharing Schemes for Multiple Threshold Access Structures.	Inscrypt	2007	DBLP DOI BibTeX RDF	Threshold Access Structures, Share Verifiability, Keyed One-Way Functions, Chinese Remainder Theorem, Secret Sharing Scheme
1	Daniel V. Bailey, Dan Boneh, Eu-Jin Goh, Ari Juels	Covert channels in privacy-preserving identification systems.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	privacy, mobile, identification, covert channels, rfid
1	Tal Moran, Moni Naor	Split-ballot voting: everlasting privacy with distributed trust.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF
1	Pramod Chandraiah, Rainer Dömer	Pointer re-coding for creating definitive MPSoC models.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	re-coding, MPSoC, pointers, system specification