19th International School on Foundations of Security Analysis and Design
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 1, 2019.

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).

Program (Wed. 28)

• 15.00-16.05
Prologue: a brief introduction to the Cybersecurity Osservatorio, by Giacomo Iadarola and Giacomo Giorgi (CNR-IIT Pisa, Italy)
M.-L. Zollinger (Univ. Luxembourg)
Formal Verification of Voting Protocols
D. Valadares (Federal Univ. of Campina Grande)
A Trusted Execution Environment-based Architecture to Protect Sensitive Data in Cloud/Fog-based IoT Applications
M. Kamel (ELTE University)
A privacy layer in DHT based resource discovery
• 16.20-17.00
Sandeep Gupta (University of Trento)
New Generation of User Authentication Schemes for Smart Devices and Smart Ecosystems
Joseph Aneke (University of Bari)
Toward Intelligent User Interfaces to Prevent Phishing Attacks