Search results for "verifiers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Fabien Laguillaumie, Damien Vergnaud	Multi-designated Verifiers Signatures.	ICICS	2004	DBLP DOI BibTeX RDF	multi-designated verifiers signatures, privacy of signers identity, bilinear maps, ring signatures, exact security
86	Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng	FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.	ARES	2009	DBLP DOI BibTeX RDF
74	Mike Burmester, Yvo Desmedt	Broadcast Interactive Proofs (Extended Abstract).	EUROCRYPT	1991	DBLP DOI BibTeX RDF
70	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	The open verifier framework for foundational verifiers.	TLDI	2005	DBLP DOI BibTeX RDF	language-based security, proof-carrying code, typed assembly language
70	Cynthia Dwork, Larry J. Stockmeyer	Finite State Verifiers I: The Power of Interaction.	J. ACM	1992	DBLP DOI BibTeX RDF	complexity theory, finite state automata, interactive proof systems, probabilistic automata, Arthur-Merlin games
70	Cynthia Dwork, Larry J. Stockmeyer	Zero-Knowledge With Finite State Verifiers.	CRYPTO	1988	DBLP DOI BibTeX RDF
58	Jan Camenisch, Anna Lysyanskaya	An Identity Escrow Scheme with Appointed Verifiers.	CRYPTO	2001	DBLP DOI BibTeX RDF	formal model for group signatures, group signatures, privacy protection, Identity escrow
49	Willy Susilo, Yi Mu 0001	Non-interactive Deniable Ring Authentication.	ICISC	2003	DBLP DOI BibTeX RDF	Ring signature schemes, non-interactive, ring-to-ring authentication, deniable
47	Mebae Ushida, Tetsuya Izu, Masahiko Takenaka, Kazuo Ohta	Multiple Designated Verifiers Signatures Reconsidered.	ARES	2010	DBLP DOI BibTeX RDF	multiple designated verifiers signature
47	Joe Kilian	Zero-knowledge with Log-Space Verifiers	FOCS	1988	DBLP DOI BibTeX RDF	language-recognition, log-space verifiers, probabilistic log-space automata, exponential-time languages, protocols, zero knowledge, interactive proof systems
45	Reynold Cheng, Jinchuan Chen, Mohamed F. Mokbel, Chi-Yin Chow	Probabilistic Verifiers: Evaluating Constrained Nearest-Neighbor Queries over Uncertain Data.	ICDE	2008	DBLP DOI BibTeX RDF
45	Sherman S. M. Chow	Identity-Based Strong Multi-Designated Verifiers Signatures.	EuroPKI	2006	DBLP DOI BibTeX RDF
45	Vaughan R. Pratt	On Specifying Verifiers.	POPL	1980	DBLP DOI BibTeX RDF
38	Klaus Meer	Transparent Long Proofs: A First PCP Theorem for NPR.	Found. Comput. Math.	2005	DBLP DOI BibTeX RDF	Real number complexity, Verifiers, Probabilistically checkable proofs
38	Eyal de Lara, Karin Petersen, Douglas B. Terry, Anthony LaMarca, James D. Thornton, Michael Salisbury, Paul Dourish, W. Keith Edwards, John Lamping	Caching Documents with Active Properties.	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	active properties (or metadata), notifiers, caching, documents, customization, verifiers
38	Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan	A Tight Characterization of NP with 3 Query PCPs.	FOCS	1998	DBLP DOI BibTeX RDF	Probabilistically Checkable Proofs (PCP), Proof composition, Two-prover one-round proof systems, Adaptive and non-adaptive verifiers, Completeness and soundness, Complexity Theory, Query complexity
37	Jacek Cichon, Marek Klonowski, Miroslaw Kutylowski	Distributed Verification of Mixing - Local Forking Proofs Model.	ACISP	2008	DBLP DOI BibTeX RDF	distributed system, anonymity, mix
37	Raylin Tso, Juan Manuel González Nieto, Takeshi Okamoto, Colin Boyd, Eiji Okamoto	Verifier-Key-Flexible Universal Designated-Verifier Signatures.	IMACC	2007	DBLP DOI BibTeX RDF	universal designated-verifier signature, verifier-key-flexible, random oracle, ECDSA
37	David A. Naumann	From Coupling Relations to Mated Invariants for Checking Information Flow.	ESORICS	2006	DBLP DOI BibTeX RDF
37	Mihir Bellare, Juan A. Garay, Tal Rabin	Batch Verification with Applications to Cryptography and Checking.	LATIN	1998	DBLP DOI BibTeX RDF
37	Volker Heun, Wolfgang Merkle, Ulrich Weigand	Proving the PCP-Theorem.	Lectures on Proof Verification and Approximation Algorithms	1997	DBLP DOI BibTeX RDF
37	Markus Jakobsson	Blackmailing using Undeniable Signatures.	EUROCRYPT	1994	DBLP DOI BibTeX RDF
37	Stephen S. Yau, Wonmo Hong	Verification of Concurrent Control Flow in Distributed Computer Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software design representation, fault-tolerance, Context-free grammar, control flow checking, distributed software
33	Dimitris Fotakis 0001, Paul G. Spirakis	(poly(log log n), poly(log log n))-Restricted Verifiers are Unlikely to Exist for Languages in NP.	MFCS	1996	DBLP DOI BibTeX RDF
33	Satyanarayana V. Lokam, Meena Mahajan, V. Vinay	Logspace Verifiers, NC, and NP.	ISAAC	1995	DBLP DOI BibTeX RDF
33	Yonatan Aumann, Uriel Feige	On Message Proof Systems with Known Space Verifiers.	CRYPTO	1993	DBLP DOI BibTeX RDF
33	Joe Kilian	Interactive Proofs with Provable Security Against Honest Verifiers.	CRYPTO	1990	DBLP DOI BibTeX RDF
26	Cynthia Dwork, Larry J. Stockmeyer	On the Power of 2-Way Probabilistic Finite State Automata (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	2PFA verifiers, 2-way probabilistic finite state automata, recognition power, nonregular language, exponential expected time, private randomization, public randomization, interactive proof systems
26	Anne Condon, Richard J. Lipton	On the Complexity of Space Bounded Interactive Proofs (Extended Abstract)	FOCS	1989	DBLP DOI BibTeX RDF	space bounded interactive proofs, finite-state verifiers, Markov chains, finite-state machines, upper bound, undecidable, interactive proof systems, recursively enumerable language
25	Jinchuan Chen, Reynold Cheng, Mohamed F. Mokbel, Chi-Yin Chow	Scalable processing of snapshot and continuous nearest-neighbor queries over one-dimensional uncertain data.	VLDB J.	2009	DBLP DOI BibTeX RDF	Probabilistic nearest-neighbor query, Partial evaluation, Continuous query, Uncertain data, Incremental evaluation
25	Riccardo Bresciani, Andrew Butterfield	Weakening the Dolev-Yao model through probability.	SIN	2009	DBLP DOI BibTeX RDF	protocol verification
25	Benoît Libert, Damien Vergnaud	Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Model.	CANS	2009	DBLP DOI BibTeX RDF	verifier-local revocation, backward unlinkability, Group signatures, standard model, bilinear maps
25	Frédéric Vogels, Bart Jacobs 0002, Frank Piessens	A Machine Checked Soundness Proof for an Intermediate Verification Language.	SOFSEM	2009	DBLP DOI BibTeX RDF
25	Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam	Precise Concurrent Zero Knowledge.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
25	Adrian Leung, Liqun Chen 0002, Chris J. Mitchell	On a Possible Privacy Flaw in Direct Anonymous Attestation (DAA).	TRUST	2008	DBLP DOI BibTeX RDF	Direct Anonymous Attestation, Privacy, Trusted Computing, DAA
25	Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum	Delegating computation: interactive proofs for muggles.	STOC	2008	DBLP DOI BibTeX RDF	muggles, delegation, interactive proofs
25	Ernie Brickell, Jiangtao Li 0001	Enhanced privacy id: a direct anonymous attestation scheme with enhanced revocation capabilities.	WPES	2007	DBLP DOI BibTeX RDF	privacy, anonymity, cryptographic protocols, trusted computing
25	Vitaly Shmatikov, Ming-Hsiu Wang	Secure Verification of Location Claims with Simultaneous Distance Modification.	ASIAN	2007	DBLP DOI BibTeX RDF
25	Naiyong Jin, Chengjie Shen	Dynamic Verifying The Properties of The Simple Subset of PSL.	TASE	2007	DBLP DOI BibTeX RDF
25	Najwa Aaraj, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha	Architectures for efficient face authentication in embedded systems.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
25	Anantharaman Lakshminarayanan, Tong-Lee Lim	Augmented Certificate Revocation Lists.	ACISP	2006	DBLP DOI BibTeX RDF
25	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang	Restricted Universal Designated Verifier Signature.	UIC	2006	DBLP DOI BibTeX RDF
25	Yi-Hwa Chen, Jinn-ke Jan	Enhancement of digital signature with message recovery using self-certified public keys and its variants.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	self-certified public key, authenticated encryption, forward secrecy
25	Matt Lepinski, Silvio Micali, Abhi Shelat	Fair-Zero Knowledge.	TCC	2005	DBLP DOI BibTeX RDF
25	Michael Beattie, B. V. K. Vijaya Kumar, Simon Lucey, Ozan K. Tonguz	Combining Verification Decisions in a Multi-vendor Environment.	AVBPA	2005	DBLP DOI BibTeX RDF
25	Tetsuya Izu, Nobuyuki Kanaya, Masahiko Takenaka, Takashi Yoshioka	PIATS: A Partially Sanitizable Signature Scheme.	ICICS	2005	DBLP DOI BibTeX RDF	Sanitizable signature scheme, partial integrity, privacy
25	Albert Levi, M. Ufuk Çaglayan, Çetin Kaya Koç	Use of nested certificates for efficient, dynamic, and trust preserving public key infrastructure.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	nested certificates, key management, public key infrastructure, Digital certificates
25	Dan Boneh, Hovav Shacham	Group signatures with verifier-local revocation.	CCS	2004	DBLP DOI BibTeX RDF	trusted computing, group signatures, revocation
25	Philip W. L. Fong, Robert D. Cameron	Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
25	Vighneswara Row Mokkarala, Antony Fan, Ravi Apte	A unified approach to simulation and timing verification at the functional level.	DAC	1985	DBLP DOI BibTeX RDF
21	Alon Jacovi, Yonatan Bitton, Bernd Bohnet, Jonathan Herzig, Or Honovich, Michael Tseng, Michael Collins 0001, Roee Aharoni, Mor Geva	A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains.	CoRR	2024	DBLP DOI BibTeX RDF
21	Arian Hosseini, Xingdi Yuan, Nikolay Malkin, Aaron C. Courville, Alessandro Sordoni, Rishabh Agarwal	V-STaR: Training Verifiers for Self-Taught Reasoners.	CoRR	2024	DBLP DOI BibTeX RDF
21	Kyosuke Yamashita, Keisuke Hara	On the Black-Box impossibility of multi-designated verifiers signature schemes from ring signature schemes.	J. Math. Cryptol.	2024	DBLP DOI BibTeX RDF
21	Thibault Dardinier, Gaurav Parthasarathy, Peter Müller 0001	Verification-Preserving Inlining in Automatic Separation Logic Verifiers.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	M. Utkan Gezer, Özdeniz Dolu, Nevzat Ersoy, A. C. Cem Say	Real-time, constant-space, constant-randomness verifiers.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
21	Kevin Matthe Caramancion	News Verifiers Showdown: A Comparative Performance Evaluation of ChatGPT 3.5, ChatGPT 4.0, Bing AI, and Bard in News Fact-Checking.	CoRR	2023	DBLP DOI BibTeX RDF
21	Fei Yu, Anningzhe Gao, Benyou Wang	Outcome-supervised Verifiers for Planning in Mathematical Reasoning.	CoRR	2023	DBLP DOI BibTeX RDF
21	Raya Elsaleh, Guy Katz	DelBugV: Delta-Debugging Neural Network Verifiers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li 0005	ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.	CoRR	2023	DBLP DOI BibTeX RDF
21	Daman Arora, Subbarao Kambhampati	Learning and Leveraging Verifiers to Improve Planning Capabilities of Pre-trained Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
21	M. Utkan Gezer, A. C. Cem Say	Finite state verifiers with both private and public coins.	CoRR	2023	DBLP DOI BibTeX RDF
21	Yunyun Qu, Jiwen Zeng	Identity-based ring signature scheme with multi-designated verifiers.	Int. J. Ad Hoc Ubiquitous Comput.	2023	DBLP DOI BibTeX RDF
21	Kyosuke Yamashita, Keisuke Hara	On the Black-Box Impossibility of Multi-Designated Verifiers Signature Schemes from Ring Signature Schemes.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
21	Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001	Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version).	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
21	David W. Chadwick, Michael Kubach, Ioram Schechtman Sette, Isaac Henderson Johnson Jeyakumar	Establishing Trust in SSI Verifiers.	Open Identity Summit	2023	DBLP DOI BibTeX RDF
21	Dirk Beyer 0001, Jan Haltermann, Thomas Lemberger 0002, Heike Wehrheim	Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.	Software Engineering	2023	DBLP BibTeX RDF
21	M. Utkan Gezer, A. C. Cem Say	Finite State Verifiers with Both Private and Public Coins.	ICTCS	2023	DBLP BibTeX RDF
21	Lukas Armborst, Sophie Lathouwers, Marieke Huisman	Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.	iFM	2023	DBLP DOI BibTeX RDF
21	Marek Chalupa, Thomas A. Henzinger	Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution).	TACAS (2)	2023	DBLP DOI BibTeX RDF
21	Owen Millwood, Hongming Fei, Prosanta Gope, Oguz Narli, Meltem Kurt Pehlivanoglu, Elif Bilge Kavun, Biplab Sikdar 0001	A Privacy-Preserving Protocol Level Approach to Prevent Machine Learning Modelling Attacks on PUFs in the Presence of Semi-Honest Verifiers.	HOST	2023	DBLP DOI BibTeX RDF
21	Kexun Zhang, Danqing Wang, Jingtao Xia, William Yang Wang, Lei Li 0005	ALGO: Synthesizing Algorithmic Programs with Generated Oracle Verifiers.	NeurIPS	2023	DBLP BibTeX RDF
21	Raya Elsaleh, Guy Katz	DelBugV: Delta-Debugging Neural Network Verifiers.	FMCAD	2023	DBLP DOI BibTeX RDF
21	Florian Dyck, Cedric Richter, Heike Wehrheim	Robustness Testing of Software Verifiers.	SEFM	2023	DBLP DOI BibTeX RDF
21	Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say	Real-Time, Constant-Space, Constant-Randomness Verifiers.	CoRR	2022	DBLP DOI BibTeX RDF
21	Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi 0001, Ekaterina Komendantskaya	Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.	CoRR	2022	DBLP BibTeX RDF
21	Thibault Dardinier, Gaurav Parthasarathy, Peter Müller 0001	Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version).	CoRR	2022	DBLP DOI BibTeX RDF
21	Xuan Xie, Fuyuan Zhang	DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration.	CoRR	2022	DBLP BibTeX RDF
21	Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann	Sapic+: protocol verifiers of the world, unite!	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
21	Kang Yang 0002, Xiao Wang 0012	Non-Interactive Zero-Knowledge Proofs to Multiple Verifiers.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
21	M. Utkan Gezer, A. C. Cem Say	Constant-space, constant-randomness verifiers with arbitrarily small error.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
21	Ranjit Jhala	Embedded Domain Specific Verifiers.	Principles of Systems Design	2022	DBLP DOI BibTeX RDF
21	Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann	SAPIC+: protocol verifiers of the world, unite!	USENIX Security Symposium	2022	DBLP BibTeX RDF
21	Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say	Real-Time, Constant-Space, Constant-Randomness Verifiers.	CIAA	2022	DBLP DOI BibTeX RDF
21	Kang Yang 0002, Xiao Wang 0012	Non-interactive Zero-Knowledge Proofs to Multiple Verifiers.	ASIACRYPT (3)	2022	DBLP DOI BibTeX RDF
21	Tong Wu, Peter Schrammel, Lucas C. Cordeiro	Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).	TACAS (2)	2022	DBLP DOI BibTeX RDF
21	Sophie Lathouwers, Marieke Huisman	Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers.	FormaliSE@ICSE	2022	DBLP DOI BibTeX RDF
21	Dirk Beyer 0001, Martin Spiessl, Sven Umbricht	Cooperation Between Automatic and Interactive Software Verifiers.	SEFM	2022	DBLP DOI BibTeX RDF
21	Dirk Beyer 0001, Sudeep Kanav, Cedric Richter	Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.	FASE	2022	DBLP DOI BibTeX RDF
21	Yun-Hsin Chuang, Chin-Laung Lei	PUF Based Authenticated Key Exchange Protocol for IoT Without Verifiers and Explicit CRPs.	IEEE Access	2021	DBLP DOI BibTeX RDF
21	Guangwei Xu, Miaolin Lai, Xiangyang Feng, Qiubo Huang, Xin Luo, Li Li, Shan Li	Verification Algorithm for the Duplicate Verification Data with Multiple Verifiers and Multiple Verification Challenges.	KSII Trans. Internet Inf. Syst.	2021	DBLP DOI BibTeX RDF
21	Inbar Kaslasi, Ron Rothblum, Prashant Nalini Vasudevan	Public-Coin Statistical Zero-Knowledge Batch Verification against Malicious Verifiers.	Electron. Colloquium Comput. Complex.	2021	DBLP BibTeX RDF
21	Aliya Khadieva, Abuzer Yakaryilmaz	Affine automata verifiers.	CoRR	2021	DBLP BibTeX RDF
21	Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, Mark Chen 0003, Heewoo Jun, Lukasz Kaiser, Matthias Plappert, Jerry Tworek, Jacob Hilton, Reiichiro Nakano, Christopher Hesse, John Schulman	Training Verifiers to Solve Math Word Problems.	CoRR	2021	DBLP BibTeX RDF
21	Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001	Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers.	CoRR	2021	DBLP BibTeX RDF
21	Inbar Kaslasi, Ron D. Rothblum, Prashant Nalini Vasudevan	Public-Coin Statistical Zero-Knowledge Batch Verification against Malicious Verifiers.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
21	Marco Eilers, Severin Meier, Peter Müller 0001	Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security.	CAV (1)	2021	DBLP DOI BibTeX RDF
21	Abhijit Mudigonda, R. Ryan Williams	Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers.	ITCS	2021	DBLP DOI BibTeX RDF
21	Alexandra Bugariu, Arshavir Ter-Gabrielyan, Peter Müller 0001	Identifying Overly Restrictive Matching Patterns in SMT-Based Program Verifiers.	FM	2021	DBLP DOI BibTeX RDF
21	Weiquan Ni, Jiawen Kang, Carsten Maple, Zehui Xiong, Alia Asheralieva	Fast and Secure Consortium Blockchains with Lightweight Block Verifiers.	BCCA	2021	DBLP DOI BibTeX RDF
21	Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev	Metha: Network Verifiers Need To Be Correct Too!	NSDI	2021	DBLP BibTeX RDF