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.