Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Arnaud Venet, Michael R. Lowry	Static analysis for software assurance: soundness, scalability and adaptiveness.	FoSER	2010	DBLP DOI BibTeX RDF
17	Yuan Ren 0001, Jeff Z. Pan, Yuting Zhao	Soundness Preserving Approximation for TBox Reasoning.	AAAI	2010	DBLP DOI BibTeX RDF
17	Daniele Micciancio	Computational Soundness, Co-induction, and Encryption Cycles.	EUROCRYPT	2010	DBLP DOI BibTeX RDF
17	Kun Peng, Feng Bao 0001	Formal and Precise Analysis of Soundness of Several Shuffling Schemes.	ProvSec	2010	DBLP DOI BibTeX RDF
17	Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer	On (Un)Soundness of Unravelings.	RTA	2010	DBLP DOI BibTeX RDF
17	Yuan Ren 0001, Jeff Z. Pan, Yuting Zhao	Towards Soundness Preserving Approximation for ABox Reasoning of OWL2.	Description Logics	2010	DBLP BibTeX RDF
17	Pablo Sepulveda, Victor Ramiro, Tomás Barros, José Miguel Piquer	Soundness of Chilean Internet Routes.	SCCC	2010	DBLP DOI BibTeX RDF
17	Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf	Soundness-Preserving Refinements of Service Compositions.	WS-FM	2010	DBLP DOI BibTeX RDF
17	Moe Thandar Wynn, H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, David Edmond	Soundness-preserving reduction rules for reset workflow nets.	Inf. Sci.	2009	DBLP DOI BibTeX RDF
17	Munenori Yamaguchi, Shingo Yamaguchi, Minoru Tanaka	A Model Checking Method of Soundness for Workflow Nets.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2009	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Geanina Ionela Macovei	Soundness for S - and A -Timed Workflow Nets Is Undecidable.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
17	Ralf Küsters, Max Tuengerthal	Computational Soundness for Key Exchange Protocols with Symmetric Encryption.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
17	Daniele Micciancio	Computational soundness, co-induction, and encryption cycles.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
17	Michael Backes 0001, Dennis Hofheinz, Dominique Unruh	CoSP: A General Framework For Computational Soundness Proofs.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
17	Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov	Soundness and completeness of formal encryption: The cases of key cycles and partial information leakage.	J. Comput. Secur.	2009	DBLP DOI BibTeX RDF
17	M. Agnes van Rees	Dissociation: Between Rhetorical Success and Dialectical Soundness.	Pondering on Problems of Argumentation	2009	DBLP DOI BibTeX RDF
17	Jie Shi, Hong Zhu 0003, Ge Fu, Tao Jiang	On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
17	Volker Gruhn, Ralf Laue 0001	A Comparison of Soundness Results Obtained by Different Approaches.	Business Process Management Workshops	2009	DBLP DOI BibTeX RDF
17	Lígia Maria Soares Passos, Stéphane Julia	Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification.	SMC	2009	DBLP DOI BibTeX RDF
17	Kun Peng, Feng Bao 0001	Efficient Publicly Verifiable Secret Sharing with Correctness, Soundness and ZK Privacy.	WISA	2009	DBLP DOI BibTeX RDF
17	Yuan Ren 0001, Jeff Z. Pan, Yuting Zhao	Soundness Preserving Approximation for TBox Reasoning in R.	Description Logics	2009	DBLP BibTeX RDF
17	Alena Hallerbach, Thomas Bauer 0001, Manfred Reichert	Guaranteeing Soundness of Configurable Process Variants in Provop.	CEC	2009	DBLP DOI BibTeX RDF
17	K. O. Wilander	Soundness in verification of algebraic specifications with OBJ.	J. Log. Algebraic Methods Program.	2008	DBLP DOI BibTeX RDF
17	Muck van Weerdenburg	Automating Soundness Proofs.	SOS@ICALP	2008	DBLP DOI BibTeX RDF
17	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	History-based joins: Semantics, soundness and implementation.	Data Knowl. Eng.	2008	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Dominique Unruh	Computational soundness of symbolic zero-knowledge proofs.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Andre Scedrov	Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.	J. Comput. Secur.	2008	DBLP DOI BibTeX RDF
17	Tali Kaufman, Simon Litsyn, Ning Xie 0002	Breaking the ε-Soundness Bound of the Linearity Test over GF(2).	Sublinear Algorithms	2008	DBLP BibTeX RDF
17	Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst	Soundness and Niceness as Correctness Criteria for Grid Workflows.	eScience	2008	DBLP DOI BibTeX RDF	correctness, grid workflow
17	Alfredo Pironti 0001, Riccardo Sisto	Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models.	DepCoS-RELCOMEX	2008	DBLP DOI BibTeX RDF
17	Alfredo Pironti 0001, Riccardo Sisto	Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.	ARES	2008	DBLP DOI BibTeX RDF
17	Ran Canetti	Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.	ICALP (2)	2008	DBLP DOI BibTeX RDF
17	Lorenzo Capra	Addressing soundness and efficiency issues in dynamic processes: a reflective PN-based modeling approach.	SpringSim	2008	DBLP DOI BibTeX RDF	petri nets, evolution, reflection, processes
17	Ingo Weber, Jörg Hoffmann 0001, Jan Mendling	Beyond Soundness: On the Semantic Consistency of Executable Process Models.	ECOWS	2008	DBLP DOI BibTeX RDF
17	David Galindo, Flavio D. Garcia, Peter van Rossum	Computational Soundness of Non-Malleable Commitments.	ISPEC	2008	DBLP DOI BibTeX RDF
17	Tali Kaufman, Simon Litsyn, Ning Xie 0002	Breaking the epsilon-Soundness Bound of the Linearity Test over GF(2).	APPROX-RANDOM	2008	DBLP DOI BibTeX RDF
17	Steinar Kristoffersen	Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Principles.	ICEIS (5)	2008	DBLP BibTeX RDF
17	Elena Machkasova	Computational Soundness of a Call by Name Calculus of Recursively-scoped Records.	WRS@RDP	2007	DBLP DOI BibTeX RDF
17	Martín Abadi, Phillip Rogaway	Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).	J. Cryptol.	2007	DBLP DOI BibTeX RDF
17	Shingo Yamaguchi, Hajime Matsuo, Qi-Wei Ge, Minoru Tanaka	WF-Net Based Modeling and Soundness Verification of Interworkflows.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Ronald R. Yager	On the soundness of altering granular information.	Int. J. Approx. Reason.	2007	DBLP DOI BibTeX RDF
17	Tali Kaufman, Simon Litsyn, Ning Xie 0002	Breaking the ε-Soundness Bound of the Linearity Test over GF(2).	Electron. Colloquium Comput. Complex.	2007	DBLP BibTeX RDF
17	Inga Camerzan	On Soundness for Time Workflow Nets.	Comput. Sci. J. Moldova	2007	DBLP BibTeX RDF
17	Luca Roversi	Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness	CoRR	2007	DBLP BibTeX RDF
17	Joey W. Coleman, Cliff B. Jones	A Structural Proof of the Soundness of Rely/guarantee Rules.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
17	H. M. W. Verbeek, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede	Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants.	Comput. J.	2007	DBLP DOI BibTeX RDF
17	Carla P. Gomes, Jörg Hoffmann 0001, Ashish Sabharwal, Bart Selman	Sampling and Soundness: Can We Have Both?	New Forms of Reasoning for the Semantic Web	2007	DBLP BibTeX RDF
17	Masayuki Abe, Serge Fehr	Perfect NIZK with Adaptive Soundness.	TCC	2007	DBLP DOI BibTeX RDF
17	Huafei Zhu, Feng Bao 0001	Securing RFID Tags: Authentication Protocols with Completeness, Soundness, and Non-Traceability.	WCNC	2007	DBLP DOI BibTeX RDF
17	Fabien Laguillaumie, Damien Vergnaud	On the Soundness of Restricted Universal Designated Verifier Signatures and Dedicated Signatures.	ISC	2007	DBLP DOI BibTeX RDF	Universal designated verifier signatures, zero-knowledge proof, Elgamal signatures
17	Nirmal Gami, Boleslaw Mikolajczak	Soundness of Loosely Coupled Inter-Organizational Workflows with Multilevel Security Features.	IKE	2007	DBLP BibTeX RDF
17	Yang Bo, Qin Zheng, Yu Fan, Qin Jun	The Soundness and Completeness Proof of Agent Intention in AgentSpeak.	Web Intelligence	2007	DBLP DOI BibTeX RDF
17	Federico Marulanda Rey	Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness.	LA-NMR	2007	DBLP BibTeX RDF
17	Romain Janvier, Yassine Lakhnech, Laurent Mazaré	Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions.	ICS@SYNASC	2006	DBLP DOI BibTeX RDF
17	Stephen D. Brookes	Variables as Resource for Shared-Memory Programs: Semantics and Soundness.	MFPS	2006	DBLP DOI BibTeX RDF
17	Masaki Nakanishi, Kiyoharu Hamaguchi, Toshinobu Kashiwabara	Expressive Power of Quantum Pushdown Automata with Classical Stack Operations under the Perfect-Soundness Condition.	IEICE Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF
17	Shien Jin Ong, Salil P. Vadhan	Zero Knowledge and Soundness are Symmetric.	Electron. Colloquium Comput. Complex.	2006	DBLP BibTeX RDF
17	Shien Jin Ong, Salil P. Vadhan	Zero Knowledge and Soundness are Symmetric.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
17	Masayuki Abe, Serge Fehr	Perfect NIZK with Adaptive Soundness.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
17	Gergei Bana, Payman Mohassel, Till Stegers	Computational Soundness of Formal Indistinguishability and Static Equivalence.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
17	Frank Puhlmann, Mathias Weske	Interaction Soundness for Service Orchestrations.	ICSOC	2006	DBLP DOI BibTeX RDF
17	Carlos Viegas Damásio, Jesús Medina 0001, Manuel Ojeda-Aciego	A Tabulation Proof Procedure for First-order Residuated Logic Programs: Soundness, Completeness and Optimizations.	FUZZ-IEEE	2006	DBLP DOI BibTeX RDF
17	Jan Tretmans	Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.	MMB	2006	DBLP BibTeX RDF
17	Martín Abadi, Mathieu Baudet, Bogdan Warinschi	Guessing Attacks and the Computational Soundness of Static Equivalence.	FoSSaCS	2006	DBLP DOI BibTeX RDF
17	Frank Puhlmann	A Tool Chain for Lazy Soundness.	BPM Demos	2006	DBLP BibTeX RDF
17	Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	History-Based Joins: Semantics, Soundness and Implementation.	Business Process Management	2006	DBLP DOI BibTeX RDF	Workflow management systems, Process patterns, Business process modeling and analysis, Process verification and validation, Formal models in business process management
17	Joseph R. Kiniry, Alan E. Morkan, Barry Denby	Soundness and completeness warnings in ESC/Java2.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.	ESORICS	2006	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Dan C. Marinescu	Structural soundness of workflow nets is decidable.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
17	Neal Glew, Jens Palsberg	Method Inlining, Dynamic Class Loading, and Type Soundness.	J. Object Technol.	2005	DBLP DOI BibTeX RDF
17	Enric Trillas, Sergio Guadarrama	What about fuzzy logic's linguistic soundness?	Fuzzy Sets Syst.	2005	DBLP DOI BibTeX RDF
17	Gergei Bana	Soundness and Completeness of Formal Logics of Symmetric Encryption.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
17	Michael Backes 0001, Birgit Pfitzmann, Andre Scedrov	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
17	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Soundness proof of Z semantics of OWL using institutions.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	comorphism of institutions, OWL, Z, institution
17	Romain Janvier, Yassine Lakhnech, Laurent Mazaré	Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.	ESOP	2005	DBLP DOI BibTeX RDF
17	Christopher Lynch, Catherine Meadows 0001	On the Relative Soundness of the Free Algebra Model for Public Key Encryption.	ARSPA@IJCAR	2004	DBLP DOI BibTeX RDF
17	Gang Chen	Soundness of Coercion in the Calculus of Constructions.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
17	Nobuyuki Sakamoto, Kazuyuki Tanaka	The strong soundness theorem for real closed fields and Hilbert's Nullstellensatz in second order arithmetic.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Second order arithmetic, Algebraically closed fields, Hilberts Nullstellensatz, Reverse mathematics, Real closed fields
17	Andrew Neel, Max H. Garzon, Phani Penumetsa	Soundness and quality of semantic retrieval in DNA-based memories with abiotic data.	IEEE Congress on Evolutionary Computation	2004	DBLP DOI BibTeX RDF
17	Daniele Micciancio, Bogdan Warinschi	Soundness of Formal Encryption in the Presence of Active Adversaries.	TCC	2004	DBLP DOI BibTeX RDF
17	Pierluigi Salvo Rossi, Patrizia Falco, Alessandra Budillon, Davide Mattera, Francesco Palmieri 0001	Prosody modification and Fujisaki's model: Preserving natural soundness.	EUSIPCO	2004	DBLP BibTeX RDF
17	Jonathan Herzog	Computational soundness for standard assumptions of formal cryptography.		2004	RDF
17	Wen-Ran Zhang, Lulu Zhang	Soundness and Completeness of a 4-Valued Bipolar Logic.	J. Multiple Valued Log. Soft Comput.	2003	DBLP BibTeX RDF
17	Dirk Pattinson	Coalgebraic modal logic: soundness, completeness and decidability of local consequence.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	Yunlei Zhao	Concurrent/Resettable Zero-Knowledge With Concurrent Soundness in the Bare Public-Key Model and Its Applications.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
17	Antoine Requet	A B model for ensuring soundness of a large subset of the Java Card virtual machine.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
17	Dale Jacquette	The Soundness Paradox.	Log. J. IGPL	2003	DBLP DOI BibTeX RDF
17	Claudio Sacerdoti Coen	A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.	ICTCS	2003	DBLP DOI BibTeX RDF
17	Frank Nielsen, Richard Nock	On Region Merging: The Statistical Soundness of Fast Sorting, with Applications.	CVPR (2)	2003	DBLP DOI BibTeX RDF
17	Christian Skalka, François Pottier	Syntactic Type Soundness for HM(X).	TIP@MPC	2002	DBLP DOI BibTeX RDF
17	Martín Abadi, Phillip Rogaway	Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).	J. Cryptol.	2002	DBLP DOI BibTeX RDF
17	David A. Naumann	Soundness of data refinement for a higher-order imperative language.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	Catarina Coquand	A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions.	High. Order Symb. Comput.	2002	DBLP DOI BibTeX RDF
17	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, idempotence and commutativity of set-sharing.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
17	Cristiano Calcagno, Simon Helsen, Peter Thiemann 0001	Syntactic Type Soundness Results for the Region Calculus.	Inf. Comput.	2002	DBLP DOI BibTeX RDF
17	Martin Peim, Enrico Franconi, Norman W. Paton	Estimating Soundness and Completeness over Queries Over Description Logics.	Description Logics	2002	DBLP BibTeX RDF
17	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, Idempotence and Commutativity of Set-Sharing	CoRR	2001	DBLP BibTeX RDF
17	Yunlei Zhao	New Notions of Soundness and Simultaneous Resettability in the Public-Key Model.	IACR Cryptol. ePrint Arch.	2001	DBLP BibTeX RDF
17	George Tourlakis	On the Soundness and Completeness of Equational Predicate Logics.	J. Log. Comput.	2001	DBLP DOI BibTeX RDF
17	Robert Bruce Findler, Matthias Felleisen	Contract Soundness for Object-Oriented Languages.	OOPSLA	2001	DBLP DOI BibTeX RDF