posted by organizer: aldinia || 1236 views || tracked by 2 users: [display]

FOSAD 2015 : 15th International School on Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Security Analysis and Design
 
Link: http://www.sti.uniurb.it/events/fosad15/
 
When Aug 31, 2015 - Sep 5, 2015
Where Bertinoro, Italy
Submission Deadline Jun 20, 2015
 

Call For Papers

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.

LECTURERS)

Michael Backes (Saarland Univ.):
Privacy in the Internet of the future

Herbert Bos (Vrije Univ. Amsterdam):
System security

Michael Clarkson (Cornell Univ.):
Quantification and formalization of security

Hubert Comon (ENS Cachan):
Automated security proofs by contradiction

Ivan Damgård (Aarhus Univ.):
An introduction to multiparty computation and 
a survey of recent advances

Andy Gordon (Microsoft Research):
Probabilistic programming and security

Heiko Mantel (TU Darmstadt):
Concurrent noninterference

Bonus track:
Strategic thinking for researchers, by Andy Gordon

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, 2015.
Notification of accepted applicants will be posted by:
June 24, 2015.
Registration to the school is due by:
July 24, 2015.

SCHOOL FEES)

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

Related Resources

ICEDA--EI Compendex, Scopus 2018   2018 3rd International Conference on Engineering Design and Analysis (ICEDA 2018)--EI Compendex, Scopus
BDA4CID 2018   The 2nd International Workshop on Big Data Analytics for Cyber Intelligence and Defense, at IEEE Big Data 2018
SenZations 2018   13th SenZations Entrepreneurial Camp 2018 - Design thinking and IoT
ICEDA--EI, Scopus 2018   2018 3rd International Conference on Engineering Design and Analysis (ICEDA 2018)--EI Compendex, Scopus
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy
ESEC/FSE 2018   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
IJIS-IoTSec 2018   Springer IJIS Special Issue on IoT Security and Privacy
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
SECITC 2018   11th International Conference on Security for Information Technology and Communications
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems