In ALBIA we aim to develop logic-based methods to analyze software for secure information-flow security. We follow two approaches:
- Deductive verification that a given program adhere to the specified information-flow policy
- Detection of information leaks and automatic exploit generation to assist developers in understanding and fixing the found leaks
The ALBIA project had been funded by the 3 in phase 2 (Oct. 2012 to Feb. 2015). Thereafter ALBIA was an associated project of RS3. DFG priority programme RS
The principal investigators are Prof. Reiner Hähnle and Richard Bubel.