The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1977-1985 (16) 1986-1990 (21) 1991-1992 (17) 1993-1994 (24) 1995-1996 (17) 1997 (15) 1998-1999 (20) 2000 (17) 2001 (28) 2002 (29) 2003 (27) 2004 (50) 2005 (56) 2006 (86) 2007 (82) 2008 (72) 2009 (80) 2010 (43) 2011 (55) 2012 (50) 2013 (77) 2014 (61) 2015 (58) 2016 (64) 2017 (60) 2018 (63) 2019 (55) 2020 (85) 2021 (102) 2022 (94) 2023 (124) 2024 (26)
Publication types (Num. hits)
article(733) book(4) incollection(3) inproceedings(925) phdthesis(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 563 occurrences of 348 keywords

Results
Found 1674 publication records. Showing 1674 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
92Qing Xie 0003, Atif M. Memon Designing and comparing automated test oracles for GUI-based software applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing
73Ermaliza Razali, Raphael C.-W. Phan On the Existence of Related-Key Oracles in Cryptosystems Based on Block Ciphers. Search on Bibsonomy OTM Workshops (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Atif M. Memon, Ishan Banerjee, Adithya Nagarajan What Test Oracle Should I Use for Effective GUI Testing? Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF oracle procedure, oracle information, empirical studies, Test oracles, GUI testing
63Hu Jin, Yi Wang, Nian-Wei Chen, Zhi-Jian Gou, Shuo Wang Artificial Neural Network for Automatic Test Oracles Generation. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
63Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
62Michel Raynal Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles. Search on Bibsonomy PaCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fair Lossy Channels, Quiescent Protocol, Uniform Reliable Broadcast, Fault-Tolerance, Oracles, Failure Detectors, Asynchronous Distributed Systems, Process Crashes
53Fuchun Guo, Yi Mu 0001, Zhide Chen Efficient Batch Verification of Short Signatures for a Single-Signer Setting without Random Oracles. Search on Bibsonomy IWSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF short signature, Batch verification
53Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Hiroyuki Masuda, Raymond H. Putra, Shigeru Yamashita Quantum Identification of Boolean Oracles. Search on Bibsonomy STACS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
53James H. Andrews, Rui Fu, Vicky D. Liu Adding Value to Formal Test Oracles. Search on Bibsonomy ASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
53Kal Lin, Vassos Hadzilacos Asynchronous Group Membership with Oracles. Search on Bibsonomy DISC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
53Ran Canetti Towards Realizing Random Oracles: Hash Functions That Hide All Partial Information. Search on Bibsonomy CRYPTO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Juris Hartmanis, Lane A. Hemachandra On Sparse Oracles Separating Feasible Complexity Classes. Search on Bibsonomy STACS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
52Haibo Tian, Willy Susilo, Yang Ming 0001, Yumin Wang A Provable Secure ID-Based Explicit Authenticated Key Agreement Protocol Without Random Oracles. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cryptography, key agreement, random oracles, identity-based
52Petros Mol, Moti Yung Recovering NTRU Secret Key from Inversion Oracles. Search on Bibsonomy Public Key Cryptography The full citation details ... 2008 DBLP  DOI  BibTeX  RDF NTRUEncrypt, Inversion Oracles, Universal Breaking, Public-Key Cryptanalysis
52M. Choudary Gorantla, Ashutosh Saxena Verifiably Encrypted Signature Scheme Without Random Oracles. Search on Bibsonomy ICDCIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Bilinear Pairings, Fair Exchange, Random Oracles, Verifiably Encrypted Signature
52Adam L. Young, Moti Yung Relationships Between Diffie-Hellman and "Index Oracles". Search on Bibsonomy SCN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Diffie-Hellman (DH), Computational Diffie-Hellman, Decision Diffie-Hellman, JDL, LDL, Public Key Cryptography, Oracles, Black-Box Reductions, Discrete-Log
52Laura K. Dillon, Y. S. Ramakrishna Generating Oracles from Your Favorite Temporal Logic Specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF propositional temporal logic, specification-based test oracles, tableau methods, test validation, verification, formal specification
52Atif M. Memon, Martha E. Pollack, Mary Lou Soffa Automated test oracles for GUIs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF GUI test oracles, automated oracles, GUI testing
49Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova An axiomatic approach to algebrization. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF algebrization, independence, relativization
49Atif M. Memon, Qing Xie 0003 Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Smoke testing, empirical studies, regression testing, test oracles, GUI testing
49Dennis Brylow, Jens Palsberg Deadline Analysis of Interrupt-Driven Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multiresolution static analysis, Real time, testing oracles
49Dennis Brylow, Jens Palsberg Deadline analysis of interrupt-driven software. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multi-resolution static analysis, real time, testing oracles
43Ran Duan, Seth Pettie Bounded-leg distance and reachability oracles. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  BibTeX  RDF
43Aaron Bernstein, David R. Karger Improved distance sensitivity oracles via random sampling. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  BibTeX  RDF
43Chik How Tan Insider-secure Signcryption KEM/Tag-KEM Schemes without Random Oracles. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Signcryption KEM scheme, Signcryption Tag-KEM scheme
43Yoonsik Cheon Abstraction in Assertion-Based Test Oracles. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Rotem Bennet, Nader H. Bshouty Learning Attribute-Efficiently with Corrupt Oracles. Search on Bibsonomy ALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Rui Zhang 0002, Jun Furukawa 0001, Hideki Imai Short Signature and Universal Designated Verifier Signature Without Random Oracles. Search on Bibsonomy ACNS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Hong Wang, Yuqing Zhang, Dengguo Feng Short Threshold Signature Schemes Without Random Oracles. Search on Bibsonomy INDOCRYPT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Jason McDonald, Paul A. Strooper Translating Object-Z Specifications to Passive Test Oracles. Search on Bibsonomy ICFEM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
43Gordon Fraser 0001, Andreas Zeller Mutation-driven generation of unit tests and oracles. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing
43Surender Baswana, Sandeep Sen Approximate distance oracles for unweighted graphs in expected O(n2) time. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Approximate distance oracles, distance queries, shortest paths, distances, spanners
43Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001 Proxy Signature Without Random Oracles. Search on Bibsonomy MSN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Without Random Oracles, CDH Problem, Bilinear Pairings, Proxy Signature
43John Håkansson, Bengt Jonsson 0001, Ola Lundqvist Generating online test oracles from temporal logic specifications. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
43Martin S. Feather, Benjamin D. Smith Automatic Generation of Test Oracles-From Pilot Studies to Application. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Planning, Analysis, Verification and Validation, Test Oracles, NASA
43J. Jenny Li, Hong Liu, Rudolph E. Seviora Constructing automated protocol testing oracles to accommodate specification nondeterminism. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction
40Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
40Juan José Rodríguez, Ludmila I. Kuncheva Naïve Bayes Ensembles with a Random Oracle. Search on Bibsonomy MCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Matthew Hertz, Emery D. Berger Quantifying the performance of garbage collection vs. explicit memory management. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF explicit memory management, oracular memory management, performance analysis, throughput, garbage collection, paging, time-space tradeoff
40Rakesh Shukla, David A. Carrington, Paul A. Strooper A Passive Test Oracle Using a Component's API. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
40Rachid Guerraoui, Michel Raynal A Generic Framework for Indulgent Consensus. Search on Bibsonomy ICDCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Richard Beigel, Alexis Maciel Circuit Lower Bounds Collapse Relativized Complexity Classes. Search on Bibsonomy CCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF relativized computation, Booleand circuits, oracles, complexity theory
33Ran Duan, Seth Pettie Dual-failure distance and connectivity oracles. Search on Bibsonomy SODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Jérémie Bourdon, Irena Rusu Statistical Properties of Factor Oracles. Search on Bibsonomy CPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF factor recognition, suffix recognition, average-case analysis, indexing structure
33Phil McMinn Search-based failure discovery using testability transformations to generate pseudo-oracles. Search on Bibsonomy GECCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF non-testable program, pseudo-oracle, search-based software testing, testability transformation, program transformation, oracle
33Edwin J. Beggs Using Physical Experiments as Oracles. Search on Bibsonomy UC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Christian Murphy, Kuang Shen, Gail E. Kaiser Automatic system testing of programs without test oracles. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, metamorphic testing, oracle problem
33Daisuke Moriyama, Tatsuaki Okamoto An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles. Search on Bibsonomy ProvSec The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
33Xinyi Huang 0001, Willy Susilo, Yi Mu 0001, Wei Wu 0001 Secure universal designated verifier signature without random oracles. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Universal designated verifier signature, Gap Bilinear Diffie Hellman problem, Security analysis, Random oracle
33Surender Baswana, Akshay Gaur, Sandeep Sen, Jayant Upadhyay Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error. Search on Bibsonomy ICALP (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker Oracles and Advice as Measurements. Search on Bibsonomy UC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Chik How Tan Signcryption Scheme in Multi-user Setting without Random Oracles. Search on Bibsonomy IWSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF decisional bilinear Diffie-Hellman assumption, Signcryption
33Chik How Tan Insider-secure Hybrid Signcryption SchemeWithout Random Oracles. Search on Bibsonomy ARES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Jong Hwan Park, Kyu Young Choi, Jung Yeon Hwang, Dong Hoon Lee 0001 Certificateless Public Key Encryption in the Selective-ID Security Model (Without Random Oracles). Search on Bibsonomy Pairing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Certificateless Public Key Encryption, Bilinear Maps, Chosen Ciphertext Security
33Jin Li 0002, Tsz Hon Yuen, Kwangjo Kim Practical Threshold Signatures Without Random Oracles. Search on Bibsonomy ProvSec The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CDH problem, Threshold Signature, Bilinear groups
33Tsz Hon Yuen, Man Ho Au, Joseph K. Liu, Willy Susilo (Convertible) Undeniable Signatures Without Random Oracles. Search on Bibsonomy ICICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Convertible undeniable signature, pairings, random oracle model
33Susan Hohenberger, Stephen A. Weis Honest-Verifier Private Disjointness Testing Without Random Oracles. Search on Bibsonomy Privacy Enhancing Technologies The full citation details ... 2006 DBLP  DOI  BibTeX  RDF private disjointness testing, private intersection cardinality, subgroup decision assumption, private data mining, anonymous login
33Andris Ambainis, Kazuo Iwama, Akinori Kawachi, Rudy Raymond Harry Putra, Shigeru Yamashita Improved Algorithms for Quantum Identification of Boolean Oracles. Search on Bibsonomy SWAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Aggelos Kiayias, Hong-Sheng Zhou Concurrent Blind Signatures Without Random Oracles. Search on Bibsonomy SCN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Ik Rae Jeong, Jeong Ok Kwon, Dong Hoon Lee 0001 A Diffie-Hellman Key Exchange Protocol Without Random Oracles. Search on Bibsonomy CANS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Diffie-Hellman protocol, Strong forward secrecy, Unknown key share, Key exchange, Key compromise impersonation
33Tomoya Suzuki, Shigeru Yamashita, Masaki Nakanishi, Katsumasa Watanabe Robust Quantum Algorithms with epsilon-Biased Oracles. Search on Bibsonomy COCOON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Scott Aaronson Oracles Are Subtle But Not Malicious. Search on Bibsonomy CCC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Tomoyuki Yamakami Collapsing Recursive Oracles for Relativized Polynomial Hierarchies. Search on Bibsonomy FCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Brent Waters Efficient Identity-Based Encryption Without Random Oracles. Search on Bibsonomy EUROCRYPT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Dennis Hofheinz, Jörn Müller-Quade Universally Composable Commitments Using Random Oracles. Search on Bibsonomy TCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF universal composition, cryptographic protocols, commitment, random oracle
33Dan Boneh, Xavier Boyen Short Signatures Without Random Oracles. Search on Bibsonomy EUROCRYPT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Xin Wang, Ji Wang 0001, Zhi-Chang Qi Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Atif M. Memon, Qing Xie 0003 Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Fernando Pedone, André Schiper, Péter Urbán, David Cavin Solving Agreement Problems with Weak Ordering Oracles. Search on Bibsonomy EDCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Chris Hunter, Paul A. Strooper Systematically Deriving Partial Oracles for Testing Concurrent Programs. Search on Bibsonomy ACSC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33Wolfgang Merkle, Yongge Wang Separations by Random Oracles and "Almost" Classes for Generalized Reducibilities. Search on Bibsonomy MFCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Laura K. Dillon, Qing Yu Oracles for Checking Temporal Properties of Concurrent Systems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Pinar Donmez, Jaime G. Carbonell Proactive learning: cost-sensitive active learning with multiple imperfect oracles. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cost-sensitive active learning, multiple oracles, decision theory
33Dominique Unruh Random Oracles and Auxiliary Input. Search on Bibsonomy CRYPTO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF auxiliary input, proof techniques, Random oracles, foundations
33Mikkel Thorup, Uri Zwick Approximate distance oracles. Search on Bibsonomy J. ACM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Approximate distance oracles, distance queries, shortest paths, distances, spanners, distance labelings
33Mikkel Thorup Compact oracles for reachability and approximate distances in planar digraphs. Search on Bibsonomy J. ACM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF reachability and shortest paths oracles, Planar graphs
33Lívia M. R. Sampaio, Francisco Vilar Brasileiro, André L. C. Moreira Performance Analysis of Adaptive Consensus Protocols Based on Slowness Oracles. Search on Bibsonomy ICDCS Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF adaptive distributed protocols, slowness oracles, asynchronous distributed systems, unreliable failure detectors, consensus protocols
30László Babai, Robert Beals, Ákos Seress Polynomial-time theory of matrix groups. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF computational group theory, matrix groups, discrete log
30Kwangsu Lee, Jung Yeon Hwang, Dong Hoon Lee 0001 Non-interactive Identity-Based DNF Signature Scheme and Its Extensions. Search on Bibsonomy ICISC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Signer Anonymity, Identity-Based Signature, Disjunctive Normal Form, Access Structure
30Yoonki Song, Suresh Thummalapenta, Tao Xie 0001 UnitPlus: assisting developer testing in Eclipse. Search on Bibsonomy ETX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF developer testing, test code reuse
30Rui Zhang 0002, Hideki Imai Generic Combination of Public Key Encryption with Keyword Search and Public Key Encryption. Search on Bibsonomy CANS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
30Alexandra Boldyreva, Marc Fischlin On the Security of OAEP. Search on Bibsonomy ASIACRYPT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Hak Soo Ju, Dae Youb Kim, Dong Hoon Lee 0001, Haeryong Park, Kilsoo Chun Modified ID-Based Threshold Decryption and Its Application to Mediated ID-Based Encryption. Search on Bibsonomy APWeb The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Xin Wang, Zhi-Chang Qi, Shuhao Li An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. Search on Bibsonomy ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
30Paul D. Ezhilchelvan, Achour Mostéfaoui, Michel Raynal Randomized Multivalued Consensus. Search on Bibsonomy ISORC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fault-Tolerance, Message Passing, Asynchronous Distributed System, Random Number, Crash Failure, Unreliable Failure Detector, Consensus Problem, Randomized Protocol
30Donald Beaver, Joan Feigenbaum, Joe Kilian, Phillip Rogaway Security with Low Communication Overhead. Search on Bibsonomy CRYPTO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Atif M. Memon Employing user profiles to test a new version of a GUI component in its context of use. Search on Bibsonomy Softw. Qual. J. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Keyword GUI testing, User session data, User profiles, Software components, Automated testing, Test oracles
29Lásaro J. Camargos, Edmundo R. M. Madeira, Fernando Pedone Optimal and Practical WAB-Based Consensus Algorithms. Search on Bibsonomy Euro-Par The full citation details ... 2006 DBLP  DOI  BibTeX  RDF weak ordering oracles, Consensus, crash-recovery, Paxos
29Huaikou Miao, Ling Liu A Test Class Framework for Generating Test Cases from Z Specifications. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF test class framework, object-oriented concept, test case generation system, formal specification, oracles, test data, Z specifications, test framework, TCGS
29Victor Boyko On the Security Properties of OAEP as an All-or-Nothing Transform. Search on Bibsonomy CRYPTO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF all-or-nothing transforms, encryption modes, polynomial indistinguishability, random oracles, semantic security, exact security, OAEP
29Phil Stocks, David A. Carrington A Framework for Specification-Based Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Specification-based testing, testing strategies, test oracles, Z notation, test data
29Stathis Zachos A New Characterization of BPP. Search on Bibsonomy FSTTCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF Probalistic algorithms, polynomial time complexity classes, oracles, polynomial hierarchies
27Sylvain Boulmé Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles). (Programmation défensive formellement vérifiée (calculs efficaces et vérifiés en Coq, à partir d'oracles OCaml potentiellement non fiables)). Search on Bibsonomy 2021   RDF
27Vincent von Hof Leveraging Test Case Generation in the Testing Process - An Integration of Human Oracles with Derived Oracles. Search on Bibsonomy SoMeT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Olivier Finot Oracles du test de transformations de modèles. (Model Transformation Test Oracles). Search on Bibsonomy 2014   RDF
27Helena Handschuh, Yiannis Tsiounis, Moti Yung Decision Oracles are Equivalent to Matching Oracles. Search on Bibsonomy Public Key Cryptography The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Diffie-Hellman variants, randomized reductions, uniform reductions, homomorphic encryption functions (ElGamal, Goldwasser-Micali, Okamoto-Uchiyama, Naccache-Stern), random self-reducibility, universal malleability, public-key encryption, decision problems, matching problems
27Timothy J. Long Erratum: On Restricting the Size of Oracles Compared with Restricting Access to Oracles. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
27Timothy J. Long On Restricting the Size of Oracles Compared with Restricting Access to Oracles. Search on Bibsonomy SIAM J. Comput. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
23Markus Rückert, Dominique Schröder Security of Verifiably Encrypted Signatures and a Construction without Random Oracles. Search on Bibsonomy Pairing The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Markus Rückert, Dominique Schröder Aggregate and Verifiably Encrypted Signatures from Multilinear Maps without Random Oracles. Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1674 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license