17th 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, 2017.

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


B. Cappers (TUE)
SpySpot: Network traffic analysis using deep packet inspection and data visualization
D. Homann (Univ. Göttingen)
Dynamic Fuzzy Search over Encrypted Data
W. Widel (IRISA)
On optimization problems in attack-defense trees
A. Pilgun (Univ. Luxembourg)
Code coverage without source code for Android security testing
K. Nikitin (EPFL)
CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds
D. Al-Azizy (Univ. Southampton)
Controlling the Publish of Linked Open Government Data for Balancing Data Utility and Privacy
M. Kolar (Univ. of Malaga)
Policy languages and their adequacy for trust negotiation
S. Hallberg (TU Hamburg)
Language-centric approaches to the specification of program behavior
A. Goyal (IIT Bombay)
An Assessment of seL4 Security
D. Bosk (KTH)
Securely and Privately Verifying Protests