The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for verifier with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1969-1979 (16) 1980-1987 (18) 1988-1989 (20) 1990-1991 (20) 1992-1993 (21) 1994-1995 (22) 1996-1997 (27) 1998 (18) 1999 (28) 2000 (26) 2001 (35) 2002 (51) 2003 (62) 2004 (71) 2005 (103) 2006 (90) 2007 (95) 2008 (103) 2009 (84) 2010 (27) 2011 (31) 2012 (37) 2013 (35) 2014 (39) 2015 (24) 2016 (25) 2017 (35) 2018 (49) 2019 (50) 2020 (31) 2021 (51) 2022 (47) 2023 (43) 2024 (17)
Publication types (Num. hits)
article(426) incollection(5) inproceedings(1011) phdthesis(9)
Venues (Conferences, Journals, ...)
IACR Cryptol. ePrint Arch.(72) CoRR(53) CRYPTO(33) EUROCRYPT(31) CAV(25) FOCS(21) ASIACRYPT(18) Public Key Cryptography(15) CCC(13) ICICS(13) ICISC(12) STOC(12) ACM SIGOPS Oper. Syst. Rev.(11) CCS(11) Secur. Commun. Networks(11) VSTTE(11) More (+10 of total 624)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 914 occurrences of 519 keywords

Results
Found 1451 publication records. Showing 1451 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
134Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001 Universal Designated Verifier Signature Without Delegatability. Search on Bibsonomy ICICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Universal Designated Verifier Signatures, Non-delegatability, Bilinear Pairings, Designated Verifier Signatures
118Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang Short (Identity-Based) Strong Designated Verifier Signature Schemes. Search on Bibsonomy ISPEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF strong designated verifier signature scheme, random oracle model, short signature, identity based, designated verifier signature
100Raylin Tso, Juan Manuel González Nieto, Takeshi Okamoto, Colin Boyd, Eiji Okamoto Verifier-Key-Flexible Universal Designated-Verifier Signatures. Search on Bibsonomy IMACC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF universal designated-verifier signature, verifier-key-flexible, random oracle, ECDSA
91Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang Certificateless Designated Verifier Signature Schemes. Search on Bibsonomy AINA (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Designated Verifier, Gap Bilinear Diffie-Hellman Problem, Certificateless Cryptography
83Helger Lipmaa, Guilin Wang, Feng Bao 0001 Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Designated verifier signature scheme, non-delegatability, non-programmable random oracle model, signature scheme
75Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001 Secure universal designated verifier signature without random oracles. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Universal designated verifier signature, Gap Bilinear Diffie Hellman problem, Security analysis, Random oracle
75Yong Li 0002, Helger Lipmaa, Dingyi Pei On Delegatability of Four Designated Verifier Signatures. Search on Bibsonomy ICICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF non-delegatability, Designated verifier signatures
73Xiaofeng Wang, Liang Cao, Shangping Wang, Yaling Zhang ID-Based Convertible Limited (Multi-)Verifier Signature Scheme. Search on Bibsonomy CSSE (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
73Joonsang Baek, Reihaneh Safavi-Naini, Willy Susilo Universal Designated Verifier Signature Proof (or How to Efficiently Prove Knowledge of a Signature). Search on Bibsonomy ASIACRYPT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67Chunbo Ma, Jun Ao, Jianhua Li 0001 A Novel Verifier-Based Authenticated Key Agreement Protocol. Search on Bibsonomy ICIC (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Two-Party, Password, Key Agreement, Verifier
67Fabien Laguillaumie, Damien Vergnaud Designated Verifier Signatures: Anonymity and Efficient Construction from Any Bilinear Map. Search on Bibsonomy SCN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Privacy of signers identity, Bilinear Diffie-Hellman problems, Exact security, Designated verifier signatures, Tight reduction
67Jeung-Bo Cho, Min-Soo Jung A Very Small Bytecode-Verifier Based on PCC Algorithm for Smart Card. Search on Bibsonomy Human.Society@Internet 2003 The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java Card Virtual Machine, Java, Smart Card, Bytecode, Verifier
67Shahrokh Saeednia, Steve Kremer, Olivier Markowitch An Efficient Strong Designated Verifier Signature Scheme. Search on Bibsonomy ICISC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Designated verifier, Signature, Discrete logarithm, Signcryption
65K. Subramani 0001 A Randomized Algorithm for BBCSPs in the Prover-Verifier Model. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
65Jianhong Zhang, Hu'an Li, Jilin Wang A Convertible Limited Verifier Signature Scheme. Search on Bibsonomy WAIM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
65Andrea Oermann, Andreas Lang 0001, Jana Dittmann Verifier-tuple for audio-forensic to determine speaker environment. Search on Bibsonomy MM&Sec The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concept of content analysis, forensic analysis of digital multimedia
65Xiaofeng Chen 0001, Fangguo Zhang, Kwangjo Kim Limited Verifier Signature from Bilinear Pairings. Search on Bibsonomy ACNS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
65Jonas Holmerin, Subhash Khot A new PCP outer verifier with applications to homogeneous linear equations and max-bisection. Search on Bibsonomy STOC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF max-bisection, hardness of approximation, linear equations, PCPs
65Markus Jakobsson, Kazue Sako, Russell Impagliazzo Designated Verifier Proofs and Their Applications. Search on Bibsonomy EUROCRYPT The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
64Ivan Damgård, Oded Goldreich 0001, Tatsuaki Okamoto, Avi Wigderson Honest Verifier vs Dishonest Verifier in Public Coin Zero-Knowledge Proofs. Search on Bibsonomy CRYPTO The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
60Futoshi Iwama, Naoki Kobayashi 0001 A New Type System for JVM Lock Primitives. Search on Bibsonomy New Gener. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java Bytecode Verifier, Type System, Lock
58Jin Li 0002, Yanming Wang Universal Designated Verifier Ring Signature (Proof) Without Random Oracles. Search on Bibsonomy EUC Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Universal Designated verifier, Bilinear Pairings, Ring signature
58Hubie Chen Inverse NP Problems. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56Jianhong Zhang An Improved Designated-Verifier Proxy Signature Scheme. Search on Bibsonomy IEEE NAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
56Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck The open verifier framework for foundational verifiers. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF language-based security, proof-carrying code, typed assembly language
56Tianjie Cao, Dongdai Lin, Rui Xue 0001 Universal Designated-Verifier Proxy Blind Signatures for E-Commerce. Search on Bibsonomy CIS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco Fixing the Java bytecode verifier by a suitable type domain. Search on Bibsonomy SEKE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
56Frédéric Painchaud, Mourad Debbabi On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier. Search on Bibsonomy WETICE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
56Giovanni Di Crescenzo, Tatsuaki Okamoto, Moti Yung Keeping the SZK-Verifier Honest Unconditionally. Search on Bibsonomy CRYPTO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
56Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
51Eun-Jun Yoon, Kee-Young Yoo Various Types of Attacks and Solutions Regarding Secure Remote User Access over Insecure Networks. Search on Bibsonomy ICCSA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cryptography, Network security, Hash function, Password authentication, Diffie-Hellman, Stolen-verifier attack
51Yunlei Zhao, Chan H. Lee, Yiming Zhao, Hong Zhu 0004 Some Observations on Zap and Its Applications. Search on Bibsonomy ACNS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Zap, public-coin honest verifier zero-knowledge, deniable authentication, timed commitment, witness indistinguishability
50Benoît Libert, Damien Vergnaud Group Signatures with Verifier-Local Revocation and Backward Unlinkability in the Standard Model. Search on Bibsonomy CANS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF verifier-local revocation, backward unlinkability, Group signatures, standard model, bilinear maps
50Yaling Zhang, Jing Zhang, Yikun Zhang Multi-signers Strong Designated Verifier Signature Scheme. Search on Bibsonomy SNPD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multi-signers, Designated Verifier Signature
50Fabien Laguillaumie, Damien Vergnaud On the Soundness of Restricted Universal Designated Verifier Signatures and Dedicated Signatures. Search on Bibsonomy ISC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Universal designated verifier signatures, zero-knowledge proof, Elgamal signatures
50Sujing Zhou, Dongdai Lin Shorter Verifier-Local Revocation Group Signatures from Bilinear Maps. Search on Bibsonomy CANS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF LRSW Assumption, Verifier-Local Revocation, Group Signature, Bilinear Map
50Raylin Tso, Takeshi Okamoto, Eiji Okamoto Practical Strong Designated Verifier Signature Schemes Based on Double Discrete Logarithms. Search on Bibsonomy CISC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CDH assumption, DDH assumption, double discrete logarithm, one-way two-party authenticated key agreement, privacy, designated verifier signature
49Lars Engebretsen, Jonas Holmerin More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP. Search on Bibsonomy STACS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Yonatan Aumann, Uriel Feige On Message Proof Systems with Known Space Verifiers. Search on Bibsonomy CRYPTO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
48Bo Zhang 0020, Qiuliang Xu A Strong Designated-verifier Proxy Signature Scheme. Search on Bibsonomy WKDD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Sean Hallgren, Alexandra Kolla, Pranab Sen, Shengyu Zhang Making Classical Honest Verifier Zero Knowledge Protocols Secure against Quantum Attacks. Search on Bibsonomy ICALP (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Siamak Fayyaz Shahandashti, Reihaneh Safavi-Naini Construction of Universal Designated-Verifier Signatures and Identity-Based Signatures from Standard Signatures. Search on Bibsonomy Public Key Cryptography The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Ron Steinfeld, Huaxiong Wang, Josef Pieprzyk Efficient Extension of Standard Schnorr/RSA Signatures into Universal Designated-Verifier Signatures. Search on Bibsonomy Public Key Cryptography The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Stephen N. Freund, John C. Mitchell A Type System for the Java Bytecode Language and Verifier. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type systems, Java Virtual Machine, bytecode verification
48Ron Steinfeld, Laurence Bull, Huaxiong Wang, Josef Pieprzyk Universal Designated-Verifier Signatures. Search on Bibsonomy ASIACRYPT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Byte Code Verification, Formal Methods, B Method
48Nam Ling A special purpose formal verifier for systolic designs in DSP applications. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
43Jens Groth Linear Algebra with Sub-linear Zero-Knowledge Arguments. Search on Bibsonomy CRYPTO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability
41Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum Delegating computation: interactive proofs for muggles. Search on Bibsonomy STOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF muggles, delegation, interactive proofs
41Marek Klonowski, Przemyslaw Kubiak 0001, Miroslaw Kutylowski, Anna Lauks How to Protect a Signature from Being Shown to a Third Party. Search on Bibsonomy TrustBus The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti Improved Setup Assumptions for 3-Round Resettable Zero Knowledge. Search on Bibsonomy ASIACRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Qiming Li, Ee-Chien Chang Public Watermark Detection Using Multiple Proxies and Secret Sharing. Search on Bibsonomy IWDW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41John Watrous imits on the Power of Quantum Statistical Zero-Knowledge. Search on Bibsonomy FOCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Raymie Stata, Martín Abadi A Type System for Java Bytecode Subroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, Java, bytecode verification
41Venkatesan Guruswami, Daniel Lewin 0001, Madhu Sudan 0001, Luca Trevisan A Tight Characterization of NP with 3 Query PCPs. Search on Bibsonomy FOCS The full citation details ... 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
40Yanping Li, Liaojun Pang, Yuming Wang Attacks on a Universal Designated Verifier Signature Scheme. Search on Bibsonomy IAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Pairat Thorncharoensri, Willy Susilo, Yi Mu 0001 Universal Designated Verifier Signatures with Threshold-Signers. Search on Bibsonomy IWSEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Wenmin Li 0001, Qiao-Yan Wen Efficient Verifier-Based Password-Authentication Key Exchange Protocol via Elliptic Curves. Search on Bibsonomy CSSE (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
40Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl An Information Flow Verifier for Small Embedded Systems. Search on Bibsonomy WISTP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF class loading, information flow, confidentiality, type checking
40Jeong Ok Kwon, Kouichi Sakurai, Dong Hoon Lee 0001 One-Round Protocol for Two-Party Verifier-Based Password-Authenticated Key Exchange. Search on Bibsonomy Communications and Multimedia Security The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Ching Yu Ng, Willy Susilo, Yi Mu 0001 Universal Designated Multi Verifier Signature Schemes. Search on Bibsonomy ICPADS (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Xinyi Huang 0001, Yi Mu 0001, Willy Susilo, Futai Zhang Short Designated Verifier Proxy Signature from Pairings. Search on Bibsonomy EUC Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Authentication, Pairings, Proxy Signature, Short Signature
40Willy Susilo, Fangguo Zhang, Yi Mu 0001 Identity-Based Strong Designated Verifier Signature Schemes. Search on Bibsonomy ACISP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Robert F. Stärk, Joachim Schmid 0001 Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, bytecode verification, certifying compilation
40Jeung-Bo Cho, Min-Soo Jung, Sung-Ik Jun An Efficient Small Sized On-Card Verifier for Java Card. Search on Bibsonomy ICCSA (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Ludovic Casset, Lilian Burdy, Antoine Requet Formal Development of an Embedded Verifier for Java Card Byte Code. Search on Bibsonomy DSN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
40Alessandro 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. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
40David C. Luckham A brief account: Implementation and applications of a Pascal program verifier (Position Statement). Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Pascal
37Venkatesan Guruswami, Johan Håstad, Madhu Sudan 0001 Hardness of Approximate Hypergraph Coloring. Search on Bibsonomy FOCS The full citation details ... 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
35Siamak Fayyaz Shahandashti, Reihaneh Safavi-Naini, Joonsang Baek Concurrently-secure credential ownership proofs. Search on Bibsonomy AsiaCCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF identity-based cryptography, signature schemes, identification schemes, credential systems, designated-verifier signatures
35Wei-Chi Ku, Min-Hung Chiang, Shen-Tien Chang Weaknesses of Yoon-Ryu-Yoo's hash-based password authentication scheme. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF hash function, password authentication, guessing attack, denial-of-service attack, stolen-verifier attack
35Wei-Chi Ku, Hao-Chuan Tsai, Shuai-Min Chen Two simple attacks on Lin-Shen-Hwang's strong-password authentication protocol. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF strong password, password authentication, replay attack, denial-of-service attack, stolen-verifier attack
35Byoungcheon Lee, Colin Boyd, Ed Dawson, Kwangjo Kim, Jeongmo Yang, Seungjae Yoo Providing Receipt-Freeness in Mixnet-Based Voting Protocols. Search on Bibsonomy ICISC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Mixnet, Designated-verifier re-encryption proof, Tamper resistant randomizer, Electronic voting, Receipt-freeness, Re-encryption
35Futoshi Iwama, Naoki Kobayashi 0001 A new type system for JVM lock primitives. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF bytecode verifier, Java, type system, lock
35Dzung T. Hoang, Jeffrey Scott Vitter, Elliot L. Linzer Lexicographic Bit Allocation for MPEG Video Coding. Search on Bibsonomy ICIP (1) The full citation details ... 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
35David P. Jablon Extended Password Key Exchange Protocols Immune to Dictionary Attacks. Search on Bibsonomy WETICE The full citation details ... 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
35Jin Yang, Aloysius K. Mok, Douglas A. Stuart A new generation modechart verifie. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
35Dipankar Sarkar 0001, S. C. De Sarkar A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
33I-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. Search on Bibsonomy CSE (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Hubie Chen Inverse NP Problems. Search on Bibsonomy Comput. Complex. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF 68Q17, Subject classification
33Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah Sound 3-Query PCPPs Are Long. Search on Bibsonomy ICALP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Qiong Huang 0001, Guomin Yang, Duncan S. Wong, Willy Susilo Ambiguous Optimistic Fair Exchange. Search on Bibsonomy ASIACRYPT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Shafi Goldwasser, Dan Gutfreund, Alexander Healy, Tali Kaufman, Guy N. Rothblum Verifying and decoding in constant depth. Search on Bibsonomy STOC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF error-correcting codes, interactive proofs, constant-depth circuits
33Adam Chlipala Modular development of certified program verifiers with a proof assistant. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF programming with dependent types, proof-carrying code, interactive proof assistants
33Craig Gentry, Zulfikar Ramzan Identity-Based Aggregate Signatures. Search on Bibsonomy Public Key Cryptography The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Fumiaki Nagano, Kohei Tatara, Kouichi Sakurai, Toshihiro Tabata An Intrusion Detection System using Alteration of Data. Search on Bibsonomy AINA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Gus Gutoski Upper Bounds for Quantum Interactive Proofs with Competing Provers. Search on Bibsonomy CCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Eli Ben-Sasson, Oded Goldreich 0001, Prahladh Harsha, Madhu Sudan 0001, Salil P. Vadhan Short PCPs Verifiable in Polylogarithmic Time. Search on Bibsonomy CCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Eva Rose Lightweight Bytecode Verification. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF data flow analysis, proof-carrying code, bytecode verification
33George C. Necula, Robert R. Schneck A Sound Framework for Untrusted Verification-Condition Generators. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Philip W. L. Fong, Robert D. Cameron Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
33Satoshi Hada Zero-Knowledge and Code Obfuscation. Search on Bibsonomy ASIACRYPT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Juan A. Garay, Markus Jakobsson, Philip D. MacKenzie Abuse-Free Optimistic Contract Signing. Search on Bibsonomy CRYPTO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Ronald Cramer, Ivan Damgård Fast and Secure Immunization Against Adaptive Man-in-the-Middle Impersonation. Search on Bibsonomy EUROCRYPT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Cynthia Dwork, Larry J. Stockmeyer Finite State Verifiers I: The Power of Interaction. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF complexity theory, finite state automata, interactive proof systems, probabilistic automata, Arthur-Merlin games
33Mike Burmester, Yvo Desmedt Broadcast Interactive Proofs (Extended Abstract). Search on Bibsonomy EUROCRYPT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
33Alfredo De Santis, Silvio Micali, Giuseppe Persiano Non-Interactive Zero-Knowledge Proof Systems. Search on Bibsonomy CRYPTO The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
32Mengjun Li, Ti Zhou, Zhoujun Li 0001 SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming. Search on Bibsonomy Inscrypt The full citation details ... 2008 DBLP  DOI  BibTeX  RDF non-termination characterization and prediction, abstract and refinement, security protocol
32Hyun Seok Kim, Seok Seo, Jin-Young Choi Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. Search on Bibsonomy HPCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Atsushi Koide, Raylin Tso, Takeshi Okamoto, Eiji Okamoto A Restricted Undeniable Designated Verifier Signature. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1451 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license