Search results for "Verifiability"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Olivier Pereira	Individual Verifiability and Revoting in the Estonian Internet Voting System.	Financial Cryptography Workshops	2022	DBLP DOI BibTeX RDF
19	Karlo Angelo F. Cabugwang, Raphael Christen K. Enriquez, Bienvenido E. Villabroza, Christian E. Pulmano	Towards the Development of a Blockchain System for Philippine Government Processes for Enhanced Transparency and Verifiability.	CENTERIS/ProjMAN/HCist	2022	DBLP DOI BibTeX RDF
19	Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann	Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.	PNSE@Petri Nets	2022	DBLP BibTeX RDF
19	Xiaolei Wang, Yang Wang, Mingqiang Wang	Lattice-Based Revocable Identity-Based Proxy Re-encryption with Re-encryption Verifiability.	WASA (1)	2022	DBLP DOI BibTeX RDF
19	Nicholas Brandt, Dennis Hofheinz, Julia Kastner, Akin Ünal	The Price of Verifiability: Lower Bounds for Verifiable Random Functions.	TCC (2)	2022	DBLP DOI BibTeX RDF
19	Paul Tim Thürwächter, Melanie Volkamer, Oksana Kulyk	Individual Verifiability with Return Codes: Manipulation Detection Efficacy.	E-Vote-ID	2022	DBLP DOI BibTeX RDF
19	Alisa Pankova, Jan Willemson	Relations Between Privacy, Verifiability, Accountability and Coercion-Resistance in Voting Protocols.	ACNS	2022	DBLP DOI BibTeX RDF
19	Thomas Attema, Vincent Dunning, Maarten H. Everts, Peter Langenkamp	Efficient Compiler to Covert Security with Public Verifiability for Honest Majority MPC.	ACNS	2022	DBLP DOI BibTeX RDF
19	Carsten Baum, Bernardo David, Rafael Dowsley	(Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge.	ProvSec	2022	DBLP DOI BibTeX RDF
19	Yi Liu 0053, Qi Wang 0012, Siu-Ming Yiu	Towards Practical Homomorphic Time-Lock Puzzles: Applicability and Verifiability.	ESORICS (1)	2022	DBLP DOI BibTeX RDF
19	Jiawen Xiong, Yong Shi 0010, Boyuan Chen 0002, Filipe Roseiro Côgo, Zhen Ming Jiang	Towards Build Verifiability for Java-based Systems.	ICSE (SEIP)	2022	DBLP DOI BibTeX RDF
19	Hitoshi Matsushima	Partial ex-post verifiability and unique implementation of social choice functions.	Soc. Choice Welf.	2021	DBLP DOI BibTeX RDF
19	Masao Ito	ODD description methods for automated driving vehicle and verifiability for safety.	J. Univers. Comput. Sci.	2021	DBLP DOI BibTeX RDF
19	Birgul Koc, Changhong Mou, Honghu Liu, Zhu Wang 0003, Gianluigi Rozza, Traian Iliescu	Verifiability of the Data-Driven Variational Multiscale Reduced Order Model.	CoRR	2021	DBLP BibTeX RDF
19	Thomas Haines, Rajeev Goré	Improved Verifiability for BeleniosVS.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Olivier Pereira	Individual Verifiability and Revoting in the Estonian Internet Voting System.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Provably Improving Election Verifiability in Belenios.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Peter Scholl, Mark Simkin 0001, Luisa Siniscalchi	Multiparty Computation with Covert Security and Public Verifiability.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Ashley Fraser, Lydia Garms, Anja Lehmann	Selectively Linkable Group Signatures - Stronger Security and Preserved Verifiability.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Alisa Pankova, Jan Willemson	Relations between Privacy, Verifiability, Accountability and Coercion-Resistance in Voting Protocols.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
19	Agostino Cortesi, Nabendu Chaki, Rituparna Chaki	Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors.	Innov. Syst. Softw. Eng.	2021	DBLP DOI BibTeX RDF
19	Dhruti Sharma, Devesh Jinwala	Simple index based symmetric searchable encryption with result verifiability.	Frontiers Comput. Sci.	2021	DBLP DOI BibTeX RDF
19	Faraz Masood, Arman Rasool Faridi	A Blockchain Framework to Increase the Security and Verifiability of Educational Certificates.	ACeS	2021	DBLP DOI BibTeX RDF
19	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.	CSF	2021	DBLP DOI BibTeX RDF
19	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Provably Improving Election Verifiability in Belenios.	E-VOTE-ID	2021	DBLP DOI BibTeX RDF
19	Marie-Laure Zollinger, Ehsan Estaji, Peter Y. A. Ryan, Karola Marky	"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability.	E-VOTE-ID	2021	DBLP DOI BibTeX RDF
19	Wen Shen 0002, Zhihua Wei, Shikun Huang, Binbin Zhang, Panyue Chen, Ping Zhao, Quanshi Zhang	Verifiability and Predictability: Interpreting Utilities of Network Architectures for Point Cloud Processing.	CVPR	2021	DBLP BibTeX RDF
19	Po-Chu Hsu, Atsuko Miyaji	Bidder Scalable M+1st-Price Auction with Public Verifiability.	TrustCom	2021	DBLP DOI BibTeX RDF
19	Xizhe Zhang, Siddartha Khastgir, Hamid Asgari, Paul A. Jennings	Test Framework for Automatic Test Case Generation and Execution Aimed at Developing Trustworthy AVs from Both Verifiability and Certifiability Aspects.	ITSC	2021	DBLP DOI BibTeX RDF
19	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
19	Ashley Fraser, Lydia Garms, Anja Lehmann	Selectively Linkable Group Signatures - Stronger Security and Preserved Verifiability.	CANS	2021	DBLP DOI BibTeX RDF
19	Jian-Feng Lin 0001, Jun-Rui Wang, Che-Chia Chang, Yu-Chi Chen	Designated Verifier Signature Transformation: A New Framework for One-Time Delegating Verifiability.	DSC	2021	DBLP DOI BibTeX RDF
19	Daniele Friolo	New perspectives in multi-party computation: low round complexity from new assumptions, financial fairness and public verifiability.		2021	RDF
19	Shufan Zhang, Lili Wang, Hu Xiong	Chaintegrity: blockchain-enabled large-scale e-voting system with robustness and universal verifiability.	Int. J. Inf. Sec.	2020	DBLP DOI BibTeX RDF
19	Ben Smyth	Surveying global verifiability.	Inf. Process. Lett.	2020	DBLP DOI BibTeX RDF
19	Jiguo Li 0001, Yao Wang, Yichen Zhang 0003, Jinguang Han	Full Verifiability for Outsourced Decryption in Attribute Based Encryption.	IEEE Trans. Serv. Comput.	2020	DBLP DOI BibTeX RDF
19	Binanda Sengupta, Sushmita Ruj	Efficient Proofs of Retrievability with Public Verifiability for Dynamic Cloud Storage.	IEEE Trans. Cloud Comput.	2020	DBLP DOI BibTeX RDF
19	Mahender Kumar, Satish Chand	A Secure and Efficient Cloud-Centric Internet-of-Medical-Things-Enabled Smart Healthcare System With Public Verifiability.	IEEE Internet Things J.	2020	DBLP DOI BibTeX RDF
19	Bo Zhang 0020	Comments on "Provably Secure Generalized Signcryption Scheme With Public Verifiability for Secure Data Transmission Between Resource-Constrained IoT Devices".	IEEE Internet Things J.	2020	DBLP DOI BibTeX RDF
19	Wenyi Tang, Bo Qin, Yanan Li 0007, Qianhong Wu	Functional Privacy-preserving Outsourcing Scheme with Computation Verifiability in Fog Computing.	KSII Trans. Internet Inf. Syst.	2020	DBLP DOI BibTeX RDF
19	Yu Zhan, Baocang Wang, Zheng Wang, Tao Pei, Yuan Chen 0008, Quanbo Qu, Zhili Zhang	Improved Proxy Re-Encryption With Delegatable Verifiability.	IEEE Syst. J.	2020	DBLP DOI BibTeX RDF
19	Christian Killer, Lucas Thorbecke, Bruno Rodrigues 0001, Eder J. Scheid, Muriel Figueredo Franco, Burkhard Stiller	Proverum: A Hybrid Public Verifiability and Decentralized Identity Management.	CoRR	2020	DBLP BibTeX RDF
19	Milan Ceska 0002, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar	Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits.	CoRR	2020	DBLP BibTeX RDF
19	Milan Ceska 0002, Jirí Matyás, Vojtech Mrazek, Lukás Sekanina, Zdenek Vasícek, Tomás Vojnar	Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits.	Appl. Soft Comput.	2020	DBLP DOI BibTeX RDF
19	Ben Smyth	Surveying global verifiability.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
19	Ivan Damgård, Claudio Orlandi, Mark Simkin 0001	Black-Box Transformations from Passive to Covert Security with Public Verifiability.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
19	Sevdenur Baloglu, Sergiu Bursuc, Sjouke Mauw, Jun Pang 0001	Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
19	Ben Smyth	Mind the Gap: Individual- and universal-verifiability plus cast-as-intended don't yield verifiable voting systems.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
19	Thomas Haines, Rajeev Goré, Jack Stodart	Machine-checking the universal verifiability of ElectionGuard.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
19	Carsten Baum, Emmanuela Orsini, Peter Scholl, Eduardo Soria-Vazquez	Efficient Constant-Round MPC with Identifiable Abort and Public Verifiability.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
19	Hammad Afzali, Santiago Torres-Arias, Reza Curtmola, Justin Cappos	Towards adding verifiability to web-based Git repositories.	J. Comput. Secur.	2020	DBLP DOI BibTeX RDF
19	Qingle Wang, Yuancheng Li, Chaohang Yu, Hui He, Kejia Zhang	Quantum anonymous ranking and selection with verifiability.	Quantum Inf. Process.	2020	DBLP DOI BibTeX RDF
19	Elias Rohrer, Steffen Heidel, Florian Tschorsch	Enabling Reference Verifiability for the World Wide Web with Webchain.	ACM Trans. Internet Techn.	2020	DBLP DOI BibTeX RDF
19	Marie-Laure Zollinger, Peter B. Rønne, Peter Y. A. Ryan	Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme.	Financial Cryptography Workshops	2020	DBLP DOI BibTeX RDF
19	Christian Killer, Bruno Rodrigues 0001, Raphael Matile, Eder J. Scheid, Burkhard Stiller	Design and implementation of cast-as-intended verifiability for a blockchain-based voting system.	SAC	2020	DBLP DOI BibTeX RDF
19	Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan	Universal Unconditional Verifiability in E-Voting without Trusted Parties.	CSF	2020	DBLP DOI BibTeX RDF
19	Miaomiao Tian 0001, Zhen Xie, Hong Zhong 0001, Zhili Chen	Lightweight Proofs of Storage with Public Verifiability from Lattices.	HPCC/DSS/SmartCity	2020	DBLP DOI BibTeX RDF
19	Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright	Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger.	ICDCS	2020	DBLP DOI BibTeX RDF
19	Luca Massarelli, Fabio Petroni, Aleksandra Piktus, Myle Ott, Tim Rocktäschel, Vassilis Plachouras, Fabrizio Silvestri, Sebastian Riedel 0001	How Decoding Strategies Affect the Verifiability of Generated Text.	EMNLP (Findings)	2020	DBLP DOI BibTeX RDF
19	Thomas Haines, Rajeev Goré, Jack Stodart	Machine-Checking the Universal Verifiability of ElectionGuard.	NordSec	2020	DBLP DOI BibTeX RDF
19	Ivan Damgård, Claudio Orlandi, Mark Simkin 0001	Black-Box Transformations from Passive to Covert Security with Public Verifiability.	CRYPTO (2)	2020	DBLP DOI BibTeX RDF
19	Carsten Baum, Emmanuela Orsini, Peter Scholl, Eduardo Soria-Vazquez	Efficient Constant-Round MPC with Identifiable Abort and Public Verifiability.	CRYPTO (2)	2020	DBLP DOI BibTeX RDF
19	Suzanne Scotchmer, Chris Shannon	Verifiability and group formation in markets.	J. Econ. Theory	2019	DBLP DOI BibTeX RDF
19	Hitoshi Matsushima	Implementation without expected utility: ex-post verifiability.	Soc. Choice Welf.	2019	DBLP DOI BibTeX RDF
19	Parvin Rastegari, Mohammad Dakhilalian, Mehdi Berenjkoub, Willy Susilo	Multi-designated verifiers signature schemes with threshold verifiability: generic pattern and a concrete scheme in the standard model.	IET Inf. Secur.	2019	DBLP DOI BibTeX RDF
19	Alzubair Hassan, Rafik Hamza, Hongyang Yan, Ping Li 0018	An Efficient Outsourced Privacy Preserving Machine Learning Scheme With Public Verifiability.	IEEE Access	2019	DBLP DOI BibTeX RDF
19	Arijit Karati, Chun-I Fan, Ruei-Hau Hsu	Provably Secure and Generalized Signcryption With Public Verifiability for Secure Data Transmission Between Resource-Constrained IoT Devices.	IEEE Internet Things J.	2019	DBLP DOI BibTeX RDF
19	Pratish Datta, Ratna Dutta, Sourav Mukhopadhyay	Constrained Pseudorandom Functions for Turing Machines Revisited: How to Achieve Verifiability and Key Delegation.	Algorithmica	2019	DBLP DOI BibTeX RDF
19	Luca Massarelli, Fabio Petroni, Aleksandra Piktus, Myle Ott, Tim Rocktäschel, Vassilis Plachouras, Fabrizio Silvestri, Sebastian Riedel 0001	How Decoding Strategies Affect the Verifiability of Generated Text.	CoRR	2019	DBLP BibTeX RDF
19	Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright	VMV: Augmenting an Internet Voting System with Selene Verifiability.	CoRR	2019	DBLP BibTeX RDF
19	Miriam Redi, Besnik Fetahu, Jonathan T. Morgan, Dario Taraborelli	Citation Needed: A Taxonomy and Algorithmic Assessment of Wikipedia's Verifiability.	CoRR	2019	DBLP BibTeX RDF
19	Keita Emura, Hayato Kimura 0002, Toshihiro Ohigashi, Tatsuya Suzuki 0002	Privacy-Preserving Aggregation of Time-Series Data with Public Verifiability from Simple Assumptions and Its Implementations.	Comput. J.	2019	DBLP DOI BibTeX RDF
19	Raphael Matile, Bruno Rodrigues 0001, Eder J. Scheid, Burkhard Stiller	CaIV: Cast-as-Intended Verifiability in Blockchain-based Voting.	IEEE ICBC	2019	DBLP DOI BibTeX RDF
19	Changsong Yang, Xiaoling Tao, Feng Zhao 0002, Yong Wang	A New Outsourced Data Deletion Scheme with Public Verifiability.	WASA	2019	DBLP DOI BibTeX RDF
19	Miriam Redi, Besnik Fetahu, Jonathan T. Morgan, Dario Taraborelli	Citation Needed: A Taxonomy and Algorithmic Assessment of Wikipedia's Verifiability.	WWW	2019	DBLP DOI BibTeX RDF
19	Véronique Cortier, Alicia Filipiak, Joseph Lallemand	BeleniosVS: Secrecy and Verifiability Against a Corrupted Voting Device.	CSF	2019	DBLP DOI BibTeX RDF
19	Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki	Verification of Verifiability of Voting Protocols by Strand Space Analysis.	ICSCA	2019	DBLP DOI BibTeX RDF
19	Mahroo Bahreinian, Roberto Tron	A Computational Theory of Robust Localization Verifiability in the Presence of Pure Outlier Measurements.	CDC	2019	DBLP DOI BibTeX RDF
19	Cheng Hong, Jonathan Katz, Vladimir Kolesnikov, Wen-jie Lu, Xiao Wang 0012	Covert Security with Public Verifiability: Faster, Leaner, and Simpler.	EUROCRYPT (3)	2019	DBLP DOI BibTeX RDF
19	Bernardo Ferreira, Bernardo Portela, Tiago Oliveira 0004, Guilherme Borges, Henrique João L. Domingos, João Leitão 0001	BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.	SRDS	2019	DBLP DOI BibTeX RDF
19	Yinghui Zhang 0002, Robert H. Deng, Jiangang Shu, Kan Yang 0001, Dong Zheng 0001	TKSE: Trustworthy Keyword Search Over Encrypted Data With Two-Side Verifiability via Blockchain.	IEEE Access	2018	DBLP DOI BibTeX RDF
19	Mridul Nandi, Tapas Pandit	Verifiability-based conversion from CPA to CCA-secure predicate encryption.	Appl. Algebra Eng. Commun. Comput.	2018	DBLP DOI BibTeX RDF
19	Shantanu Bhattacharya, Alok Gupta, Sameer Hasija	Single-Sourcing Versus Multisourcing: The Roles of Output Verifiability on Task Modularity.	MIS Q.	2018	DBLP BibTeX RDF
19	Konrad Hinsen	Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface.	PeerJ Comput. Sci.	2018	DBLP DOI BibTeX RDF
19	Edgardo Ferretti, Leticia C. Cagnina, Viviana Paiz, Sebastián Delle Donne, Rodrigo Zacagnini, Marcelo Errecalde	Quality flaw prediction in Spanish Wikipedia: A case of study with verifiability flaws.	Inf. Process. Manag.	2018	DBLP DOI BibTeX RDF
19	Chaoyue Niu, Minping Zhou, Zhenzhe Zheng, Fan Wu 0006, Guihai Chen	ERA: Towards Privacy Preservation and Verifiability for Online Ad Exchanges.	CoRR	2018	DBLP BibTeX RDF
19	Nicola Dimitri	A Characterization of Verifiability and Observability in Contracts.	IGTR	2018	DBLP DOI BibTeX RDF
19	Guilherme Borges, Henrique João L. Domingos, Bernardo Ferreira, João Leitão 0001, Tiago Oliveira 0004, Bernardo Portela	BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
19	Oksana Kulyk, Melanie Volkamer	Usability is not Enough: Lessons Learned from 'Human Factors in Security' Research for Verifiability.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
19	Ben Smyth	Verifiability of Helios Mixnet.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
19	Cheng Hong, Jonathan Katz, Vladimir Kolesnikov, Wen-jie Lu, Xiao Wang 0012	Covert Security with Public Verifiability: Faster, Leaner, and Simpler.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
19	David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi	Verifiability Analysis of CHVote.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
19	Zhiguo Wan, Robert H. Deng	VPSearch: Achieving Verifiability for Privacy-Preserving Multi-Keyword Search over Encrypted Cloud Data.	IEEE Trans. Dependable Secur. Comput.	2018	DBLP DOI BibTeX RDF
19	Véronique Cortier, Joseph Lallemand	Voting: You Can't Have Privacy without Individual Verifiability.	CCS	2018	DBLP DOI BibTeX RDF
19	Ben Smyth	Verifiability of Helios Mixnet.	Financial Cryptography Workshops	2018	DBLP DOI BibTeX RDF
19	Cong Li, Xiaoyuan Yang 0002, Yazhou Liu, Xu An Wang 0001	The CP-ABE with Full Verifiability Outsourced Decryption and White-Box Traceability.	ICCCS (3)	2018	DBLP DOI BibTeX RDF
19	Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi	Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios.	CSF	2018	DBLP DOI BibTeX RDF
19	Deepali Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni	Balancing Model Usability and Verifiability with SBVR and Answer Set Programming.	MoDELS (Workshops)	2018	DBLP BibTeX RDF
19	Clémentine Gritti, Rongmao Chen, Willy Susilo, Thomas Plantard	Dynamic Provable Data Possession Protocols with Public Verifiability and Data Privacy.	CoRR	2017	DBLP BibTeX RDF
19	Elizabeth A. Quaglia, Ben Smyth	A short introduction to secrecy and verifiability for elections.	CoRR	2017	DBLP BibTeX RDF