loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Jens Van der Plas ; Jens Nicolay ; Wolfgang De Meuter and Coen De Roover

Affiliation: Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, Brussels, Belgium

Keyword(s): Information Flow Control, Data Flow Analysis, Taint Analysis, Static Analysis, Modular Analysis.

Abstract: Information Flow Control is important for securing applications, primarily to preserve the confidentiality and integrity of applications and the data they process. Statically determining the flows of information for security purposes helps to secure applications early in the development pipeline. However, a sound and precise static analysis is difficult to scale. Modular static analysis is a technique for improving the scalability of static analysis. In this paper, we present an approach for constructing a modular static analysis for performing Information Flow Control for higher-order, imperative programs. A modular analysis requires information about data dependencies between modules. These dependencies arise as a result of information flows between modules, and therefore we piggy-back an Information Flow Control analysis on top of an existing modular analysis. Additionally, the resulting modular Information Flow Control analysis retains the benefits of its modular character. We va lidate our approach by performing an Information Flow Control analysis on 9 synthetic benchmark programs that contain both explicit and implicit information flows. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.149.254.48

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Van der Plas, J.; Nicolay, J.; De Meuter, W. and De Roover, C. (2023). MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-647-7; ISSN 2184-4895, SciTePress, pages 420-427. DOI: 10.5220/0011849900003464

@conference{enase23,
author={Jens {Van der Plas}. and Jens Nicolay. and Wolfgang {De Meuter}. and Coen {De Roover}.},
title={MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE},
year={2023},
pages={420-427},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011849900003464},
isbn={978-989-758-647-7},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE
TI - MODINF: Exploiting Reified Computational Dependencies for Information Flow Analysis
SN - 978-989-758-647-7
IS - 2184-4895
AU - Van der Plas, J.
AU - Nicolay, J.
AU - De Meuter, W.
AU - De Roover, C.
PY - 2023
SP - 420
EP - 427
DO - 10.5220/0011849900003464
PB - SciTePress