|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2360 occurrences of 1141 keywords
|
|
|
Results
Found 3978 publication records. Showing 3978 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Atif M. Memon, Ishan Banerjee, Adithya Nagarajan |
What Test Oracle Should I Use for Effective GUI Testing? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 164-173, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
oracle procedure, oracle information, empirical studies, Test oracles, GUI testing |
83 | Rachid Guerraoui, Michel Raynal |
The Information Structure of Indulgent Consensus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 53(4), pp. 453-466, 2004. The full citation details ...](Pics/full.jpeg) |
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 |
81 | Georg Gottlob |
Collapsing Oracle-Tape Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996, pp. 33-42, 1996, IEEE Computer Society, 0-8186-7386-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
tape, logspace, logarithmic space, machine model, complexity, query, oracle, circuit, Turing machine, generalized quantifier, relativization, bounded queries |
63 | Hoeteck Wee |
Zero Knowledge in the Random Oracle Model, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, pp. 417-434, 2009, Springer, 978-3-642-10365-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sequential composition, zero-knowledge, obfuscation, random oracle model |
63 | Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc |
Oracle size: a new measure of difficulty for communication tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 179-187, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
broadcast, oracle, wakeup |
63 | Wim van Dam |
Quantum Oracle Interrogation: Getting All Information for Almost Half the Price. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 362-367, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
oracle/black-box model, computational complexity, quantum computation |
57 | Ilaria Venturini |
Oracle Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Data Hiding Multim. Secur. ![In: Transactions on Data Hiding and Multimedia Security III, pp. 50-69, 2008, Springer, 978-3-540-69016-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Oracle attacks, Secure watermarking, Information hiding, Covert channels, Information leakage, Subliminal channels, Covert communications |
57 | Ran Canetti, Oded Goldreich 0001, Shai Halevi |
The random oracle methodology, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(4), pp. 557-594, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CS-proofs, Correlation intractability, the random-oracle model, cryptography, diagonalization |
55 | Ulf Johansson, Lars Niklasson |
Evolving decision trees using oracle guides. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIDM ![In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2009, part of the IEEE Symposium Series on Computational Intelligence 2009, Nashville, TN, USA, March 30, 2009 - April 2, 2009, pp. 238-244, 2009, IEEE, 978-1-4244-2765-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
55 | Ahto Buldas, Sven Laur, Margus Niitsoo |
Oracle Separation in the Non-uniform Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable Security, Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings, pp. 230-244, 2009, Springer, 978-3-642-04641-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
55 | Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi |
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008, pp. 15-18, 2008, IEEE Computer Society, 978-0-7695-3181-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Léa Meyer |
Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 9th International Conference, ALT '98, Otzenhausen, Germany, October 8-10, 1998, Proceedings, pp. 306-320, 1998, Springer, 3-540-65013-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Maxime Crochemore, Lucian Ilie, Emine Seid-Hilmi |
Factor Oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, pp. 78-89, 2006, Springer, 3-540-37213-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
factor oracle, suffix trie, graph quotient, string matching, suffix tree |
50 | B. John Oommen, Jing Chen |
On Enhancing Query Optimization in the Oracle Database System by Utilizing Attribute Cardinality Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006, Revised Selected Papers, pp. 38-71, 2006, Springer, 978-3-540-77580-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Histogram-based Algorithms, Attribute Cardinality Maps, ORACLE DBMS, TPC-H benchmark, Query Optimization |
50 | Ilaria Venturini |
Oracle Attacks and Covert Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDW ![In: Digital Watermarking, 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005, Proceedings, pp. 171-185, 2005, Springer, 3-540-28768-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Oracle attacks, Watermarking, Covert channels |
50 | Jens Grivolla |
Using Oracle for natural language document retrieval an automatic query reformulation approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR 2005: Proceedings of the 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Salvador, Brazil, August 15-19, 2005, pp. 605-606, 2005, ACM, 1-59593-034-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
natural language, Oracle, query reformulation |
50 | Taekeon Lee, Jongsung Kim, Changhoon Lee, Jaechul Sung, Sangjin Lee 0002, Dowon Hong |
Padding Oracle Attacks on Multiple Modes of Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2004, 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers, pp. 343-351, 2004, Springer, 3-540-26226-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Padding oracle attacks, Multiple modes of operation, Block ciphers |
50 | Rosario Gennaro, Shai Halevi, Tal Rabin |
Secure Hash-and-Sign Signatures Without the Random Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '99, International Conference on the Theory and Application of Cryptographic Techniques, Prague, Czech Republic, May 2-6, 1999, Proceeding, pp. 123-139, 1999, Springer, 3-540-65889-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Hash and Sign, Smooth Numbers, Digital Signatures, RSA, Random Oracle, Chameleon Hashing |
50 | Ran Duan, Seth Pettie |
Connectivity oracles for failure prone graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 465-474, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
connectivity |
50 | Ran Canetti |
Towards Realizing Random Oracles: Hash Functions That Hide All Partial Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '97, 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings, pp. 455-469, 1997, Springer, 3-540-63384-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
48 | Rick Greenwald, Robert Stackowiak, Jonathan Stern |
Oracle essentials - Oracle database 11g: what you need to know about Oracle database architecture and features: covers Oracle database 11g and earlier releases (4. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
46 | Phil McMinn |
Search-based failure discovery using testability transformations to generate pseudo-oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1689-1696, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle |
46 | Anthony Berglas, John V. Harrison |
Evaluation of the ITOC information system design recovery tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPC ![In: 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997 - Dearborn, MI, USA, pp. 176-182, 1997, IEEE Computer Society, 0-8186-7993-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
ITOC information system design recovery tool evaluation, legacy information systems, Ingres to Oracle Conversion project, large collaborative research initiative, application structure, static schema definition, Ingres 4GL applications, Oracle CASE tool, simple data mining, real commercial applications, software maintenance, data flow analysis, query analysis |
45 | Alexander May 0001, Maike Ritzenhofen |
Implicit Factoring: On Polynomial Time Factoring Given Only an Implicit Hint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2009, 12th International Conference on Practice and Theory in Public Key Cryptography, Irvine, CA, USA, March 18-20, 2009. Proceedings, pp. 1-14, 2009, Springer, 978-3-642-00467-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Factoring with an oracle, lattices |
45 | Patrícia D. L. Machado |
On Oracles for Interpreting Test Results against Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 502-518, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
formal verification, correctness, algebraic specification, specification based-testing, oracle |
44 | Akira Numayama, Toshiyuki Isshiki, Keisuke Tanaka |
Security of Digital Signature Schemes in Weakened Random Oracle Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2008, 11th International Workshop on Practice and Theory in Public-Key Cryptography, Barcelona, Spain, March 9-12, 2008. Proceedings, pp. 268-287, 2008, Springer, 978-3-540-78439-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
digital signature, collision, random oracle model, preimage |
44 | Arnold K. L. Yau, Kenneth G. Paterson, Chris J. Mitchell |
Padding Oracle Attacks on CBC-Mode Encryption with Secret and Random IVs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption: 12th International Workshop, FSE 2005, Paris, France, February 21-23, 2005, Revised Selected Papers, pp. 299-319, 2005, Springer, 3-540-26541-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
padding oracle, CBC-mode, side channel, ISO standards |
44 | Ilaria Venturini |
Counteracting Oracle attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MM&Sec ![In: Proceedings of the 6th workshop on Multimedia & Security, MM&Sec 2004, Magdeburg, Germany, September 20-21, 2004, pp. 187-192, 2004, ACM, 1-58113-854-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
integrity watermarking, oracle attack, security, covert channel, semi-fragile watermarking |
44 | Kenneth G. Paterson, Arnold K. L. Yau |
Padding Oracle Attacks on the ISO CBC Mode Encryption Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2004, The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings, pp. 305-323, 2004, Springer, 3-540-20996-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
padding oracle attack, CBC-mode encryption, ISO standard |
44 | Kothuri Venkata Ravi Kanth, Siva Ravada, Daniel Abugov |
Quadtree and R-tree indexes in oracle spatial: a comparison using GIS data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, Madison, Wisconsin, USA, June 3-6, 2002, pp. 546-557, 2002, ACM, 1-58113-497-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ORACLE |
44 | Christer Berg, Staffan Ulfberg |
A Lower Bound for Perceptrons and an Oracle Separation of the PPPH Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 165-172, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
oracle separation, PP/sup PH/ hierarchy, linear size boolean circuits, superpolynomial size perceptrons, lower bound, Boolean functions, perceptrons |
44 | Andrew Laursen, Jeffrey Olkin, Mark Porter |
Oracle Media Server: Providing Consumer Based Interactive Access to Multimedia Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, USA, May 24-27, 1994., pp. 470-477, 1994, ACM Press, 978-0-89791-639-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
ORACLE |
43 | Jagan Sankaranarayanan, Hanan Samet |
Distance Oracles for Spatial Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 652-663, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Arvola Chan |
Transactional Publish / Subscribe: The Proactive Multicast of Database Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 521, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
guaranted delivery, publish.subscribe, subject-based addressing, transactionally guaranteed delivery, multicast, event-driven, reliable delivery |
43 | Sunil Chakkappen, Thierry Cruanes, Benoît Dageville, Linan Jiang, Uri Shaft, Hong Su, Mohamed Zaït |
Efficient and scalable statistics gathering for large databases in Oracle 11g. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 1053-1064, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
partitioned tables, statistics gathering, sampling, large databases, synopses |
43 | Juan José Rodríguez, Ludmila I. Kuncheva |
Naïve Bayes Ensembles with a Random Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCS ![In: Multiple Classifier Systems, 7th International Workshop, MCS 2007, Prague, Czech Republic, May 23-25, 2007, Proceedings, pp. 450-458, 2007, Springer, 978-3-540-72481-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Thierry Cruanes, Benoît Dageville, Bhaskar Ghosh |
Parallel SQL Execution in Oracle 10g. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Paris, France, June 13-18, 2004, pp. 850-854, 2004, ACM, 1-58113-859-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Gaoyan Xie, Cheng Li, Zhe Dang |
Testability of Oracle Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers, pp. 331-332, 2004, Springer, 3-540-24318-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Carme Àlvarez, José L. Balcázar, Birgit Jenner |
Functional Oracle Queries as a Measure of Parallel Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 91, 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, Proceedings, pp. 422-433, 1991, Springer, 3-540-53709-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
40 | Mark Aldred, Ilya Gertner, Stephen McKellar |
A distributed lock manager on fault tolerant MPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 134-136, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed lock manager, fault tolerant MPP, Oracle Parallel Server, MPP UNIX system, resource locks, distributed message passing, global memory, reflective memory, Encore Infinity 90 architecture, shared memory style DLM, DLM recovery, Oracle session, node repair, MPP Unix, reliability, parallel programming, fault tolerant computing, message passing, Unix, shared memory systems, software fault tolerance, operating systems (computers) |
40 | Daniel Hoffman, Paul A. Strooper |
Automated Module Testing in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 934-943, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs |
38 | Helger Lipmaa, Guilin Wang, Feng Bao 0001 |
Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 459-471, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Designated verifier signature scheme, non-delegatability, non-programmable random oracle model, signature scheme |
38 | Satoshi Hada, Toshiaki Tanaka |
A Relationship between One-Wayness and Correlation Intractability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography, Second International Workshop on Practice and Theory in Public Key Cryptography, PKC '99, Kamakura, Japan, March 1-3, 1999, Proceedings, pp. 82-96, 1999, Springer, 3-540-65644-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
correlation intractability, zero-knowledge, One-way functions, random oracle, interactive proofs, round complexity |
38 | Ning An, Raja Chatterjee, Mike Hörhammer, Siva Ravada |
Securely implementing open geospatial consortium web service interface standards in oracle spatial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 18th International Conference on World Wide Web, WWW 2009, Madrid, Spain, April 20-24, 2009, pp. 1179-1180, 2009, ACM, 978-1-60558-487-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ogc web service interface standards, oracle spatial, security, geospatial |
38 | Mohamed Zaït, Allison W. Lee, Khaled Yagoub, Ravi Sahani, Holly Casaletto, Lokesh Kumar |
Testing on a budget: integrating e-business certification into the Oracle DBMS testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBTest ![In: Proceedings of the 2nd International Workshop on Testing Database Systems, DBTest 2009, Providence, Rhode Island, USA, June 29, 2009, 2009, ACM, 978-1-60558-706-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
test, SQL, query optimizer, DBMS, workload, Oracle |
38 | Kazuki Yoneyama, Satoshi Miyagawa, Kazuo Ohta |
Leaky Random Oracle (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, pp. 226-240, 2008, Springer, 978-3-540-88732-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hash list, provable security, leakage, standard model, random oracle model |
38 | Roy Friedman, Achour Mostéfaoui, Michel Raynal |
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil, pp. 228-237, 2004, IEEE Computer Society, 0-7695-2239-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed algorithm, Asynchronous distributed system, Random oracle, Unreliable failure detector, Randomized protocol, Byzantine process |
38 | George C. Necula, Shree Prakash Rahul |
Oracle-based checking of untrusted software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 142-154, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ORACLE |
38 | Tirthankar Lahiri, Amit Ganesh, Ron Weiss, Ashok Joshi |
Fast-Start: Quick Fault Recovery in Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2001 ACM SIGMOD international conference on Management of data, Santa Barbara, CA, USA, May 21-24, 2001, pp. 593-598, 2001, ACM, 1-58113-332-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ORACLE |
38 | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
Fault-Based Testing in the Absence of an Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 172-, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
symbolic execution, Fault-based testing, metamorphic testing, oracle problem |
38 | Stephen Deerhake |
AP 527: an ORACLE SQL - APL2/PC Auxiliary Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the International Conference on APL 1991, Palo Alto, CA, USA, August 4-8, 1991., pp. 118-125, 1991, ACM, 0-89791-441-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
APL, SQL, ORACLE |
37 | Pinar Donmez, Jaime G. Carbonell |
Proactive learning: cost-sensitive active learning with multiple imperfect oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 17th ACM Conference on Information and Knowledge Management, CIKM 2008, Napa Valley, California, USA, October 26-30, 2008, pp. 619-628, 2008, ACM, 978-1-59593-991-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cost-sensitive active learning, multiple oracles, decision theory |
37 | Dominique Unruh |
Random Oracles and Auxiliary Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2007, 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007, Proceedings, pp. 205-223, 2007, Springer, 978-3-540-74142-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
auxiliary input, proof techniques, Random oracles, foundations |
37 | Hans Ulrich Simon |
How Many Missing Answers Can Be Tolerated by Query Learners? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 37(1), pp. 77-94, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Craig Gentry, Zulfikar Ramzan |
Eliminating Random Permutation Oracles in the Even-Mansour Cipher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2004, 10th International Conference on the Theory and Application of Cryptology and Information Security, Jeju Island, Korea, December 5-9, 2004, Proceedings, pp. 32-47, 2004, Springer, 3-540-23975-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Johannes Köbler, Wolfgang Lindner 0002 |
The Complexity of Learning Concept Classes with Polynomial General Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, pp. 149-163, 2002, Springer, 3-540-00170-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Hans Ulrich Simon |
How Many Missing Answers Can Be Tolerated by Query Learners? ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 384-395, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Automated test oracles for GUIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, pp. 30-39, 2000, ACM, 978-1-58113-205-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
GUI test oracles, automated oracles, GUI testing |
37 | Aaron Bernstein, David R. Karger |
A nearly optimal oracle for avoiding failed vertices and edges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 101-110, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
shortest paths, sensitivity |
37 | Jaeyeon Jung, Anmol Sheth, Ben Greenstein, David Wetherall, Gabriel Maganis, Tadayoshi Kohno |
Privacy oracle: a system for finding application leaks with black box differential testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 279-288, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data loss prevention, differential fuzz testing, personal information leaks, sequence alignment algorithm, black-box testing |
37 | Kenneth G. Paterson, Gaven J. Watson |
Immunising CBC Mode Against Padding Oracle Attacks: A Formal Security Treatment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCN ![In: Security and Cryptography for Networks, 6th International Conference, SCN 2008, Amalfi, Italy, September 10-12, 2008. Proceedings, pp. 340-357, 2008, Springer, 978-3-540-85854-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Jan Vondrák |
Optimal approximation for the submodular welfare problem in the value oracle model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 67-74, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
combinatorial auctions, matroids, submodular functions |
37 | Jean-Sébastien Coron, Jacques Patarin, Yannick Seurin |
The Random Oracle Model and the Ideal Cipher Model Are Equivalent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2008, 28th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2008. Proceedings, pp. 1-20, 2008, Springer, 978-3-540-85173-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Mao Ye, Boqin Feng, Li Zhu, Yao Lin |
Automated Test Oracle Based on Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 517-522, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Yevgeniy Dodis, Prashant Puniya |
On the Relation Between the Ideal Cipher and the Random Oracle Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings, pp. 184-206, 2006, Springer, 3-540-32731-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Mao Ye, Boqin Feng, Li Zhu, Yao Lin |
Neural Networks Based Automated Test Oracle for Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (3) ![In: Neural Information Processing, 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part III, pp. 498-507, 2006, Springer, 3-540-46484-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
37 | Rakesh Shukla, David A. Carrington, Paul A. Strooper |
A Passive Test Oracle Using a Component's API. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 561-567, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
37 | Masahiro Mambo, Kouichi Sakurai, Eiji Okamoto |
How to Utilize the Transformability of Digital Signatures for Solving the Oracle Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT '96, International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996, Proceedings, pp. 322-333, 1996, Springer, 3-540-61872-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
37 | Dennis K. Peters, David Lorge Parnas |
Generating a Test Oracle from Program Documentation (Work in Progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994, pp. 58-65, 1994, ACM, 0-89791-683-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C++ |
37 | Andrew Holman |
The MEIKO Computing Surface: A Parallel & Scalable Open Systems Platform for Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advanced Database Systems, 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, UK, July 6-8, 1992, Proceedings, pp. 96-114, 1992, Springer, 3-540-55693-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Ueli M. Maurer |
Factoring with an Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT '92, Workshop on the Theory and Application of of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992, Proceedings, pp. 429-436, 1992, Springer, 3-540-56413-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Iain A. Stewart |
Logical Characterization of Bounded Query Classes II: Polynomial-Time Oracle Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 410-424, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
37 | Bernhard Korte, Rainer Schrader |
A Survey on Oracle Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings, pp. 61-77, 1981, Springer, 3-540-10856-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
36 | Steven Feuerstein, Bill Pribyl, Chip Dawes |
Oracle PL/SQL language - pocket reference: a guide to Oracle PL/SQL language fundamentals: covers Oracle database 11g (4. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
36 | Rick Greenwald, Robert Stackowiak, Jonathan Stern |
Oracle essentials - Oracle database 10g: what you need to know about Oracle database architecture and features: includes Oracle9i and Oracle8i (3. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
36 | Sanjay Mishra, Alan Beaulieu |
Mastering Oracle SQL - putting Oracle SQL to work: covers Oracle database 10g (2. ed). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
36 | Steven Feuerstein, Bill Pribyl, Chip Dawes |
Oracle PL / SQL language - pocket reference: a guide to Oracle's PL / SQL language fundamentals: covers Oracle Database 10g (3. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
36 | David C. Kreines |
Oracle initialization parameters - pocket reference: Oracle configuration quick reference: includes Oracle database 10g. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2004 |
RDF |
|
36 | Rick Greenwald, Robert Stackowiak, Jonathan Stern |
Oracle essentials - Oracle 9i, Oracle 8i, and Oracle8 (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
36 | Tushar Mahapatra, Sanjay Mishra |
Oracle parallel processing - Oracle parallel execution and Oracle parallel server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
32 | Leonor Becerra-Bonache, Colin de la Higuera, Jean-Christophe Janodet, Frédéric Tantini |
Learning Balls of Strings with Correction Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 18-29, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Oracle Learning, Balls of Strings, Edit Distance, Grammatical Inference, Correction Queries |
32 | Jun Furukawa 0001, Kaoru Kurosawa, Hideki Imai |
An Efficient Compiler from Sigma-Protocol to 2-Move Deniable Zero-Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, pp. 46-57, 2006, Springer, 3-540-35907-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constant-round, resettable zero-knowledge, the random oracle model, resettably-sound argument of knowledge, ?-protocol, efficient, deniable |
32 | Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Futai Zhang |
Short (Identity-Based) Strong Designated Verifier Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPEC ![In: Information Security Practice and Experience, Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006, Proceedings, pp. 214-225, 2006, Springer, 3-540-33052-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
strong designated verifier signature scheme, random oracle model, short signature, identity based, designated verifier signature |
32 | Fangguo Zhang, Xiaofeng Chen 0001, Willy Susilo, Yi Mu 0001 |
A New Signature Scheme Without Random Oracles from Bilinear Pairings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VIETCRYPT ![In: Progressin Cryptology - VIETCRYPT 2006, First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006, Revised Selected Papers, pp. 67-80, 2006, Springer, 3-540-68799-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Bilinear pairings, Standard model, Random oracle, Short signature |
32 | Richard Beigel, Bin Fu |
Circuits Over PP and PL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the Twelfth Annual IEEE Conference on Computational Complexity, Ulm, Germany, June 24-27, 1997, pp. 24-35, 1997, IEEE Computer Society, 0-8186-7907-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reduction, oracle, circuit, closure, PL, Boolean formula, AC, NC, PP |
32 | Georg Gottlob |
NP Trees and Carnap's Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(2), pp. 421-457, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic |
32 | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari 0001 |
Oracle-guided component-based program synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 215-224, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
oracle-based learning, SAT, program synthesis, SMT |
32 | Chung-Chih Li |
Speed-Up Theorems in Type-2 Computations Using Oracle Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(4), pp. 880-896, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Type-2 computation, Oracle Turing machine, Speed-up theorem |
32 | Liming Fang 0001, Willy Susilo, Chunpeng Ge, Jiandong Wang |
A Secure Channel Free Public Key Encryption with Keyword Search Scheme without Random Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANS ![In: Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings, pp. 248-258, 2009, Springer, 978-3-642-10432-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
public key encryption with keyword search, without random oracle, searchable encryption |
32 | Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech |
Towards automated proofs for asymmetric encryption schemes in the random oracle model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 371-380, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
asymmetric encryption, automated proofs, provable security, hoare logics, random oracle model |
32 | Guy Durrieu, Hélène Waeselynck, Virginie Wiels |
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 7-22, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal methods, automation, Test oracle, avionics |
32 | Hung-Yu Chien, Tzong-Chen Wu |
Highly Efficient Password-Based Three-Party Key Exchange in Random Oracle Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI Workshops ![In: Intelligence and Security Informatics, IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings, pp. 69-76, 2008, Springer, 978-3-540-69136-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
authentication, key agreement, random oracle, impersonation attack, guessing attack |
32 | Ravi Murthy, Eric Sedlar |
Flexible and efficient access control in oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12-14, 2007, pp. 973-980, 2007, ACM, 978-1-59593-686-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Oracle security model, access control, enterprise applications, ACL |
32 | Emmanuel Udoh |
Teaching database in an integrated oracle environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 38(4), pp. 71-74, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
oracle administration, database, integration, curriculum, teaching |
32 | Sofie Vanophem, Kris Vanstappen |
Making oracle behave. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 153-158, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
user interface design, Windows, Oracle |
32 | Roy Friedman, Achour Mostéfaoui, Michel Raynal |
Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(1), pp. 46-56, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed algorithm, Asynchronous distributed system, random oracle, unreliable failure detector, randomized protocol, Byzantine process |
32 | K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Omprakash Sangwan |
A neural net based approach to Test Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 29(3), pp. 1-6, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software testing, artificial neural networks, Test Oracle |
32 | Euan W. Dempster, Neven Tomov, M. Howard Williams, Hamish Taylor, Albert G. Burger, Philip W. Trinder, Jiang Lü, Phil Broughton |
Modelling Parallel Oracle for Performance Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 13(3), pp. 251-269, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
parallel Oracle, analytical modelling, performance prediction, parallel database |
32 | Jesse Anton, Lawrence Jacobs, Xiang Liu, Jordan Parker, Zheng Zeng, Tie Zhong |
Web caching for database applications with Oracle Web Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2002 ACM SIGMOD International Conference on Management of Data, Madison, Wisconsin, USA, June 3-6, 2002, pp. 594-599, 2002, ACM, 1-58113-497-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
partial-page caching, performance, personalization, caching, heuristics, consistency, template, fragment, ORACLE, disambiguation, session, dynamic content, invalidation |
32 | Louis Granboulan |
Short Signatures in the Random Oracle Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings, pp. 364-378, 2002, Springer, 3-540-00171-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
random oracle and ideal cipher models, proven security, digital signature, padding |
Displaying result #1 - #100 of 3978 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|