Ina Schaefer -

Not registered as user yet

Name:Ina Schaefer

Affiliation:TU Braunschweig

Contributions

GPCE 2020	Committee Member in Steering Committee within the GPCE-track
FormaliSE 2020	Author of Lattice-Based Information Flow Control-by-Construction for Security-by-Design within the FormaliSE 2020-track
GPCE 2011	Committee Member in Program Committee within the GPCE 2011-track