Search results for "oracles"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Lei Zhang 0009, Qianhong Wu, Bo Qin	Identity-Based Verifiably Encrypted Signatures without Random Oracles.	ProvSec	2009	DBLP DOI BibTeX RDF	Provable Security, Fair Exchange, Identity-Based Cryptography, Verifiably Encrypted Signature
23	Ryo Nojima, Hideki Imai, Kazukuni Kobara, Kirill Morozov	Semantic security for the McEliece cryptosystem without random oracles.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 11T71
23	Fagen Li, Masaaki Shirase, Tsuyoshi Takagi	Efficient Signcryption Key Encapsulation without Random Oracles.	Inscrypt	2008	DBLP DOI BibTeX RDF	Hybrid signcryption, KEM, tag-KEM, standard model
23	Joseph K. Liu, Joonsang Baek, Willy Susilo, Jianying Zhou 0001	Certificate-Based Signature Schemes without Pairings or Random Oracles.	ISC	2008	DBLP DOI BibTeX RDF
23	Jian Weng 0001, Shengli Liu 0001, Kefei Chen, Dong Zheng 0001, Weidong Qiu	Identity-Based Threshold Key-Insulated Encryption without Random Oracles.	CT-RSA	2008	DBLP DOI BibTeX RDF	threshold key-insulation, standard model, identity-based encryption, key-exposure
23	Qiong Huang 0001, Guomin Yang, Duncan S. Wong, Willy Susilo	Efficient Optimistic Fair Exchange Secure in the Multi-user Setting and Chosen-Key Model without Random Oracles.	CT-RSA	2008	DBLP DOI BibTeX RDF
23	Marc Joye	An Efficient On-Line/Off-Line Signature Scheme without Random Oracles.	CANS	2008	DBLP DOI BibTeX RDF	on-line/off-line signing, Cryptography, digital signature, standard model
23	Alexandra Boldyreva, Serge Fehr, Adam O'Neill	On Notions of Security for Deterministic Encryption, and Efficient Constructions without Random Oracles.	CRYPTO	2008	DBLP DOI BibTeX RDF
23	Bo Qin, Qianhong Wu, Willy Susilo, Yi Mu 0001, Yumin Wang, Zhengtao Jiang	Short Group Signatures Without Random Oracles.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	universally composable model, information security, group signature, standard model
23	Victor K. Wei	Invisible designated confirmer signatures without random oracles.	AsiaCCS	2007	DBLP DOI BibTeX RDF
23	Carmit Hazay, Jonathan Katz, Chiu-Yuen Koo, Yehuda Lindell	Concurrently-Secure Blind Signatures Without Random Oracles or Setup Assumptions.	TCC	2007	DBLP DOI BibTeX RDF
23	Juan J. Rodríguez Diez	Rotation Forest and Random Oracles: Two Classifier Ensemble Methods.	CBMS	2007	DBLP DOI BibTeX RDF
23	Jens Groth	Fully Anonymous Group Signatures Without Random Oracles.	ASIACRYPT	2007	DBLP DOI BibTeX RDF	certified signatures, Group signatures, bilinear groups
23	Hovav Shacham, Brent Waters	Efficient Ring Signatures Without Random Oracles.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF
23	Benoît Libert, Jean-Jacques Quisquater, Moti Yung	Parallel Key-Insulated Public Key Encryption Without Random Oracles.	Public Key Cryptography	2007	DBLP DOI BibTeX RDF	parallel key-insulated encryption, standard model, pairings
23	Yannick Seurin, Thomas Peyrin	Security Analysis of Constructions Combining FIL Random Oracles.	FSE	2007	DBLP DOI BibTeX RDF	block ciphers, hash functions, provable security, random oracle, compression functions
23	Xiaohui Liang, Zhenfu Cao, Jun Shao, Huang Lin	Short Group Signature Without Random Oracles.	ICICS	2007	DBLP DOI BibTeX RDF	non-interactive proof system, Group signature, standard model, short signature
23	Benoît Libert, Jean-Jacques Quisquater, Moti Yung	Efficient Intrusion-Resilient Signatures Without Random Oracles.	Inscrypt	2006	DBLP DOI BibTeX RDF	Intrusion-resilience, signatures, standard model, pairings
23	G. Shailaja, K. Phani Kumar, Ashutosh Saxena	Universal Designated Multi Verifier Signature without Random Oracles.	ICIT	2006	DBLP DOI BibTeX RDF
23	Adam Bender, Jonathan Katz, Ruggero Morselli	Ring Signatures: Stronger Definitions, and Constructions Without Random Oracles.	TCC	2006	DBLP DOI BibTeX RDF
23	Moti Yung, Yunlei Zhao	Interactive Zero-Knowledge with Restricted Random Oracles.	TCC	2006	DBLP DOI BibTeX RDF
23	Surender Baswana, Telikepalli Kavitha	Faster Algorithms for Approximate Distance Oracles and All-Pairs Small Stretch Paths.	FOCS	2006	DBLP DOI BibTeX RDF
23	W. K. Chan 0001, S. C. Cheung 0001, Jeffrey C. F. Ho, T. H. Tse	Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
23	Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi	Factor Oracles.	CIAA	2006	DBLP DOI BibTeX RDF	factor oracle, suffix trie, graph quotient, string matching, suffix tree
23	Kaoru Kurosawa, Katja Schmidt-Samoa	New Online/Offline Signature Schemes Without Random Oracles.	Public Key Cryptography	2006	DBLP DOI BibTeX RDF	Online/offline signatures, trapdoor hash, division intractability, strong RSA assumption
23	Qianhong Wu, Yi Mu 0001, Willy Susilo, Fangguo Zhang	Efficient Signcryption Without Random Oracles.	ATC	2006	DBLP DOI BibTeX RDF
23	Xavier Boyen, Brent Waters	Compact Group Signatures Without Random Oracles.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
23	Steve Lu 0001, Rafail Ostrovsky, Amit Sahai, Hovav Shacham, Brent Waters	Sequential Aggregate Signatures and Multisignatures Without Random Oracles.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
23	Craig Gentry	Practical Identity-Based Encryption Without Random Oracles.	EUROCRYPT	2006	DBLP DOI BibTeX RDF	Identity Based Encryption
23	Jian Weng 0001, Shengli Liu 0001, Kefei Chen, Changshe Ma	Identity-Based Parallel Key-Insulated Encryption Without Random Oracles: Security Notions and Construction.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	Parallel Key-Insulation, Bilinear Pairings, Identity-Based Encryption, Key-Exposure
23	Jin Li 0002, Yuen-Yan Chan, Yanming Wang	A Generic Construction of Secure Signatures Without Random Oracles.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	Weak Chosen Message Attack, Signature, Standard Model
23	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
23	Fabien Laguillaumie, Benoît Libert, Jean-Jacques Quisquater	Universal Designated Verifier Signatures Without Random Oracles or Non-black Box Assumptions.	SCN	2006	DBLP DOI BibTeX RDF
23	Dan Boneh, Xavier Boyen, Shai Halevi	Chosen Ciphertext Secure Public Key Threshold Encryption Without Random Oracles.	CT-RSA	2006	DBLP DOI BibTeX RDF
23	Jian Weng 0001, Shengli Liu 0001, Kefei Chen, Changshe Ma	Identity-Based Key-Insulated Signature Without Random Oracles.	CIS	2006	DBLP DOI BibTeX RDF
23	Liam Roditty, Mikkel Thorup, Uri Zwick	Deterministic Constructions of Approximate Distance Oracles and Spanners.	ICALP	2005	DBLP DOI BibTeX RDF
23	Craig Gentry, David Molnar, Zulfikar Ramzan	Efficient Designated Confirmer Signatures Without Random Oracles or General Zero-Knowledge Proofs.	ASIACRYPT	2005	DBLP DOI BibTeX RDF
23	Craig Gentry, Zulfikar Ramzan	Eliminating Random Permutation Oracles in the Even-Mansour Cipher.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
23	Mihir Bellare, Adriana Palacio	Towards Plaintext-Aware Public-Key Encryption Without Random Oracles.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
23	Dan Boneh, Xavier Boyen	Efficient Selective-ID Secure Identity-Based Encryption Without Random Oracles.	EUROCRYPT	2004	DBLP DOI BibTeX RDF
23	Jan Camenisch, Maciej Koprowski, Bogdan Warinschi	Efficient Blind Signatures Without Random Oracles.	SCN	2004	DBLP DOI BibTeX RDF
23	Jason McDonald, Paul A. Strooper, Daniel Hoffman	Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.	APSEC	2003	DBLP DOI BibTeX RDF
23	Jaume Rigau, Miquel Feixas, Mateu Sbert	Information-Theory-Based Oracles for Hierarchical Radiosity.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
23	Hong Zhu 0002	A Note on Test Oracles and Semantics of Algebraic Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
23	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing.	ASE	2002	DBLP DOI BibTeX RDF
23	Duncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva	STG: a tool for generating symbolic test programs and oracles from operational specifications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
23	Bernhard K. Aichernig	Automated Black-Box Testing with Abstract VDM Oracles.	SAFECOMP	1999	DBLP DOI BibTeX RDF
23	Dennis K. Peters, David Lorge Parnas	Using Test Oracles Generated from Program Documentation.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	formal specification, finite state machine, Program testing, test oracle
23	Patrícia D. L. Machado	On Oracles for Interpreting Test Results against Algebraic Specifications.	AMAST	1998	DBLP DOI BibTeX RDF	formal verification, correctness, algebraic specification, specification based-testing, oracle
23	Jason McDonald, Leesa Murray, Paul A. Strooper	Translating Object-Z Specifications to Object-Oriented Test Oracles.	APSEC	1997	DBLP DOI BibTeX RDF
23	Iain A. Stewart	A Perspective on Lindström Quantifiers and Oracles.	ESSLLI	1997	DBLP DOI BibTeX RDF
23	Ueli M. Maurer, Stefan Wolf 0001	Diffie-Hellman Oracles.	CRYPTO	1996	DBLP DOI BibTeX RDF	Diffie-Hellman protocol, Public-key cryptography, Elliptic curves, Discrete logarithms
23	Stephen A. Fenner, Steven Homer, Mitsunori Ogiwara, Alan L. Selman	On Using Oracles That Compute Values.	STACS	1993	DBLP DOI BibTeX RDF
23	Johann A. Makowsky, Y. B. Pnueli	Oracles and Quantifiers.	CSL	1993	DBLP DOI BibTeX RDF
23	Pekka Orponen	Complexity Classes of Alternating Machines with Oracles.	ICALP	1983	DBLP DOI BibTeX RDF
20	Bogdan Groza, Marius Minea	A Calculus to Detect Guessing Attacks.	ISC	2009	DBLP DOI BibTeX RDF
20	Xun Yi, Raylin Tso, Eiji Okamoto	ID-Based Group Password-Authenticated Key Exchange.	IWSEC	2009	DBLP DOI BibTeX RDF	protocol compiler, common reference model, group key agreement, Password-authenticated key exchange
20	Wujie Zheng, Michael R. Lyu, Tao Xie	Test selection for result inspection via mining predicate rules.	ICSE Companion	2009	DBLP DOI BibTeX RDF
20	Xiaoyang Gu, Jack H. Lutz	Dimension Characterizations of Complexity Classes.	Comput. Complex.	2008	DBLP DOI BibTeX RDF	Subject classification, 68Q15
20	Rachid Guerraoui, Michal Kapalka, Petr Kouznetsov	The weakest failure detectors to boost obstruction-freedom.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Obstruction-free, Shared memory, Contention manager, Failure detector, Wait-free, Non-blocking
20	Andrey Bovykin	Resplendent models and S11{\Sigma_1^1} -definability with an oracle.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) Primary 03B10, 03C50, 03C62, Secondary 03C07, 03C30, 03C35, 03C52, 03C64, 03C57
20	Karl Bringmann, Tobias Friedrich 0001	Approximating the Volume of Unions and Intersections of High-Dimensional Geometric Objects.	ISAAC	2008	DBLP DOI BibTeX RDF
20	Qianhong Wu, Bo Qin, Yi Mu 0001, Willy Susilo	Privacy for Private Key in Signatures.	Inscrypt	2008	DBLP DOI BibTeX RDF	Anonymous identity, Key indistinguishability, Key leakage, Pairing groups, Key privacy, Chosen message attack
20	Dennis Hofheinz, Dominique Unruh	Towards Key-Dependent Message Security in the Standard Model.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	Key-dependent message security, symmetric encryption schemes, security proofs
20	Pin Lin, Wenling Wu, Chuankun Wu, Tian Qiu	Analysis of Zipper as a Hash Function.	ISPEC	2008	DBLP DOI BibTeX RDF	Hash Function, Compression Function, Zipper
20	Yanli Ren, Dawu Gu	Secure Hierarchical Identity Based Encryption Scheme in the Standard Model.	INDOCRYPT	2008	DBLP DOI BibTeX RDF
20	Takako Nemoto	Complete Determinacy and Subsystems of Second Order Arithmetic.	CiE	2008	DBLP DOI BibTeX RDF	complete determinacy, Wadge class, second order arithmetic, reverse mathematics, infinite game, determinacy
20	David Cash, Yan Zong Ding, Yevgeniy Dodis, Wenke Lee, Richard J. Lipton, Shabsi Walfish	Intrusion-Resilient Key Exchange in the Bounded Retrieval Model.	TCC	2007	DBLP DOI BibTeX RDF
20	Jörg Derungs, Riko Jacob, Peter Widmayer	Approximate Shortest Paths Guided by a Small Index.	WADS	2007	DBLP DOI BibTeX RDF
20	Vandana Gunupudi, Stephen R. Tate	Random Oracle Instantiation in Distributed Protocols Using Trusted Platform Modules.	AINA Workshops (1)	2007	DBLP DOI BibTeX RDF
20	Johannes Mayer, Sami Beydeda	Message of the Program Chairs of STEV'07.	QSIC	2007	DBLP DOI BibTeX RDF
20	Bertrand Meyer 0001, Ilinca Ciupa, Andreas Leitner, Lisa Ling Liu	Automatic Testing of Object-Oriented Software.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
20	Oded Goldreich 0001, Madhu Sudan 0001	Locally testable codes and PCPs of almost-linear length.	J. ACM	2006	DBLP DOI BibTeX RDF	error-correcting codes, derandomization, probabilistically checkable proofs, Proof verification
20	Ivan Damgård, Nelly Fazio, Antonio Nicolosi	Non-interactive Zero-Knowledge from Homomorphic Encryption.	TCC	2006	DBLP DOI BibTeX RDF
20	Manor Mendel, Assaf Naor	Ramsey partitions and proximity data structures.	FOCS	2006	DBLP DOI BibTeX RDF
20	Xiaoyang Gu, Jack H. Lutz	Dimension Characterizations of Complexity Classes.	MFCS	2006	DBLP DOI BibTeX RDF
20	Toshio Suzuki	Bounded truth table does not reduce the one-query tautologies to a random oracle.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68Q15, 03D15
20	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	fault tolerance, distributed algorithm, Asynchronous distributed system, random oracle, unreliable failure detector, randomized protocol, Byzantine process
20	Rakesh Shukla, Paul A. Strooper, David A. Carrington	Tool Support for Statistical Testing of Software Components.	APSEC	2005	DBLP DOI BibTeX RDF
20	Nicolas Rivierre, François Horn, Frédéric Dang Tran	On Monitoring Concurrent Systems with TLA: An Example.	ACSD	2005	DBLP DOI BibTeX RDF
20	Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang 0011	Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF	Clustering, Voting, Group Testing, Web Services Testing
20	Rachid Guerraoui, Michel Raynal	The Information Structure of Indulgent Consensus.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	indulgent algorithm, leader oracle, fault tolerance, modularity, consensus, Asynchronous distributed system, random oracle, crash failure, unreliable failure detector, information structure
20	Gatis Midrijanis	A Polynomial Quantum Query Lower Bound for the Set Equality Problem.	ICALP	2004	DBLP DOI BibTeX RDF
20	Atif M. Memon, Qing Xie 0003	Empirical Evaluation of the Fault-Detection Effectiveness of Smoke Regression Test Cases for GUI-Based Software.	ICSM	2004	DBLP DOI BibTeX RDF
20	Hoeteck Wee	On Pseudoentropy versus Compressibility.	CCC	2004	DBLP DOI BibTeX RDF
20	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems.	SRDS	2004	DBLP DOI BibTeX RDF	Fault tolerance, Distributed algorithm, Asynchronous distributed system, Random oracle, Unreliable failure detector, Randomized protocol, Byzantine process
20	Paul A. Crook, Gillian Hayes 0001	Could Active Perception Aid Navigation of Partially Observable Grid Worlds?	ECML	2003	DBLP DOI BibTeX RDF
20	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	A Versatile and Modular Consensus Protoco.	DSN	2002	DBLP DOI BibTeX RDF
20	Ben Reichardt, David A. Wagner 0001	Markov Truncated Differential Cryptanalysis of Skipjack.	Selected Areas in Cryptography	2002	DBLP DOI BibTeX RDF
20	Oded Goldreich 0001, Madhu Sudan 0001	Locally Testable Codes and PCPs of Almost-Linear Length.	FOCS	2002	DBLP DOI BibTeX RDF
20	Yoonsik Cheon, Gary T. Leavens	A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.	ECOOP	2002	DBLP DOI BibTeX RDF
20	Jesper Buus Nielsen	A Threshold Pseudorandom Function Construction and Its Applications.	CRYPTO	2002	DBLP DOI BibTeX RDF
20	Marta Arias, Roni Khardon	A New Algorithm for Learning Range Restricted Horn Expressions.	ILP	2000	DBLP DOI BibTeX RDF
20	Lance Fortnow, Aduri Pavan, Alan L. Selman	Distributionally-Hard Languages.	COCOON	1999	DBLP DOI BibTeX RDF
20	Léa Meyer	Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints.	ALT	1998	DBLP DOI BibTeX RDF
20	Richard Beigel, Richard Chang 0001	Commutative Queries.	ISTCS	1997	DBLP DOI BibTeX RDF
20	Prakash Panangaden	The Expressive Power of Indeterminate Primitives in Asynchronous Computation.	FSTTCS	1995	DBLP DOI BibTeX RDF
20	Ronald V. Book, Jack H. Lutz, Klaus W. Wagner	On Complexity Classes and Algorithmically Random Languages (Extended Abstract).	STACS	1992	DBLP DOI BibTeX RDF
20	Iain A. Stewart	Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines.	CSL	1992	DBLP DOI BibTeX RDF
20	Meena Mahajan, Kamala Krithivasan	Relativised Cellular Automata and Complexity Classes.	FSTTCS	1991	DBLP DOI BibTeX RDF