Projects and Funding

SAI: Social Explainable Artificial Intelligence. CHIST-ERA (EU), 2021-2023.

SmartExit: Facilitating optimal containment and exit strategies with minimal disclosure access control and tracking. COVID-19 Fast-Track Luxembourg (FNR), 2020.

STV: Socio-Technical Verification of Information Security and Trust in Voting Systems. Bilateral Polish-Luxembourgish project (NCBiR PolLux/FNR CORE), 2019-22.

VoteVerif: Verification of Voter-Verifiable Voting Protocols. Bilateral Polish-Luxembourgish project (NCBiR PolLux/FNR CORE), 2016-19.

ReVINK: Representation and Verification of Interaction and Knowledge. Marie Sklodowska-Curie IEF Fellowship (EU FP7), 2014-16.

GaLOT: Game Logics for Open IT Environments. Bilateral German-Luxembourgish project (INTER DGF/FNR), 2012-15.

Applied Security and Information Assurance Group @ University of Luxembourg Home
Formal Verification Group @ Polish Academy of Sciences
Computational Intelligence Group @ Clausthal University of Technology Last modified 2022-09-13