Search results for "Verifier"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001	Universal Designated Verifier Signature Without Delegatability.	ICICS	2006	DBLP DOI BibTeX RDF	Universal Designated Verifier Signatures, Non-delegatability, Bilinear Pairings, Designated Verifier Signatures
118	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang	Short (Identity-Based) Strong Designated Verifier Signature Schemes.	ISPEC	2006	DBLP DOI BibTeX RDF	strong designated verifier signature scheme, random oracle model, short signature, identity based, designated verifier signature
100	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
91	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang	Certificateless Designated Verifier Signature Schemes.	AINA (2)	2006	DBLP DOI BibTeX RDF	Designated Verifier, Gap Bilinear Diffie-Hellman Problem, Certificateless Cryptography
83	Helger Lipmaa, Guilin Wang, Feng Bao 0001	Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction.	ICALP	2005	DBLP DOI BibTeX RDF	Designated verifier signature scheme, non-delegatability, non-programmable random oracle model, signature scheme
75	Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001	Secure universal designated verifier signature without random oracles.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Universal designated verifier signature, Gap Bilinear Diffie Hellman problem, Security analysis, Random oracle
75	Yong Li 0002, Helger Lipmaa, Dingyi Pei	On Delegatability of Four Designated Verifier Signatures.	ICICS	2005	DBLP DOI BibTeX RDF	non-delegatability, Designated verifier signatures
73	Xiaofeng Wang, Liang Cao, Shangping Wang, Yaling Zhang	ID-Based Convertible Limited (Multi-)Verifier Signature Scheme.	CSSE (3)	2008	DBLP DOI BibTeX RDF
73	Joonsang Baek, Reihaneh Safavi-Naini, Willy Susilo	Universal Designated Verifier Signature Proof (or How to Efficiently Prove Knowledge of a Signature).	ASIACRYPT	2005	DBLP DOI BibTeX RDF
67	Chunbo Ma, Jun Ao, Jianhua Li 0001	A Novel Verifier-Based Authenticated Key Agreement Protocol.	ICIC (3)	2007	DBLP DOI BibTeX RDF	Two-Party, Password, Key Agreement, Verifier
67	Fabien Laguillaumie, Damien Vergnaud	Designated Verifier Signatures: Anonymity and Efficient Construction from Any Bilinear Map.	SCN	2004	DBLP DOI BibTeX RDF	Privacy of signers identity, Bilinear Diffie-Hellman problems, Exact security, Designated verifier signatures, Tight reduction
67	Jeung-Bo Cho, Min-Soo Jung	A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF	Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
67	Shahrokh Saeednia, Steve Kremer, Olivier Markowitch	An Efficient Strong Designated Verifier Signature Scheme.	ICISC	2003	DBLP DOI BibTeX RDF	Designated verifier, Signature, Discrete logarithm, Signcryption
65	K. Subramani 0001	A Randomized Algorithm for BBCSPs in the Prover-Verifier Model.	ICTAC	2007	DBLP DOI BibTeX RDF
65	Jianhong Zhang, Hu'an Li, Jilin Wang	A Convertible Limited Verifier Signature Scheme.	WAIM	2005	DBLP DOI BibTeX RDF
65	Andrea Oermann, Andreas Lang 0001, Jana Dittmann	Verifier-tuple for audio-forensic to determine speaker environment.	MM&Sec	2005	DBLP DOI BibTeX RDF	concept of content analysis, forensic analysis of digital multimedia
65	Xiaofeng Chen 0001, Fangguo Zhang, Kwangjo Kim	Limited Verifier Signature from Bilinear Pairings.	ACNS	2004	DBLP DOI BibTeX RDF
65	Jonas Holmerin, Subhash Khot	A new PCP outer verifier with applications to homogeneous linear equations and max-bisection.	STOC	2004	DBLP DOI BibTeX RDF	max-bisection, hardness of approximation, linear equations, PCPs
65	Markus Jakobsson, Kazue Sako, Russell Impagliazzo	Designated Verifier Proofs and Their Applications.	EUROCRYPT	1996	DBLP DOI BibTeX RDF
64	Ivan Damgård, Oded Goldreich 0001, Tatsuaki Okamoto, Avi Wigderson	Honest Verifier vs Dishonest Verifier in Public Coin Zero-Knowledge Proofs.	CRYPTO	1995	DBLP DOI BibTeX RDF
60	Futoshi Iwama, Naoki Kobayashi 0001	A New Type System for JVM Lock Primitives.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
58	Jin Li 0002, Yanming Wang	Universal Designated Verifier Ring Signature (Proof) Without Random Oracles.	EUC Workshops	2006	DBLP DOI BibTeX RDF	Universal Designated verifier, Bilinear Pairings, Ring signature
58	Hubie Chen	Inverse NP Problems.	MFCS	2003	DBLP DOI BibTeX RDF
56	Jianhong Zhang	An Improved Designated-Verifier Proxy Signature Scheme.	IEEE NAS	2007	DBLP DOI BibTeX RDF
56	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
56	Tianjie Cao, Dongdai Lin, Rui Xue 0001	Universal Designated-Verifier Proxy Blind Signatures for E-Commerce.	CIS (2)	2005	DBLP DOI BibTeX RDF
56	Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco	Fixing the Java bytecode verifier by a suitable type domain.	SEKE	2002	DBLP DOI BibTeX RDF
56	Frédéric Painchaud, Mourad Debbabi	On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier.	WETICE	2000	DBLP DOI BibTeX RDF
56	Giovanni Di Crescenzo, Tatsuaki Okamoto, Moti Yung	Keeping the SZK-Verifier Honest Unconditionally.	CRYPTO	1997	DBLP DOI BibTeX RDF
56	Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka	A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio.	CAV	1990	DBLP DOI BibTeX RDF
51	Eun-Jun Yoon, Kee-Young Yoo	Various Types of Attacks and Solutions Regarding Secure Remote User Access over Insecure Networks.	ICCSA (1)	2006	DBLP DOI BibTeX RDF	Cryptography, Network security, Hash function, Password authentication, Diffie-Hellman, Stolen-verifier attack
51	Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu 0004	Some Observations on Zap and Its Applications.	ACNS	2004	DBLP DOI BibTeX RDF	Zap, public-coin honest verifier zero-knowledge, deniable authentication, timed commitment, witness indistinguishability
50	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
50	Yaling Zhang, Jing Zhang, Yikun Zhang	Multi-signers Strong Designated Verifier Signature Scheme.	SNPD	2008	DBLP DOI BibTeX RDF	Multi-signers, Designated Verifier Signature
50	Fabien Laguillaumie, Damien Vergnaud	On the Soundness of Restricted Universal Designated Verifier Signatures and Dedicated Signatures.	ISC	2007	DBLP DOI BibTeX RDF	Universal designated verifier signatures, zero-knowledge proof, Elgamal signatures
50	Sujing Zhou, Dongdai Lin	Shorter Verifier-Local Revocation Group Signatures from Bilinear Maps.	CANS	2006	DBLP DOI BibTeX RDF	LRSW Assumption, Verifier-Local Revocation, Group Signature, Bilinear Map
50	Raylin Tso, Takeshi Okamoto, Eiji Okamoto	Practical Strong Designated Verifier Signature Schemes Based on Double Discrete Logarithms.	CISC	2005	DBLP DOI BibTeX RDF	CDH assumption, DDH assumption, double discrete logarithm, one-way two-party authenticated key agreement, privacy, designated verifier signature
49	Lars Engebretsen, Jonas Holmerin	More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP.	STACS	2005	DBLP DOI BibTeX RDF
49	Yonatan Aumann, Uriel Feige	On Message Proof Systems with Known Space Verifiers.	CRYPTO	1993	DBLP DOI BibTeX RDF
48	Bo Zhang 0020, Qiuliang Xu	A Strong Designated-verifier Proxy Signature Scheme.	WKDD	2009	DBLP DOI BibTeX RDF
48	Sean Hallgren, Alexandra Kolla, Pranab Sen, Shengyu Zhang	Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks.	ICALP (2)	2008	DBLP DOI BibTeX RDF
48	Siamak Fayyaz Shahandashti, Reihaneh Safavi-Naini	Construction of Universal Designated-Verifier Signatures and Identity-Based Signatures from Standard Signatures.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF
48	Ron Steinfeld, Huaxiong Wang, Josef Pieprzyk	Efficient Extension of Standard Schnorr/RSA Signatures into Universal Designated-Verifier Signatures.	Public Key Cryptography	2004	DBLP DOI BibTeX RDF
48	Stephen N. Freund, John C. Mitchell	A Type System for the Java Bytecode Language and Verifier.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	type systems, Java Virtual Machine, bytecode verification
48	Ron Steinfeld, Laurence Bull, Huaxiong Wang, Josef Pieprzyk	Universal Designated-Verifier Signatures.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
48	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
48	Nam Ling	A special purpose formal verifier for systolic designs in DSP applications.	J. VLSI Signal Process.	1995	DBLP DOI BibTeX RDF
43	Jens Groth	Linear Algebra with Sub-linear Zero-Knowledge Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF	Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability
41	Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum	Delegating computation: interactive proofs for muggles.	STOC	2008	DBLP DOI BibTeX RDF	muggles, delegation, interactive proofs
41	Marek Klonowski, Przemyslaw Kubiak 0001, Miroslaw Kutylowski, Anna Lauks	How to Protect a Signature from Being Shown to a Third Party.	TrustBus	2006	DBLP DOI BibTeX RDF
41	Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti	Improved Setup Assumptions for 3-Round Resettable Zero Knowledge.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
41	Qiming Li, Ee-Chien Chang	Public Watermark Detection Using Multiple Proxies and Secret Sharing.	IWDW	2003	DBLP DOI BibTeX RDF
41	John Watrous	imits on the Power of Quantum Statistical Zero-Knowledge.	FOCS	2002	DBLP DOI BibTeX RDF
41	Raymie Stata, Martín Abadi	A Type System for Java Bytecode Subroutines.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	Java, Java, bytecode verification
41	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
40	Yanping Li, Liaojun Pang, Yuming Wang	Attacks on a Universal Designated Verifier Signature Scheme.	IAS	2009	DBLP DOI BibTeX RDF
40	Pairat Thorncharoensri, Willy Susilo, Yi Mu 0001	Universal Designated Verifier Signatures with Threshold-Signers.	IWSEC	2009	DBLP DOI BibTeX RDF
40	Wenmin Li 0001, Qiao-Yan Wen	Efficient Verifier-Based Password-Authentication Key Exchange Protocol via Elliptic Curves.	CSSE (3)	2008	DBLP DOI BibTeX RDF
40	Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl	An Information Flow Verifier for Small Embedded Systems.	WISTP	2007	DBLP DOI BibTeX RDF	class loading, information flow, confidentiality, type checking
40	Jeong Ok Kwon, Kouichi Sakurai, Dong Hoon Lee 0001	One-Round Protocol for Two-Party Verifier-Based Password-Authenticated Key Exchange.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF
40	Ching Yu Ng, Willy Susilo, Yi Mu 0001	Universal Designated Multi Verifier Signature Schemes.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
40	Xinyi Huang 0001, Yi Mu 0001, Willy Susilo, Futai Zhang	Short Designated Verifier Proxy Signature from Pairings.	EUC Workshops	2005	DBLP DOI BibTeX RDF	Authentication, Pairings, Proxy Signature, Short Signature
40	Willy Susilo, Fangguo Zhang, Yi Mu 0001	Identity-Based Strong Designated Verifier Signature Schemes.	ACISP	2004	DBLP DOI BibTeX RDF
40	Robert F. Stärk, Joachim Schmid 0001	Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, bytecode verification, certifying compilation
40	Jeung-Bo Cho, Min-Soo Jung, Sung-Ik Jun	An Efficient Small Sized On-Card Verifier for Java Card.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
40	Ludovic Casset, Lilian Burdy, Antoine Requet	Formal Development of an Embedded Verifier for Java Card Byte Code.	DSN	2002	DBLP DOI BibTeX RDF
40	Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu	A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.	CAV	1997	DBLP DOI BibTeX RDF
40	David C. Luckham	A brief account: Implementation and applications of a Pascal program verifier (Position Statement).	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Pascal
37	Venkatesan Guruswami, Johan Håstad, Madhu Sudan 0001	Hardness of Approximate Hypergraph Coloring.	FOCS	2000	DBLP DOI BibTeX RDF	approximate hypergraph coloring, covering complexity, probabilistic verifier, PCP verifier, 2-colorable 4-uniform hypergraph, hardness assumption, computational complexity, computational geometry, minimisation, graph colouring, hardness, minimization problems
35	Siamak Fayyaz Shahandashti, Reihaneh Safavi-Naini, Joonsang Baek	Concurrently-secure credential ownership proofs.	AsiaCCS	2007	DBLP DOI BibTeX RDF	identity-based cryptography, signature schemes, identification schemes, credential systems, designated-verifier signatures
35	Wei-Chi Ku, Min-Hung Chiang, Shen-Tien Chang	Weaknesses of Yoon-Ryu-Yoo's hash-based password authentication scheme.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF	hash function, password authentication, guessing attack, denial-of-service attack, stolen-verifier attack
35	Wei-Chi Ku, Hao-Chuan Tsai, Shuai-Min Chen	Two simple attacks on Lin-Shen-Hwang's strong-password authentication protocol.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	strong password, password authentication, replay attack, denial-of-service attack, stolen-verifier attack
35	Byoungcheon Lee, Colin Boyd, Ed Dawson, Kwangjo Kim, Jeongmo Yang, Seungjae Yoo	Providing Receipt-Freeness in Mixnet-Based Voting Protocols.	ICISC	2003	DBLP DOI BibTeX RDF	Mixnet, Designated-verifier re-encryption proof, Tamper resistant randomizer, Electronic voting, Receipt-freeness, Re-encryption
35	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
35	Dzung T. Hoang, Jeffrey Scott Vitter, Elliot L. Linzer	Lexicographic Bit Allocation for MPEG Video Coding.	ICIP (1)	1997	DBLP DOI BibTeX RDF	MPEG video coding, lexicographic bit allocation, MPEG video coder, visual quality equalisation, coded pictures, channel constraints, video buffering verifier, bit production model, input pictures, bit-rate constraints, optimal lexicographic criterion, decoder model, perceptual quantisation, efficient algorithms, sufficient condition, code standards, pictures, necessary condition, buffer constraints, MPEG standards
35	David P. Jablon	Extended Password Key Exchange Protocols Immune to Dictionary Attacks.	WETICE	1997	DBLP DOI BibTeX RDF	extended password key exchange protocols, stored password-verifier, Simple Password Exponential Key Exchange, intranet use, Internet, Internet, authentication, dictionary attack
35	Jin Yang, Aloysius K. Mok, Douglas A. Stuart	A new generation modechart verifie.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	modechart verifier, vf3, arbitrary hierarchy, verification process speed, zone-based computation graph, on-the-fly deterministic pruning, outgoing edge reduction, graph nodes, quotient graph, real-time logic formula, graph size, SARTOR project, real-time systems, formal verification, graph theory, operational semantics, diagrams, computer aided software engineering, search space reduction
35	Dipankar Sarkar 0001, S. C. De Sarkar	A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
33	I-Chen Wu, Chingping Chen, Ping-Hung Lin, Guo-Chan Huang, Lung-Ping Chen, Der-Johng Sun, Yi-Chih Chan, Hsin-Yun Tsou	A Volunteer-Computing-Based Grid Environment for Connect6 Applications.	CSE (1)	2009	DBLP DOI BibTeX RDF
33	Hubie Chen	Inverse NP Problems.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	68Q17, Subject classification
33	Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah	Sound 3-Query PCPPs Are Long.	ICALP (1)	2008	DBLP DOI BibTeX RDF
33	Qiong Huang 0001, Guomin Yang, Duncan S. Wong, Willy Susilo	Ambiguous Optimistic Fair Exchange.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
33	Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum	Verifying and decoding in constant depth.	STOC	2007	DBLP DOI BibTeX RDF	error-correcting codes, interactive proofs, constant-depth circuits
33	Adam Chlipala	Modular development of certified program verifiers with a proof assistant.	ICFP	2006	DBLP DOI BibTeX RDF	programming with dependent types, proof-carrying code, interactive proof assistants
33	Craig Gentry, Zulfikar Ramzan	Identity-Based Aggregate Signatures.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF
33	Fumiaki Nagano, Kohei Tatara, Kouichi Sakurai, Toshihiro Tabata	An Intrusion Detection System using Alteration of Data.	AINA (1)	2006	DBLP DOI BibTeX RDF
33	Gus Gutoski	Upper Bounds for Quantum Interactive Proofs with Competing Provers.	CCC	2005	DBLP DOI BibTeX RDF
33	Eli Ben-Sasson, Oded Goldreich 0001, Prahladh Harsha, Madhu Sudan 0001, Salil P. Vadhan	Short PCPs Verifiable in Polylogarithmic Time.	CCC	2005	DBLP DOI BibTeX RDF
33	Eva Rose	Lightweight Bytecode Verification.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	data flow analysis, proof-carrying code, bytecode verification
33	George C. Necula, Robert R. Schneck	A Sound Framework for Untrusted Verification-Condition Generators.	LICS	2003	DBLP DOI BibTeX RDF
33	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
33	Satoshi Hada	Zero-Knowledge and Code Obfuscation.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
33	Juan A. Garay, Markus Jakobsson, Philip D. MacKenzie	Abuse-Free Optimistic Contract Signing.	CRYPTO	1999	DBLP DOI BibTeX RDF
33	Ronald Cramer, Ivan Damgård	Fast and Secure Immunization Against Adaptive Man-in-the-Middle Impersonation.	EUROCRYPT	1997	DBLP DOI BibTeX RDF
33	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
33	Mike Burmester, Yvo Desmedt	Broadcast Interactive Proofs (Extended Abstract).	EUROCRYPT	1991	DBLP DOI BibTeX RDF
33	Alfredo De Santis, Silvio Micali, Giuseppe Persiano	Non-Interactive Zero-Knowledge Proof Systems.	CRYPTO	1987	DBLP DOI BibTeX RDF
32	Mengjun Li, Ti Zhou, Zhoujun Li 0001	SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.	Inscrypt	2008	DBLP DOI BibTeX RDF	non-termination characterization and prediction, abstract and refinement, security protocol
32	Hyun Seok Kim, Seok Seo, Jin-Young Choi	Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol.	HPCC	2008	DBLP DOI BibTeX RDF
32	Atsushi Koide, Raylin Tso, Takeshi Okamoto, Eiji Okamoto	A Restricted Undeniable Designated Verifier Signature.	APSCC	2008	DBLP DOI BibTeX RDF