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 |
|