Fully Automated Logic-Based Information-Flow Analysis (ALBIA)

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 DFG priority programme RS3 in phase 2 (Oct. 2012 to Feb. 2015). Thereafter ALBIA was an associated project of RS3.

The principal investigators are Prof. Reiner Hähnle and Richard Bubel.