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