Search results for "oracle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Bo Gyeong Kang, Je Hong Park, Sang Geun Hahn	A Certificate-Based Signature Scheme.	CT-RSA	2004	DBLP DOI BibTeX RDF
12	John Håkansson, Bengt Jonsson 0001, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
12	Vikraman Arvind, Piyush P. Kurur	Upper Bounds on the Complexity of Some Galois Theory Problems.	ISAAC	2003	DBLP DOI BibTeX RDF
12	Sashikanth Chandrasekaran, Roger Bamford	Shared Cache - The Future of Parallel Databases.	ICDE	2003	DBLP DOI BibTeX RDF
12	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
12	Shafi Goldwasser, Yael Tauman Kalai	On the (In)security of the Fiat-Shamir Paradigm.	FOCS	2003	DBLP DOI BibTeX RDF
12	Elmar Böhler, Christian Glaßer, Daniel Meister 0001	Error-Bounded Probabilistic Computations between MA and AM.	MFCS	2003	DBLP DOI BibTeX RDF
12	Tatsuaki Okamoto, Jacques Stern	Almost Uniform Density of Power Residues and the Provable Security of ESIGN.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
12	Yevgeniy Dodis, Jonathan Katz, Shouhuai Xu, Moti Yung	Strong Key-Insulated Signature Schemes.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF
12	Daewan Han, Jin Hong 0001, Jae Woo Han, Daesung Kwon	Key Recovery Attacks on NTRU without Ciphertext Validation Routine.	ACISP	2003	DBLP DOI BibTeX RDF
12	Aggelos Kiayias, Moti Yung	Extracting Group Signatures from Traitor Tracing Schemes.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
12	Rachid Guerraoui, Michel Raynal	A Generic Framework for Indulgent Consensus.	ICDCS	2003	DBLP DOI BibTeX RDF
12	Yuval Ishai, Joe Kilian, Kobbi Nissim, Erez Petrank	Extending Oblivious Transfers Efficiently.	CRYPTO	2003	DBLP DOI BibTeX RDF
12	Atif M. Memon, Ishan Banerjee, Nada Hashmi, Adithya Nagarajan	DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications.	ICSM	2003	DBLP DOI BibTeX RDF
12	Anders Friis-Christensen, Christian S. Jensen	Object-Relational Management of Multiply Represented Geographic Entities.	SSDBM	2003	DBLP DOI BibTeX RDF
12	Jean François Maurras	From Membership to Separation, a Simple Construction.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000): 05Cxx, 11H06, 11J13
12	Jaikumar Radhakrishnan, Pranab Sen, Srinivasan Venkatesh 0001	The Quantum Complexity of Set Membership.	Algorithmica	2002	DBLP DOI BibTeX RDF
12	Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal	A Versatile and Modular Consensus Protoco.	DSN	2002	DBLP DOI BibTeX RDF
12	Ingo Schurr, Tibor Szabó	Finding the Sink Takes Some Time.	ESA	2002	DBLP DOI BibTeX RDF
12	Mikkel Thorup	On Distance Oracles and Routing in Graphs.	ESA	2002	DBLP DOI BibTeX RDF
12	Dario Catalano, Phong Q. Nguyen, Jacques Stern	The Hardness of Hensel Lifting: The Case of RSA and Discrete Logarithm.	ASIACRYPT	2002	DBLP DOI BibTeX RDF	Paillier, Hensel, One-wayness, RSA, Lattice, Discrete logarithm, Public-key
12	Joonsang Baek, Ron Steinfeld, Yuliang Zheng 0001	Formal Proofs for the Security of Signcryption.	Public Key Cryptography	2002	DBLP DOI BibTeX RDF
12	Kouichi Sakurai, Tsuyoshi Takagi	On the Security of a Modified Paillier Public-Key Primitive.	ACISP	2002	DBLP DOI BibTeX RDF	One-wayness, Composite residuosity problem, Paillier cryptosystem, Factoring, Key distribution, Chosen ciphertext attack
12	Michel Abdalla, Jee Hea An, Mihir Bellare, Chanathip Namprempre	From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security.	EUROCRYPT	2002	DBLP DOI BibTeX RDF
12	Oktay Türetken, Onur Demirörs	Using Human Resource Management Suites To Exploit Team Process Improvement Models.	EUROMICRO	2002	DBLP DOI BibTeX RDF
12	Murali Annavaram, Trung A. Diep, John Paul Shen	Branch Behavior of a Commercial OLTP Workload on Intel IA32 Processors.	ICCD	2002	DBLP DOI BibTeX RDF
12	Nader H. Bshouty, Lynn Burroughs	On the Proper Learning of Axis Parallel Concepts.	COLT	2002	DBLP DOI BibTeX RDF
12	Yevgeniy Dodis, Leonid Reyzin	On the Power of Claw-Free Permutations.	SCN	2002	DBLP DOI BibTeX RDF
12	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
12	Emmanuel Bresson, Jacques Stern, Michael Szydlo	Threshold Ring Signatures and Applications to Ad-hoc Groups.	CRYPTO	2002	DBLP DOI BibTeX RDF
12	Epaminondas Kapetanios, David Baer, Paul Groenewoud, P. Mueller	The Design and Implementation of a Meaning Driven Data Query Language.	SSDBM	2002	DBLP DOI BibTeX RDF
12	Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara, Tomoyuki Uchida	Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
12	Pier Luigi Dragotti, Minh N. Do, Rahul Shukla, Martin Vetterli	On the compression of two-dimensional piecewise smooth functions.	ICIP (1)	2001	DBLP DOI BibTeX RDF
12	Stuart Haber, Benny Pinkas	Securely combining public-key cryptosystems.	CCS	2001	DBLP DOI BibTeX RDF
12	Mihir Bellare, Chanathip Namprempre, David Pointcheval, Michael Semanko	The Power of RSA Inversion Oracles and the Security of Chaum's RSA-Based Blind Signature Scheme.	Financial Cryptography	2001	DBLP BibTeX RDF	Blind digital signature schemes, RSA, digital cash
12	Harald Kosch, Mario Döller, László Böszörményi	Content-Based Indexing and Retrieval Supported by Mobile Agent Technology.	MDIC	2001	DBLP DOI BibTeX RDF	Mobile Agents, Content-based Indexing and Retrieval, Multimedia Database System
12	Masayuki Abe	A Secure Three-Move Blind Signature Scheme for Polynomially Many Signatures.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
12	Jonathan Katz, Rafail Ostrovsky, Moti Yung	Efficient Password-Authenticated Key Exchange Using Human-Memorable Passwords.	EUROCRYPT	2001	DBLP DOI BibTeX RDF
12	Boaz Barak, Oded Goldreich 0001, Russell Impagliazzo, Steven Rudich, Amit Sahai, Salil P. Vadhan, Ke Yang 0005	On the (Im)possibility of Obfuscating Programs.	CRYPTO	2001	DBLP DOI BibTeX RDF
12	Dan Boneh	Simplified OAEP for the RSA and Rabin Functions.	CRYPTO	2001	DBLP DOI BibTeX RDF
12	Peng Liu 0005	DAIS: A Real-Time Data Attack Isolation System for Commercial Database Applications.	ACSAC	2001	DBLP DOI BibTeX RDF	Database Security, Intrusion Tolerance, Isolation
12	Diamantino Costa, Tiago Rilho, Henrique Madeira	Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection.	DSN	2000	DBLP DOI BibTeX RDF
12	Kurt Maly, Mohammad Zubair, Hesham Anan, Dun Tan, Yunchuan Zhang	Scalable Digital Libraries Based on NCSTRL/Dienst.	ECDL	2000	DBLP DOI BibTeX RDF
12	Rajshekhar Sunderraman	ReQueSS: Relational Querying of Semi-Structured Data.	ICDE	2000	DBLP DOI BibTeX RDF	Relational Database Querying, Semi-Structured Data, Database Querying, Web Data
12	Jagannathan Srinivasan, Ravi Murthy, Seema Sundara, Nipun Agarwal, Samuel DeFazio	Extensible Indexing: A Framework for Integrating Domain-Specific Indexing Schemes into Oracle8i.	ICDE	2000	DBLP DOI BibTeX RDF
12	Patrícia D. L. Machado	Testing from Structured Algebraic Specifications.	AMAST	2000	DBLP DOI BibTeX RDF
12	Todd Ebert, Heribert Vollmer	On the Autoreducibility of Random Sequences.	MFCS	2000	DBLP DOI BibTeX RDF
12	Philip D. MacKenzie, Sarvar Patel, Ram Swaminathan	Password-Authenticated Key Exchange Based on RSA.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
12	Michel Abdalla, Leonid Reyzin	A New Forward-Secure Digital Signature Scheme.	ASIACRYPT	2000	DBLP DOI BibTeX RDF	proven security, digital signatures, forward security, concrete security
12	Claus-Peter Schnorr, Markus Jakobsson	Security of Signed ElGamal Encryption.	ASIACRYPT	2000	DBLP DOI BibTeX RDF
12	Jeff Kahn 0001, Michael E. Saks, Cliff Smyth 0001	A Dual Version of Reimer's Inequality and a Proof of Rudich's Conjecture.	CCC	2000	DBLP DOI BibTeX RDF	Reimer's inequality, van den Berg-Kesten conjecture, Rudich's conjecture
12	Peter Bro Miltersen, N. V. Vinodchandran	Derandomizing Arthur-Merlin Games Using Hitting Sets.	FOCS	1999	DBLP DOI BibTeX RDF	derandomization, hitting sets, Arthur-Merlin games
12	Ran Canetti, Shafi Goldwasser	An Efficient Threshold Public Key Cryptosystem Secure Against Adaptive Chosen Ciphertext Attack.	EUROCRYPT	1999	DBLP DOI BibTeX RDF
12	Ran Bachrach, Shai Fine, Eli Shamir 0001	Query by Committee, Linear Separation and Random Walks.	EuroCOLT	1999	DBLP DOI BibTeX RDF
12	Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington	Specification-Based Class Testing: A Case Study.	ICFEM	1998	DBLP DOI BibTeX RDF
12	Ravi Kannan, Andreas Nolte	Local Search in Smooth Convex Sets.	FOCS	1998	DBLP DOI BibTeX RDF
12	C. Gregory Doherty	Database Systems Management and Oracle8.	SIGMOD Conference	1998	DBLP DOI BibTeX RDF
12	Kazuo Ohta, Tatsuaki Okamoto	On Concrete Security Treatment of Signatures Derived from Identification.	CRYPTO	1998	DBLP DOI BibTeX RDF
12	John V. Harrison, Anthony Berglas	Data Flow Analysis within the ITOC Information System Design Recovery Tool.	ASE	1997	DBLP DOI BibTeX RDF	ITOC information system design recovery tool, contemporary fourth-generation languages, redevelopment, rewriting effort, application structure, static schema definition, design recovery tool, 4GL-based information, data flow analysis, data flow analysis
12	Chae Hoon Lim, Pil Joong Lee	A Key Recovery Attack on Discrete Log-based Schemes Using a Prime Order Subgroupp.	CRYPTO	1997	DBLP DOI BibTeX RDF
12	Harry Buhrman, Thomas Thierauf	The Complexity of Generating and Checking Proffs of Membership.	STACS	1996	DBLP DOI BibTeX RDF
12	Ronald V. Book, Osamu Watanabe 0001	On Random Hard Sets for NP.	ISAAC	1994	DBLP DOI BibTeX RDF
12	Daxing Li, Shaohan Ma	Two Notes on Low-Density Subset Sum Algorithms.	ISAAC	1994	DBLP DOI BibTeX RDF
12	David Gillman, Michael Sipser	Inference and Minimization of Hidden Markov Chains.	COLT	1994	DBLP DOI BibTeX RDF
12	Daniel Hoffman, Xianhong Fang	Testing the C set++ collection class library.	CASCON	1994	DBLP BibTeX RDF
12	Ronald V. Book	Relativizing Complexity Classes With Random Oracles.	ISAAC	1993	DBLP DOI BibTeX RDF
12	Rolf Niedermeier, Peter Rossmanith	Extended Locally Definable Acceptance Types (Extended Abstract).	STACS	1993	DBLP DOI BibTeX RDF
12	Daniel Hoffman, Paul A. Strooper	A case study in class testing.	CASCON	1993	DBLP BibTeX RDF
12	Steven Rudich	The Use of Interaction in Public Cryptosystems (Extended Abstract).	CRYPTO	1991	DBLP DOI BibTeX RDF
12	Meena Mahajan, Kamala Krithivasan	Relativised Cellular Automata and Complexity Classes.	FSTTCS	1991	DBLP DOI BibTeX RDF
12	Eric Allender	Oracles versus Proof Techniques that Do Not Relativize.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
12	Osamu Watanabe 0001, Seinosuke Toda	Structural Analyses on the Complexity of Inverting Functions.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF
12	Donald Beaver, Joan Feigenbaum	Hiding Instances in Multioracle Queries.	STACS	1990	DBLP DOI BibTeX RDF
12	Erich Grädel	On Logical Descriptions of Some Concepts in Structural Complexity Theory.	CSL	1989	DBLP DOI BibTeX RDF
12	Ricard Gavaldà, José L. Balcázar	Strong and Robustly Strong Polynomial Time Reducibilities to Sparse Sets.	MFCS	1988	DBLP DOI BibTeX RDF
12	Hiroki Ishizaka	Inductive Inference of Regular Language Based on Model Inference.	LP	1987	DBLP DOI BibTeX RDF
12	Juris Hartmanis, Neil Immerman	On Complete Problems for NP$\cap$CoNP.	ICALP	1985	DBLP DOI BibTeX RDF
12	Mei Wang, Weihong Deng, Sen Su	Oracle character recognition using unsupervised discriminative consistency network.	Pattern Recognit.	2024	DBLP DOI BibTeX RDF
12	Biao Yang, Caizhen He, Pin Wang, Ching-Yao Chan, Xiaofeng Liu 0006, Yang Chen 0019	TPPO: A Novel Trajectory Predictor With Pseudo Oracle.	IEEE Trans. Syst. Man Cybern. Syst.	2024	DBLP DOI BibTeX RDF
12	Shuai Yang, Wei Zi, Bujiao Wu, Cheng Guo, Jialin Zhang 0001, Xiaoming Sun 0001	Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2024	DBLP DOI BibTeX RDF
12	Enrico Bettiol, Christoph Buchheim, Marianna De Santis, Francesco Rinaldi	An oracle-based framework for robust combinatorial optimization.	J. Glob. Optim.	2024	DBLP DOI BibTeX RDF
12	Yeganeh Aghamohammadi, Amin Rezaei 0001	LIPSTICK: Corruptibility-Aware and Explainable Graph Neural Network-based Oracle-Less Attack on Logic Locking.	CoRR	2024	DBLP DOI BibTeX RDF
12	Jiahuan Yan, Jintai Chen, Chaowen Hu, Bo Zheng, Yaojun Hu, Jimeng Sun 0001, Jian Wu	SERVAL: Synergy Learning between Vertical Models and LLMs towards Oracle-Level Zero-shot Medical Prediction.	CoRR	2024	DBLP DOI BibTeX RDF
12	Youquan Xian, Peng Liu, Dongcheng Li, Xueying Zeng	Safeguarding the Truth of High-Value Price Oracle Task: A Dynamically Adjusted Truth Discovery Method.	CoRR	2024	DBLP DOI BibTeX RDF
12	Milos Prokop, Petros Wallden, David Joseph	Grover's oracle for the Shortest Vector Problem and its application in hybrid classical-quantum solvers.	CoRR	2024	DBLP DOI BibTeX RDF
12	Adam Block, Mark Bun, Rathin Desai, Abhishek Shetty, Steven Wu	Oracle-Efficient Differentially Private Learning with Public Data.	CoRR	2024	DBLP DOI BibTeX RDF
12	Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas G. Veneris, Fan Long	Safeguarding DeFi Smart Contracts against Oracle Deviations.	CoRR	2024	DBLP DOI BibTeX RDF
12	Kento Imaizumi, Hideaki Iiduka	Iteration and Stochastic First-order Oracle Complexities of Stochastic Gradient Descent using Constant and Decaying Learning Rates.	CoRR	2024	DBLP DOI BibTeX RDF
12	Shalev Ben-David, Srijita Kundu	Oracle separation of QMA and QCMA with bounded adaptivity.	CoRR	2024	DBLP DOI BibTeX RDF
12	Haisu Guan, Jinpeng Wan, Yuliang Liu, Pengjie Wang, Kaile Zhang, Zhebin Kuang, Xinyu Wang, Xiang Bai, Lianwen Jin	An open dataset for the evolution of oracle bone characters: EVOBC.	CoRR	2024	DBLP DOI BibTeX RDF
12	Omer Cohen, Ron Meir, Nir Weinberger	Statistical curriculum learning: An elimination algorithm achieving an oracle risk.	CoRR	2024	DBLP DOI BibTeX RDF
12	Changlong Wu, Jin Sima, Wojciech Szpankowski	Oracle-Efficient Hybrid Online Learning with Unknown Distribution.	CoRR	2024	DBLP DOI BibTeX RDF
12	Lokesh Krishna, Nikhil Sobanbabu, Quan Nguyen 0004	OGMP: Oracle Guided Multimodal Policies for Agile and Versatile Robot Control.	CoRR	2024	DBLP DOI BibTeX RDF
12	Pengjie Wang, Kaile Zhang, Yuliang Liu, Jinpeng Wan, Haisu Guan, Zhebin Kuang, Xinyu Wang, Lianwen Jin, Xiang Bai	An open dataset for oracle bone script recognition and decipherment.	CoRR	2024	DBLP DOI BibTeX RDF
12	Yuko Kuroki, Atsushi Miyauchi 0001, Francesco Bonchi, Wei Chen 0013	Query-Efficient Correlation Clustering with Noisy Oracle.	CoRR	2024	DBLP DOI BibTeX RDF
12	Lars van der Laan, Marco Carone, Alex Luedtke	Combining T-learning and DR-learning: a framework for oracle-efficient estimation of causal contrasts.	CoRR	2024	DBLP DOI BibTeX RDF
12	Dipan Dey, Manoj Gupta 0002	Nearly Optimal Fault Tolerant Distance Oracle.	CoRR	2024	DBLP DOI BibTeX RDF
12	Sanidhay Arora, Yingjiu Li, Yebo Feng, Jiahua Xu	SecPLF: Secure Protocols for Loanable Funds against Oracle Manipulation Attacks.	CoRR	2024	DBLP DOI BibTeX RDF
12	Daniel Z. Zanger	Nonexact oracle inequalities, r-learnability, and fast rates.	J. Complex.	2024	DBLP DOI BibTeX RDF
12	Yishuai Li, Yunfeng Zhu, Chao Shi, Guanhua Zhang, Jianzhong Wang, Xiaolu Zhang	Timestamp as a Service, not an Oracle.	Proc. VLDB Endow.	2024	DBLP BibTeX RDF