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 |
|