|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1396 occurrences of 841 keywords
|
|
|
Results
Found 1741 publication records. Showing 1741 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | Michael Backes 0001, Markus Dürmuth, Ralf Küsters |
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
87 | Frank Puhlmann, Mathias Weske |
Investigations on Soundness Regarding Lazy Activities. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
|
76 | Jens Knoop, Oliver Rüthing |
Optimization Under the Perspective of Soundness, Completeness, and Reusability. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility |
59 | Olha Shkaravska |
Types with semantics: soundness proof assistant. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
type system, assertion, automated theorem proving, program logic |
55 | Ralf Küsters, Max Tuengerthal |
Computational soundness for key exchange protocols with symmetric encryption. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
simulation-based security, cryptographic protocols, computational soundness |
55 | Giovanni Di Crescenzo, Helger Lipmaa |
3-Message NP Arguments in the BPK Model with Optimal Soundness and Zero-Knowledge. |
ISAAC |
2008 |
DBLP DOI BibTeX RDF |
Zero-knowledge arguments, resettable zero-knowledge, resettable soundness, bare public-key model for zero-knowledge protocols |
55 | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati |
Efficient software model checking of soundness of type systems. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
software model checking, type soundness |
52 | Michael Backes 0001, Dennis Hofheinz, Dominique Unruh |
CoSP: a general framework for computational soundness proofs. |
CCS |
2009 |
DBLP DOI BibTeX RDF |
security, verification, theory |
52 | Michael Backes 0001, Birgit Pfitzmann, Andre Scedrov |
Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov |
Soundness of Formal Encryption in the Presence of Key-Cycles. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Frédéric Vogels, Bart Jacobs 0002, Frank Piessens |
A machine-checked soundness proof for an efficient verification condition generator. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
soundness proof, verification conditions |
48 | Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn |
Soundness of Workflow Nets with Reset Arcs. |
Trans. Petri Nets Other Model. Concurr. |
2009 |
DBLP DOI BibTeX RDF |
Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness |
48 | Michael Backes 0001, Birgit Pfitzmann |
Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. |
Int. J. Inf. Sec. |
2008 |
DBLP DOI BibTeX RDF |
Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness |
48 | Yi Deng 0002, Dongdai Lin |
Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption. |
Inscrypt |
2007 |
DBLP DOI BibTeX RDF |
Resettable Zero Knowledge, Concurrent Soundness, the Bare Public-Key Model, Resettably sound Zero Knowledge |
45 | Laurent Mazaré, Bogdan Warinschi |
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
45 | Frank Puhlmann |
Soundness Verification of Business Processes Specified in the Pi-Calculus. |
OTM Conferences (1) |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Don Syme, Andrew D. Gordon 0001 |
Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. |
LPAR |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Ekkart Kindler, Axel Martens, Wolfgang Reisig |
Inter-operability of Workflow Applications: Local Criteria for Global Soundness. |
Business Process Management |
2000 |
DBLP DOI BibTeX RDF |
|
41 | Michael Backes 0001, Dominique Unruh |
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, zero-knowledge proofs, computational soundness |
41 | Peeter Laud |
On the computational soundness of cryptographically masked flows. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
cryptographically masked flows, encryption, computational soundness, secure information flow |
41 | Nick Benton, Uri Zarfaty |
Formalizing and verifying semantic type soundness of a simple compiler. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
relational para-metricity, separation logic, proof assistants, compiler verification, type soundness |
41 | Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi |
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. |
CRYPTO |
2007 |
DBLP DOI BibTeX RDF |
Protocol Security, Provable Scurity, Computational Soundness, Diffie-Hellman Assumptions |
41 | Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve |
Verifying Generalized Soundness of Workflow Nets. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
verification, Petri nets, workflows, soundness |
41 | Sol Swords, William R. Cook |
Soundness of the simply typed lambda calculus in ACL2. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
lambda-calculus, soundness, ACL2 |
41 | Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré |
Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
Security Games, Computational Soundness of Formal Methods, Provable Security, Probabilistic Encryption |
41 | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve |
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability |
38 | Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001, Iulian Neamtiu |
Formalizing Soundness of Contextual Effects. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Juliane Siegeris, Armin Zimmermann |
Workflow Model Compositions Preserving Relaxed Soundness. |
Business Process Management |
2006 |
DBLP DOI BibTeX RDF |
Inter-organizational Workflow, Petri nets, Workflow, Validation, Composition |
38 | Boudewijn F. van Dongen, Jan Mendling, Wil M. P. van der Aalst |
Structural Patterns for Soundness of Business Process Models. |
EDOC |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Sorin Lerner, Todd D. Millstein, Erika Rice, Craig Chambers |
Automated soundness proofs for dataflow analyses and transformations via local rules. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
automated correctness proofs, compiler optimization |
38 | Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti |
Constant-Round Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model. |
CRYPTO |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Shirley H. C. Cheung, Xiaotie Deng, Chan H. Lee, Yunlei Zhao |
A New Notion of Soundness in Bare Public-Key Model. |
SCN |
2002 |
DBLP DOI BibTeX RDF |
|
38 | Silvio Micali, Leonid Reyzin |
Soundness in the Public-Key Model. |
CRYPTO |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Edgar Knapp |
Soundness and Completeness of UNITY Logic. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation |
34 | Dominique Unruh |
Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness). |
CSF |
2011 |
DBLP DOI BibTeX RDF |
Security definitions, indistinguishability, computational soundness |
33 | Michael Backes 0001, Markus Dürmuth, Ralf Küsters |
On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. |
IACR Cryptol. ePrint Arch. |
2007 |
DBLP BibTeX RDF |
|
31 | Carmine Ventre, Ivan Visconti |
Co-sound Zero-Knowledge with Public Keys. |
AFRICACRYPT |
2009 |
DBLP DOI BibTeX RDF |
co-soundness, rZK, NIZK, public-key models |
31 | Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu |
Analyzing BPEL Compositionality Based on Petri Nets. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Verification, Petri Net, BPEL, Soundness, compositionality |
31 | JiDong Ge, Hao Hu 0001, Jian Lu 0001 |
Invariant Analysis for the Task Refinement of Workflow Nets. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
workflow process model, task refinement, Petri nets, invariants, soundness, workflow composition |
31 | Kun Peng, Colin Boyd, Ed Dawson, Eiji Okamoto |
A Novel Range Test. |
ACISP |
2006 |
DBLP DOI BibTeX RDF |
interval range, range test, specialized zero test, correctness, soundness |
31 | Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni |
A Syntactic Approach to Foundational Proof-Carrying Code. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
foundational proof-carrying code, syntactic soundness proof, typed assembly language |
31 | Dilza Szwarcman, Bruno Feijó, Mónica Costa |
A Framework for Networked Reactive Character. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
networked reactive characters, distributed reactive characters, innovative concepts, shared state management, behavioral accuracy, visual soundness, open architecture toolkit, Bamboo, reactive environments, smooth animations, virtual reality, computer network, autonomy, clones, dead reckoning |
31 | Jan A. Plaza |
Completeness for Propositional Logic Programs with Negation. |
ISMIS |
1991 |
DBLP DOI BibTeX RDF |
SLD-resolution, knowledge representation in logic, logic programming, declarative programming, constructive negation, rule-based expert systems, non-classical logics, negation as failure, soundness and completeness |
31 | David Guaspari, Carla Marceau, Wolfgang Polak |
Formal Verification of Ada Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs |
31 | Frédéric Vogels, Bart Jacobs 0002, Frank Piessens |
A Machine Checked Soundness Proof for an Intermediate Verification Language. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Irit Dinur |
PCPs with small soundness error. |
SIGACT News |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett |
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Roel J. Wieringa, J. M. G. Heerkens |
The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. |
Requir. Eng. |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Gergei Bana, Payman Mohassel, Till Stegers |
Computational Soundness of Formal Indistinguishability and Static Equivalence. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve |
Soundness of Resource-Constrained Workflow Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
verification, Petri nets, concurrency, workflow, resources |
31 | Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini |
Soundness of Schema Matching Methods. |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve |
Generalised Soundness of Workflow Nets Is Decidable. |
ICATPN |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Ping Gong 0004, Keqing He |
On the Capability Compliance of Annotated Process Model. |
ACIS-ICIS |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Russell Impagliazzo, Valentine Kabanets, Avi Wigderson |
New direct-product testers and 2-query PCPs. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
testing, PCP, parallel repetition, direct products |
28 | Matthew Might, Panagiotis Manolios |
A PosterioriSoundness for Non-deterministic Abstract Interpretations. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Kun Peng, Feng Bao 0001 |
Batch ZK Proof and Verification of OR Logic. |
Inscrypt |
2008 |
DBLP DOI BibTeX RDF |
Batch proof and verification, knowledge statements linked with OR logic |
28 | Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah |
Sound 3-Query PCPPs Are Long. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Hong Zhu 0003, Jie Shi, Yuanzhen Wang, Yucai Feng |
Controlling Information Leakage of Fine-Grained Access Model in DBMSs. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Leonard Adelman, Paul E. Lehner, Brant A. Cheikes, M. F. Taylor |
An Empirical Evaluation of Structured Argumentation Using the Toulmin Argument Formalism. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Geng Liang, Sim Kim Lau |
Towards More Flexible Internal Workflow Change: Weakly Equivalence Concept for Inter-organizational Workflow Design. |
CEC/EEE |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Alex Samorodnitsky, Luca Trevisan |
Gowers uniformity, influence of variables, and PCPs. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
influence of variables, probabilistically checkable proofs, linearity test |
28 | Ferucio Laurentiu Tiplea, Aurora Tiplea |
Instantiating Nets and Their Applications to Workflow Nets. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Ugo Dal Lago, Martin Hofmann 0001 |
Quantitative Models and Implicit Complexity. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Yunlei Zhao, Xiaotie Deng, Chan H. Lee, Hong Zhu 0004 |
Resettable Zero-Knowledge in the Weak Public-Key Model. |
EUROCRYPT |
2003 |
DBLP DOI BibTeX RDF |
|
28 | K. Rustan M. Leino, Greg Nelson |
Data abstraction and information hiding. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking |
28 | Robert R. Schneck, George C. Necula |
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Kouichi Sakurai |
A Hidden Cryptographic Assunmption in No-Transferable Indentification Schemes. |
ASIACRYPT |
1996 |
DBLP DOI BibTeX RDF |
|
28 | V. S. Subrahmanian |
Query Processing in Quantitative Logic Programming. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Rosanne J. Price, Graeme G. Shanks |
The Effect of Data Quality Tag Values and Usable Data Quality Tags on Decision-Making. |
DASFAA Workshops |
2009 |
DBLP DOI BibTeX RDF |
Data quality tags, Experimental soundness, Decision-making, Contextual inquiry |
24 | Bryan Chadwick, Karl J. Lieberherr |
A type system for functional traversal-based aspects. |
FOAL |
2009 |
DBLP DOI BibTeX RDF |
adaptive programming, functional aspects, traversals, type soundness |
24 | Nick Benton, Nicolas Tabareau |
Compiling functional types to relational specifications for low level imperative code. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
separation logic, proof assistants, compiler verification, relational parametricity, type soundness |
24 | Christoph Sprenger 0001, David A. Basin |
Cryptographically-Sound Protocol-Model Abstractions. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability |
24 | Juan A. Garay, Philip D. MacKenzie, Ke Yang |
Strengthening Zero-Knowledge Protocols Using Signatures. |
J. Cryptol. |
2006 |
DBLP DOI BibTeX RDF |
Simulation soundness, Signatures, Zero knowledge, Non-malleability |
24 | Erik Ernst, Klaus Ostermann, William R. Cook |
A virtual class calculus. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
soundness, virtual classes |
24 | Brian Chin, Shane Markstrum, Todd D. Millstein |
Semantic type qualifiers. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
extensible typechecking, type qualifiers, type soundness |
24 | Ana Cavalcanti 0001, David A. Naumann |
Forward Simulation for Data Refinement of Classes. |
FME |
2002 |
DBLP DOI BibTeX RDF |
soundness of simulation, program analysis and verification, object-orientation, data refinement |
24 | Hasan M. Jamil, Gillian Dobbie |
A Model Theoretic Semantics for Multi-level Secure Deductive Databases. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
MLS databases, belief assertion, security, reasoning, deductive databases, soundness and completeness |
24 | K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou |
Using Data Groups to Specify and Check Side Effects. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
alias confinement, data groups, frame conditions, modifies lists, modular soundness, owner exclusion, pivot uniqueness, verification, side effects |
24 | Luigi Di Lascio |
Analytic fuzzy tableaux. |
Soft Comput. |
2001 |
DBLP DOI BibTeX RDF |
Fuzzy deductive systems, Fuzzy logic, Completeness, Decidability, Soundness, Tableaux |
24 | Alexander Brodsky 0001, Csilla Farkas, Sushil Jajodia |
Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
data-dependent disclosure, data-independent disclosure, constraints, completeness, decidability, soundness, Multilevel security, data confidentiality, inference algorithms, inference problem |
24 | Anthony H. Dekker |
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
Cryptographic protocol, soundness, theorem prover, belief logic |
24 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
24 | David von Oheimb |
Hoare Logic for Mutual Recursion and Local Variables. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion |
24 | Clemens Ballarin, Lawrence C. Paulson |
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers |
24 | Zuoquan Lin, Wei Li 0022 |
On Logic of Paradox. |
ISMVL |
1995 |
DBLP DOI BibTeX RDF |
logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity |
24 | Malek Adjouadi, Frank M. Candocia |
A Stereo Matching Paradigm Based on the Walsh Transformation. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1994 |
DBLP DOI BibTeX RDF |
feature-based stereo matching technique, feature point location, potential match searching, match validation, global consistency check, disparity determination, stereo image representation, Walsh-based attributes, accurate disparity extraction, matching primitives, image complexity, feature extraction, transforms, image matching, stereo vision, soundness, stereo image processing, derivatives, Walsh functions, processing time, Walsh transformation, decision-making process, feature point detection |
24 | Henk Schepers, Jozef Hooman |
Trace-Based Compositional Reasoning about Fault Tolerant Systems. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
Compositional proof theory, fault hypothesis, relative network completeness, fault tolerance, verification, specification, safety, soundness |
24 | Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf |
Instantaneous Soundness Checking of Industrial Business Process Models. |
BPM |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Hubert Comon-Lundh, Véronique Cortier |
Computational soundness of observational equivalence. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
security, cryptography, protocols, concurrency |
24 | Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ugo Dal Lago, Martin Hofmann 0001 |
A Semantic Proof of Polytime Soundness of Light Affine Logic. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Steve Kremer |
Computational Soundness of Equational Theories (Tutorial). |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Shien Jin Ong, Salil P. Vadhan |
Zero Knowledge and Soundness Are Symmetric. |
EUROCRYPT |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Steve Kremer, Laurent Mazaré |
Adaptive Soundness of Static Equivalence. |
ESORICS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu |
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Pedro Adão, Gergei Bana, Andre Scedrov |
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Christian Rinderknecht |
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1 |
24 | Juan José Moreno-Navarro, Susana Muñoz-Hernández |
Soundness and Completeness of an "Efficient" Negation for Prolog. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
Negation in Prolog, LP and nonmonotonic reasoning, Constructive Negation |
24 | Huibiao Zhu, Jonathan P. Bowen, Jifeng He 0001 |
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Don Syme |
Proving Java Type Soundness. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1741 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|