Combining Symbolic and Numerical Domains for Information Leakage Analysis-Reference-Cited by-同舟云学术

Combining Symbolic and Numerical Domains for Information Leakage Analysis

Published:2018 Issue: Volume: Page:98-135
ISSN:0302-9743
Container-title:Transactions on Computational Science XXXI
language:
Short-container-title:

Author:

Cortesi Agostino^ORCID,Ferrara Pietro,Halder Raju,Zanioli Matteo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-56499-8_6

Reference47 articles.

1. Andersen, H.R.: An introduction to binary decision diagrams. Technical report, Course Notes on the WWW (1997)

2. Armstrong, T., Marriott, K., Schachte, P., Søndergaard, H.: Two classes of boolean functions for dependency analysis. Sci. Comput. Program. 31, 3–45 (1998)

3. Askarov, A., Hedin, D., Sabelfeld, A.: Cryptographically-masked flows. Theor. Comput. Sci. 402, 82–101 (2008)

4. Lecture Notes in Computer Science;A Askarov,2005

5. Bagnara, R., Hill, P.M., Zaffanella, E.: The parma polyhedra library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72, 3–21 (2008)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Secure information flow connections;Journal of Logical and Algebraic Methods in Programming;2022-06

2. Intents Analysis of Android Apps for Confidentiality Leakage Detection;Advances in Intelligent Systems and Computing;2020-07-23

3. Only Connect, Securely;Formal Techniques for Distributed Objects, Components, and Systems;2019

4. Abstract Semantic Dependency;Static Analysis;2019

5. SDLI: Static Detection of Leaks Across Intents;2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE);2018-08