Search results for "co-soundness"

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