Open PhD Forum
FOSAD invites submissions from PhD students who are willing to present their novel and ongoing research ideas and contributions.
Proposals (title and abstract) are due through the application form and can be uploaded and updated at any time, no later than August 8, 2021.
The proposals will be reviewed by the scientific committee of FOSAD.
The accepted proposals must be presented at the summer school during the open session of the PhD forum (20 min. per talk).
The slides are available here.
Session 1 (Monday, 17:15-18:15):
Alessandro Erba (CISPA Saarbrücken)
Assessing Model-free Anomaly Detection in Industrial Control Systems Against Evasion Attacks
Semyon Yurkov (Université du Luxembourg)
Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments
James Hsin-yu Chiang (DTU Copenhagen)
Security in Decentralized Finance (DeFi)
Session 2 (Tuesday, 17:15-18:15):
Loïc Miller (University of Strasbourg)
Workflow Policy Verification Using Metagraphs
Sevdenur Baloglu (Université du Luxembourg)
Election Verifiability
Adrien Ragot (Université du Luxembourg)
A graphical model for conflict in access control
Session 3 (Thursday, 17:15-18:15):
Giacomo Iadarola (CNR-IIT Pisa)
Towards Explainability-Driven Approaches for Image-based Malware Analysis
Yan Kim (Université du Luxembourg)
Towards Model Checking of Voting Protocols in Uppaal
Philip Lukert (CISPA Saarbrücken)
Numbers in Formal Protocol Verification