Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|