posted by user: aldinia || 8682 views || tracked by 4 users: [display]

FOSAD 2016 : summer school FOSAD: Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Security Analysis and Design
 
Link: http://www.sti.uniurb.it/events/fosad16
 
When Aug 29, 2016 - Sep 3, 2016
Where Bertinoro, Italy
Submission Deadline Jun 20, 2016
Categories    security   summerschool   foundations   computer science
 

Call For Papers

16TH INTERNATIONAL SCHOOL ON
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
FOSAD 2016
====================================================

http://www.sti.uniurb.it/events/fosad16

====================================================
29 August - 3 September 2016, Bertinoro, Italy

In cooperation with the
European Network for Cyber-security (NeCS)

*** Application Deadline: June 20, 2016

FOSAD has been one of the foremost events established
with the goal of disseminating knowledge about
foundations of security analysis and design to
graduate students and young computer scientists from
academia or industry.

COURSES)

Eerke Boiten (Kent Univ.)
What's the unit of security?

Cas Cremers (Oxford Univ.)
Mathematical models, analysis tools, and Internet security

Emiliano de Cristofaro (Univ. College London)
Privacy-preserving information sharing: tools and applications

Bryan Ford (EPFL)
Secure systems building

Alfredo Pironti (IOActive)
Formal verification of security protocol implementations:
from theory to practice

Ahmad-Reza Sadeghi (TU Darmstadt)
Practical systems security

Ankur Taly (Google Inc.)
Practical distributed authorization

The courses alternate theory and practice sessions.

OPEN SESSION)

Daily sessions are organized for participants
who intend to take advantage of the audience for
presenting their current research/tool in the area.

SCIENTIFIC COMMITTEE)

Martin Abadi Javier Lopez
Alessandro Aldini Fabio Martinelli (Chair)
Gilles Barthe Catherine Meadows
Eerke Boiten Bart Preneel
Sandro Etalle

SCHOOL VENUE)

The school is organized at the University Residential
Center of Bertinoro (CEUB), Italy:
http://www.ceub.it/
The host venue provides a unique architectonical and
environmental setting joining the stunning views of
the hilltop of Bertinoro with the historical location
of the ancient fortress and the facilities of the
Center, which offers accommodation, meeting rooms,
and modern conference and computing services.

SCHOOL DATES)

Prospective participants should apply through the
FOSAD web page by:
June 20, 2016.
Notification of accepted applicants will be posted by:
June 24, 2016.
Registration to the school is due by:
July 24, 2016.

SCHOOL FEES)

The full fee is 900 Euros and covers stay from
August 28, in double room, half board (breakfast
and lunch), welcome dinner of August 28 and social
dinner included.
A limited amount of grants will be provided to
cover part of the fee for young researchers.

Related Resources

ISDS 2026   2026 International Symposium on Information Security and Data Science
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
CfA Summer Institute 2026   CfA Charles Taylor Annual Summer Institute on Democratic Agendas 2026
GreeNet Symposium - SGNC 2026   17th Symposium on Green Networking and Computing (SGNC 2026)
AIxMHC (Summer) 2026   IEEE Artificial Intelligence x Medicine, Health, and Care (AIxMHC, Summer Edition)
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
AIxSoftware (Summer) 2026   International Conference on AI x Software (Summer Edition)
CVIPPR 2026   2026 4th Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2026)
CCIOT 2026   2026 11th International Conference on Cloud Computing and Internet of Things (CCIOT 2026)
CACML 2026   2026 5th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2026)