Supplementary Material for "Automated Mitigation of Confidentiality Violations in Software Architectures using Discrete Optimization"

Read full text
Authors: Benjamin Arp
Cited by: 0

Abstract

Supplementary material for the thesis "Automated Mitigation of Confidentiality Violations in Software Architectures using Discrete Optimization". For more information, please see the README.md

Fields of Study & Subjects

Security and Verification in Computing Information and Cyber Security Access Control and Trust

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
5 March 2026
Language
EN