Search results for "soundness"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Michael Backes 0001, Esfandiar Mohammadi, Tim Ruffing	Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity.	POST	2014	DBLP DOI BibTeX RDF
17	Davide Ancona	How to prove type soundness of Java-like languages without forgoing big-step semantics.	FTfJP@ECOOP	2014	DBLP DOI BibTeX RDF
17	Baltasar Trancón y Widemann, Markus Lepper 0001	[Demo abstract] Sound and soundness: practical total functional data-flow programming.	FARM@ICFP	2014	DBLP DOI BibTeX RDF
17	Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum	On the Soundness of Silence: Investigating Silent Failures Using Fault Injection Experiments.	EDCC	2014	DBLP DOI BibTeX RDF
17	Marite Kirikova	Systemic Soundness in Continuous Information Systems Engineering.	DB&IS	2014	DBLP DOI BibTeX RDF
17	Thibaut Balabonski, François Pottier, Jonathan Protzenko	Type Soundness and Race Freedom for Mezzo.	FLOPS	2014	DBLP DOI BibTeX RDF
17	Ramana Kumar, Rob Arthan, Magnus O. Myreen, Scott Owens	HOL with Definitions: Semantics, Soundness, and a Verified Implementation.	ITP	2014	DBLP DOI BibTeX RDF
17	Kazuki Yoneyama	Computational Soundness of Asymmetric Bilinear Pairing-Based Protocols.	ProvSec	2014	DBLP DOI BibTeX RDF
17	Naoki Nishida 0001, Makishi Yanagisawa, Karl Gmeiner	On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings.	WPTE@RTA/TLCA	2014	DBLP DOI BibTeX RDF
17	Sherman S. M. Chow, Matthew K. Franklin, Haibin Zhang	Practical Dual-Receiver Encryption - Soundness, Complete Non-malleability, and Applications.	CT-RSA	2014	DBLP DOI BibTeX RDF
17	Zivile Kalsyte, Antanas Verikas	A novel approach to exploring company's financial soundness: Investor's perspective.	Expert Syst. Appl.	2013	DBLP DOI BibTeX RDF
17	Alessandro Chiesa, Michael A. Forbes 0001	Improved Soundness for QMA with Multiple Provers	Chic. J. Theor. Comput. Sci.	2013	DBLP BibTeX RDF
17	Subhash Khot, Muli Safra	A Two-Prover One-Round Game with Strong Soundness.	Theory Comput.	2013	DBLP DOI BibTeX RDF
17	Katja Hofmann, Shimon Whiteson, Maarten de Rijke	Fidelity, Soundness, and Efficiency of Interleaved Comparison Methods.	ACM Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
17	Natalia Sidorova, Christian Stahl	Soundness for Resource-Constrained Workflow Nets Is Decidable.	IEEE Trans. Syst. Man Cybern. Syst.	2013	DBLP DOI BibTeX RDF
17	Michael Viderman	Strong LTCs with inverse poly-log rate and constant soundness.	Electron. Colloquium Comput. Complex.	2013	DBLP BibTeX RDF
17	João Rasga, Amílcar Sernadas, Cristina Sernadas	Importing Logics: Soundness and Completeness Preservation.	Stud Logica	2013	DBLP DOI BibTeX RDF
17	Peter T. Breuer, Simon Pickin 0001	Soundness and Completeness of the NRB Verification Logic.	CoRR	2013	DBLP BibTeX RDF
17	Marco B. Caminati, Manfred Kerber, Christoph Lange 0002, Colin Rowat	Proving soundness of combinatorial Vickrey auctions and generating verified executable code.	CoRR	2013	DBLP BibTeX RDF
17	Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf	When Can We Trust a Third Party? - A Soundness Perspective.	Trans. Petri Nets Other Model. Concurr.	2013	DBLP DOI BibTeX RDF
17	Federico Aschieri	Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
17	Florian Böhl, Véronique Cortier, Bogdan Warinschi	Deduction Soundness: Prove One, Get Five for Free.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
17	Sherman S. M. Chow, Matthew K. Franklin, Haibin Zhang	Practical Dual-Receiver Encryption - Soundness, Complete Non-Malleability, and Applications.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
17	François Pottier	Syntactic soundness proof of a type-and-capability system with hidden state.	J. Funct. Program.	2013	DBLP DOI BibTeX RDF
17	Yingcang Ma, Huacan He	Predicate Formal System based on 1-level Universal AND Operator and its Soundness.	J. Comput.	2013	DBLP BibTeX RDF
17	Florian Böhl, Véronique Cortier, Bogdan Warinschi	Deduction soundness: prove one, get five for free.	CCS	2013	DBLP DOI BibTeX RDF
17	Vladimir A. Bashkin, Irina A. Lomazova	Soundness of Workflow Nets with an Unbounded Resource is Decidable.	PNSE+ModPE	2013	DBLP BibTeX RDF
17	Michael Backes 0001, Fabian Bendun, Dominique Unruh	Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification.	POST	2013	DBLP DOI BibTeX RDF
17	Mohammad Hajiabadi, Bruce M. Kapron	Computational Soundness of Coinductive Symbolic Security under Active Attacks.	TCC	2013	DBLP DOI BibTeX RDF
17	Michael Viderman	Strong LTCs with Inverse Poly-Log Rate and Constant Soundness.	FOCS	2013	DBLP DOI BibTeX RDF
17	Thomas M. Prinz	Fast Soundness Verification of Workflow Graphs.	ZEUS	2013	DBLP BibTeX RDF
17	Hideki Sakurada	Computational Soundness of Symbolic Blind Signatures under Active Attacker.	FPS	2013	DBLP DOI BibTeX RDF
17	Florian Lorenzen, Sebastian Erdweg	Modular and automated type-soundness verification for language extensions.	ICFP	2013	DBLP DOI BibTeX RDF
17	Elham Ramezani, Natalia Sidorova, Christian Stahl	Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.	FSEN	2013	DBLP DOI BibTeX RDF
17	Norbert Manthey, Tobias Philipp, Christoph Wernhard	Soundness of Inprocessing in Clause Sharing SAT Solvers.	SAT	2013	DBLP DOI BibTeX RDF
17	Mohamed Rouane Hacene, Marianne Huchard, Amedeo Napoli, Petko Valtchev	Soundness and Completeness of Relational Concept Analysis.	ICFCA	2013	DBLP DOI BibTeX RDF
17	Lígia Maria Soares Passos, Stéphane Julia	Qualitative Analysis of Interorganizational WorkFlow Nets Using Linear Logic: Soundness Verification.	ICTAI	2013	DBLP DOI BibTeX RDF
17	Michael Viderman	Strong LTCs with Inverse Polylogarithmic Rate and Soundness.	CCC	2013	DBLP DOI BibTeX RDF
17	Peter T. Breuer, Simon Pickin 0001	Soundness and Completeness of the NRB Verification Logic.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
17	Steffen van Bakel	Completeness and Soundness Results for with Intersection and Union Types.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
17	Ferucio Laurentiu Tiplea, Corina Bocaneala	Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets.	IEEE Trans. Syst. Man Cybern. Part A	2012	DBLP DOI BibTeX RDF
17	Michael Viderman	Strong LTCs with inverse polylogarithmic rate and soundness.	Electron. Colloquium Comput. Complex.	2012	DBLP BibTeX RDF
17	Wei Liu 0051, Yuyue Du, Chun Yan	Soundness preservation in composed logical time workflow nets.	Enterp. Inf. Syst.	2012	DBLP DOI BibTeX RDF
17	Lawrence S. Moss	The Soundness of Internalized Polarity Marking.	Stud Logica	2012	DBLP DOI BibTeX RDF
17	Neculai Curteanu, Mihai Alex Moruz	Toward the Soundness of Sense Structure Definitions in Thesaurus-Dictionaries. Parsing Problems and Solutions.	Comput. Sci. J. Moldova	2012	DBLP BibTeX RDF
17	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli	Standard Type Soundness for Agents and Artifacts.	Sci. Ann. Comput. Sci.	2012	DBLP BibTeX RDF
17	Michael Backes 0001, Fabian Bendun, Dominique Unruh	Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
17	Michael Backes 0001, Ankit Malik, Dominique Unruh	Computational Soundness without Protocol Restrictions.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
17	Mohammad Hajiabadi, Bruce M. Kapron	Computational Soundness of Coinductive Symbolic Security under Active Attacks.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
17	Gergei Bana, Hubert Comon-Lundh	Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.	IACR Cryptol. ePrint Arch.	2012	DBLP BibTeX RDF
17	Wenyan Xu, Sanyang Liu	Soundness and completeness of the Cirquent calculus system CL6 for computability logic.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
17	Michael Backes 0001, Ankit Malik, Dominique Unruh	Computational soundness without protocol restrictions.	CCS	2012	DBLP DOI BibTeX RDF
17	Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf	When Can We Trust a Third Party? - A Soundness Perspective.	PNSE	2012	DBLP BibTeX RDF
17	Guan Jun Liu, Jun Sun 0001, Yang Liu 0003, Jin Song Dong	Complexity of the Soundness Problem of Bounded Workflow Nets.	Petri Nets	2012	DBLP DOI BibTeX RDF
17	María Martos-Salgado, Fernando Rosa-Velardo	Cost Soundness for Priced Resource-Constrained Workflow Nets.	Petri Nets	2012	DBLP DOI BibTeX RDF
17	Gergei Bana, Hubert Comon-Lundh	Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.	POST	2012	DBLP DOI BibTeX RDF
17	Kahina Bessai, Selmin Nurcan, Claude Godart, Samir Youcef	Business Process Compositions Preserving k-Soundness Property.	APSCC	2012	DBLP DOI BibTeX RDF
17	Davide Ancona	Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics.	ECOOP	2012	DBLP DOI BibTeX RDF
17	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
17	Jan Midtgaard, Michael D. Adams 0001, Matthew Might	A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections.	SAS	2012	DBLP DOI BibTeX RDF
17	Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto 0001, Hideki Sakurada	Computational Soundness of Indistinguishability Properties without Computable Parsing.	ISPEC	2012	DBLP DOI BibTeX RDF
17	Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer	On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.	RTA	2012	DBLP DOI BibTeX RDF
17	Madalina Erascu, Tudor Jebelean	Soundness of a Logic-Based Verification Method for Imperative Loops.	SYNASC	2012	DBLP DOI BibTeX RDF
17	Kais Klai, Jörg Desel	Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
17	Haixia Xu 0002, Bao Li 0001, Qixiang Mei	Complementary Witness Soundness Witness Indistinguishable Proof System and CCA2 Public-Key Encryption Schemes.	INCoS	2012	DBLP DOI BibTeX RDF
17	Frédéric Vogels	Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's). (PDF / PS)		2012	RDF
17	Eli Dresner	Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.	Notre Dame J. Formal Log.	2011	DBLP DOI BibTeX RDF
17	Alessandro Chiesa, Michael A. Forbes 0001	Improved Soundness for QMA with Multiple Provers.	Electron. Colloquium Comput. Complex.	2011	DBLP BibTeX RDF
17	Géraud Sénizergues	Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness	CoRR	2011	DBLP BibTeX RDF
17		Proof-Theoretic Soundness and Completeness	CoRR	2011	DBLP BibTeX RDF
17	Wenyan Xu, Sanyang Liu	Soundness and completeness of the cirquent calculus system CL6 for computability logic	CoRR	2011	DBLP BibTeX RDF
17	Alessandro Chiesa, Michael A. Forbes 0001	Improved Soundness for QMA with Multiple Provers	CoRR	2011	DBLP BibTeX RDF
17	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
17	Natalia Sidorova, Christian Stahl, Nikola Trcka	Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible.	Inf. Syst.	2011	DBLP DOI BibTeX RDF
17	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 Aspects Comput.	2011	DBLP DOI BibTeX RDF
17	Alexander J. Summers	Soundness and principal contexts for a shallow polymorphic type system based on classical logic.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
17	Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi	Computational Soundness - The Case of Diffie-Hellman Keys.	Formal Models and Techniques for Analyzing Security Protocols	2011	DBLP DOI BibTeX RDF
17	Véronique Cortier, Bogdan Warinschi	A composable computational soundness notion.	CCS	2011	DBLP DOI BibTeX RDF
17	Subhash Khot, Muli Safra	A Two Prover One Round Game with Strong Soundness.	FOCS	2011	DBLP DOI BibTeX RDF
17	Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig	Soundness of Data Flow Analyses for Weak Memory Models.	APLAS	2011	DBLP DOI BibTeX RDF
17	Falko Koetter, Monika Weidmann, Daniel Schleicher	Guaranteeing Soundness of Adaptive Business Processes Using ABIS.	BIS	2011	DBLP DOI BibTeX RDF
17	Davide Ancona	Coinductive big-step operational semantics for type soundness of Java-like languages.	FTfJP@ECOOP	2011	DBLP DOI BibTeX RDF
17	Hubert Comon-Lundh, Véronique Cortier	How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.	STACS	2011	DBLP DOI BibTeX RDF
17	Sreekanth Malladi	Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR.	TOSCA	2011	DBLP DOI BibTeX RDF
17	Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe	Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity.	RTA	2011	DBLP DOI BibTeX RDF
17	María Martos-Salgado, Fernando Rosa-Velardo	Dynamic Soundness in Resource-Constrained Workflow Nets.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
17	Danilo Valeros Bernardo, Doan B. Hoang	Formalization and Information-Theoretic Soundness in the Development of Security Architecture for Next Generation Network Protocol - UDT.	FGIT-SecTech	2011	DBLP DOI BibTeX RDF
17	Xinfeng Lei, Rui Xue 0001, Ting Yu 0001	Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles.	ICICS	2011	DBLP DOI BibTeX RDF
17	Ugo Dal Lago, Martin Hofmann 0001	A Semantic Proof of Polytime Soundness of Light Affine Logic.	Theory Comput. Syst.	2010	DBLP DOI BibTeX RDF
17	Ingo Weber, Jörg Hoffmann 0001, Jan Mendling	Beyond soundness: on the verification of semantic business process models.	Distributed Parallel Databases	2010	DBLP DOI BibTeX RDF
17	Steffen van Bakel	Completeness and partial soundness results for intersection and union typing for lambda_µµ_.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
17	Dominique Unruh	Termination-Insensitive Computational Indistinguishability (and applications to computational soundness).	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
17	Xinfeng Lei, Rui Xue 0001, Ting Yu 0001	Computational Soundness about Formal Encryption in the Presence of Secret Shares and Key Cycles.	IACR Cryptol. ePrint Arch.	2010	DBLP BibTeX RDF
17	Michael Backes 0001, Dominique Unruh	Computational soundness of symbolic zero-knowledge proofs.	J. Comput. Secur.	2010	DBLP DOI BibTeX RDF
17	Mathieu Baudet, Bogdan Warinschi, Martín Abadi	Guessing attacks and the computational soundness of static equivalence.	J. Comput. Secur.	2010	DBLP DOI BibTeX RDF
17	Tali Kaufman, Simon Litsyn, Ning Xie 0002	Breaking the Epsilon-Soundness Bound of the Linearity Test over GF(2).	SIAM J. Comput.	2010	DBLP DOI BibTeX RDF
17	Ueli Maurer, Björn Tackmann	On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption.	CCS	2010	DBLP DOI BibTeX RDF
17	Benny Applebaum, Yuval Ishai, Eyal Kushilevitz	From Secrecy to Soundness: Efficient Verification via Secure Computation.	ICALP (1)	2010	DBLP DOI BibTeX RDF
17	Natalia Sidorova, Christian Stahl, Nikola Trcka	Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.	CAiSE	2010	DBLP DOI BibTeX RDF