Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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.	T. Petri Nets and Other Models of Concurrency	2009	DBLP DOI BibTeX RDF	Workflow Nets, Reset Nets, Verification, Petri Nets, Decidability, Soundness
3	Ralf Küsters, Max Tuengerthal	Computational soundness for key exchange protocols with symmetric encryption.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	simulation-based security, cryptographic protocols, computational soundness
3	Michael Backes, 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
3	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
3	Michael Backes, 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
3	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
3	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
3	Yi Deng, 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
3	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
3	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
3	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
3	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
3	Sol Swords, William R. Cook	Soundness of the simply typed lambda calculus in ACL2.	ACL2	2006	DBLP DOI BibTeX RDF	lambda-calculus, soundness, ACL2
3	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
3	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
2	Dominique Unruh	Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness).	CSF	2011	DBLP DOI BibTeX RDF	Security definitions, indistinguishability, computational soundness
2	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	Michael Backes, Dennis Hofheinz, Dominique Unruh	CoSP: a general framework for computational soundness proofs.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	security, verification, theory
2	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
2	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
2	Carmine Ventre, Ivan Visconti	Co-sound Zero-Knowledge with Public Keys.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	co-soundness, rZK, NIZK, public-key models
2	Rosanne 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
2	Irit Dinur	PCPs with small soundness error.	SIGACT News	2008	DBLP DOI BibTeX RDF
2	Ugo Dal Lago, Martin Hofmann	A Semantic Proof of Polytime Soundness of Light Affine Logic.	CSR	2008	DBLP DOI BibTeX RDF
2	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
2	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu	Formalizing Soundness of Contextual Effects.	TPHOLs	2008	DBLP DOI BibTeX RDF
2	Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett	Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.	SAS	2008	DBLP DOI BibTeX RDF
2	Hubert Comon-Lundh, Véronique Cortier	Computational soundness of observational equivalence.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	security, cryptography, protocols, concurrency
2	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
2	Christoph Sprenger, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
2	Frank Puhlmann	Soundness Verification of Business Processes Specified in the Pi-Calculus.	OTM Conferences	2007	DBLP DOI BibTeX RDF
2	Michael Backes, 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
2	Shien Jin Ong, Salil P. Vadhan	Zero Knowledge and Soundness Are Symmetric.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
2	Steve Kremer	Computational Soundness of Equational Theories (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
2	Michael Backes, Markus Dürmuth, Ralf Küsters	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.	FSTTCS	2007	DBLP DOI BibTeX RDF
2	Steve Kremer, Laurent Mazaré	Adaptive Soundness of Static Equivalence.	ESORICS	2007	DBLP DOI BibTeX RDF
2	Roel 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
2	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
2	Gergei Bana, Payman Mohassel, Till Stegers	Computational Soundness of Formal Indistinguishability and Static Equivalence.	ASIAN	2006	DBLP DOI BibTeX RDF
2	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
2	Frank Puhlmann, Mathias Weske	Investigations on Soundness Regarding Lazy Activities.	Business Process Management	2006	DBLP DOI BibTeX RDF
2	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
2	Erik Ernst, Klaus Ostermann, William R. Cook	A virtual class calculus.	POPL	2006	DBLP DOI BibTeX RDF	soundness, virtual classes
2	JiDong Ge, Hao Hu, Jian Lu	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
2	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
2	Juan A. Garay, Philip D. MacKenzie, Ke Yang	Strengthening Zero-Knowledge Protocols Using Signatures.	J. Cryptology	2006	DBLP DOI BibTeX RDF	Simulation soundness, Signatures, Zero knowledge, Non-malleability
2	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
2	Massimo Benerecetti, Paolo Bouquet, Stefano Zanobini	Soundness of Schema Matching Methods.	ESWC	2005	DBLP DOI BibTeX RDF
2	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
2	Pedro Adão, Gergei Bana, Andre Scedrov	Computational and Information-Theoretic Soundness and Completeness of Formal Encryption.	CSFW	2005	DBLP DOI BibTeX RDF
2	Olha Shkaravska	Types with semantics: soundness proof assistant.	MERLIN	2005	DBLP DOI BibTeX RDF	type system, assertion, automated theorem proving, program logic
2	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
2	Brian Chin, Shane Markstrum, Todd D. Millstein	Semantic type qualifiers.	PLDI	2005	DBLP DOI BibTeX RDF	extensible typechecking, type qualifiers, type soundness
2	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Generalised Soundness of Workflow Nets Is Decidable.	ICATPN	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni	A Syntactic Approach to Foundational Proof-Carrying Code.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	foundational proof-carrying code, syntactic soundness proof, typed assembly language
2	Huibiao Zhu, Jonathan P. Bowen, Jifeng He	Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.	ICFEM	2002	DBLP DOI BibTeX RDF
2	Don Syme, Andrew D. Gordon	Automating Type Soundness Proofs via Decision Procedures and Guided Reductions.	LPAR	2002	DBLP DOI BibTeX RDF
2	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
2	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
2	Ana Cavalcanti, 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
2	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
2	Silvio Micali, Leonid Reyzin	Soundness in the Public-Key Model.	CRYPTO	2001	DBLP DOI BibTeX RDF
2	Luigi Di Lascio	Analytic fuzzy tableaux.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Fuzzy deductive systems, Fuzzy logic, Completeness, Decidability, Soundness, Tableaux
2	Ekkart Kindler, Axel Martens, Wolfgang Reisig	Inter-operability of Workflow Applications: Local Criteria for Global Soundness.	Business Process Management	2000	DBLP DOI BibTeX RDF
2	Anthony H. Dekker	C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	Cryptographic protocol, soundness, theorem prover, belief logic
2	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
2	Alexander Brodsky, 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
2	Healfdene Goguen	Soundness of the Logical Framework for Its Typed Operational Semantics.	TLCA	1999	DBLP DOI BibTeX RDF
2	Cornelia Pusch	Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.	TACAS	1999	DBLP DOI BibTeX RDF
2	Don Syme	Proving Java Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Peter Vojtás, Leonard Paulík	Soundness and Completeness of Non-classical SLD-Resolution.	ELP	1996	DBLP DOI BibTeX RDF
2	Zuoquan Lin, Wei Li	On Logic of Paradox. (PDF / PS)	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
2	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
2	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
2	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
2	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
2	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
1	Wenyan Xu, Sanyang Liu	Soundness and completeness of the Cirquent calculus system CL6 for computability logic.	Logic Journal of the IGPL	2012	DBLP DOI BibTeX RDF
1	Michael Backes, Fabian Bendun, Dominique Unruh	Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Gergei Bana, Hubert Comon-Lundh	Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Wei Liu, YuYue Du, Chun Yan	Soundness preservation in composed logical time workflow nets.	Enterprise IS	2012	DBLP DOI BibTeX RDF
1	Ferucio Laurentiu Tiplea, Corina Bocaneala	Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2012	DBLP DOI BibTeX RDF
1	Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada	Computational Soundness of Indistinguishability Properties without Computable Parsing.	ISPEC	2012	DBLP DOI BibTeX RDF
1	Gergei Bana, Hubert Comon-Lundh	Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.	POST	2012	DBLP DOI BibTeX RDF
1	Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer	On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.	RTA	2012	DBLP DOI BibTeX RDF
1	Todd Kulesza, Simone Stumpf, Margaret M. Burnett, Irwin Kwan	Tell me more?: the effects of mental model soundness on personalizing an intelligent agent.	CHI	2012	DBLP DOI BibTeX RDF
1	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: classification, decidability, and analysis.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Alessandro Chiesa, Michael Forbes	Improved Soundness for QMA with Multiple Provers.	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	Alexander J. Summers	Soundness and principal contexts for a shallow polymorphic type system based on classical logic.	Logic Journal of the IGPL	2011	DBLP DOI BibTeX RDF
1	Eli Dresner	Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.	Notre Dame Journal of Formal Logic	2011	DBLP BibTeX RDF
1	Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf	Analysis on demand: Instantaneous soundness checking of industrial business process models.	Data Knowl. Eng.	2011	DBLP DOI BibTeX RDF