NESSoS FP7 Project
FOSAD 2015 PDF Print E-mail
FOSAD 2015


31 August - 5 September 2015, Bertinoro, Italy

In cooperation with NESSoS and CryptoForma

*** Application Deadline: June 20, 2015

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.


Michael Backes    Saarland Univ.
Herbert Bos          Vrije Univ. Amsterdam
Michael Clarkson  Cornell Univ.
Hubert Comon      ENS Cachan
Ivan Damgård       Aarhus Univ.
Andy Gordon        Microsoft Research
Heiko Mantel        TU Darmstadt

The courses alternate theory and practice sessions.

Full program and links to background material will
be soon available at the FOSAD web page.


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


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


The school is organized at the University Residential
Center of Bertinoro (CEUB), Italy:
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.


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.

QASA 2014 - Program Available PDF Print E-mail

3rd International Workshop on Quantitative Aspects in Security Assurance
Affiliated workshop with ESORICS 2014
Wroclaw, Poland, September 11, 2014

*** Invited Speakers: Elisa Bertino and  Audun Josang ***


There is an increasing demand for techniques to deal with quantitative aspects of security assurance
at several levels of the development life-cycle of systems & services, e.g., from requirements elicitation
to run-time operation and maintenance. The aim of this workshop is to bring together researchers and
practitioners interested in these research topics with a particular emphasis techniques for service oriented architectures.
The scope of the workshop, is intended to be broad, including aspects as dependability, privacy, risk and trust.


09:00-10:00 QASA/SETOP Session I

Invited Talk  Elisa Bertino. Assessing Data Trustworthiness - Concepts and Research Challenges

10:00-11:15 QASA Session II

Wolter Pieters and Mohsen Davarynejad. Calculating adversarial risk from attack trees: Control strength and probabilistic attackers

Kristian Beckers, Leanid Krautsevich and Artsiom Yautsiukhin. Analysis of Social Engineering Threats with Attack Graphs

Cristian Prisacariu and Audun Jøsang. Probabilistic Modeling of Humans in Security Ceremonies (Short paper)

11:15-11:45 Coffee Break

11:45-13:00 QASA/SETOP Session III

Tarek Bouyahia, Muhammad Sabir Idrees, Nora Cuppens-Boulahia, Frederic Cuppens and Fabien Autrel. Metric for Security Activities assisted by Argumentative Logic

Smita Naval, Vijay Laxmi, Manoj Gaur, Sachin Raja, Muttukrishnan Rajarajan and Mauro Conti. Environment–Reactive Malware Behavior: Detection and Categorization

Maxime Puys, Lionel Rivière, Thanh-Ha Le and Julien Bringer. High-Level Simulation for Multiple Fault Injection Evaluation (QASA Short paper)

13:00-14:00 Lunch

14:00-15:00 QASA  Session IV

Invited Talk  Audun Josang. Defining assurance levels for user and server authentication

14:00-16:15 QASA Session V

Jerry Den Hartog and Ilaria Matteucci. Introducing Probabilities in Controller Strategies

Tom Chothia, Chris Novakovic and Rajiv Ranjan Singh. Automatically Calculating Quantitative Integrity Measures for Imperative Programs

Alessandro Armando, Michele Bezzi, Nadia Metoui and Antonino Sabetta. Risk-Aware Information Disclosure


ESORICS registration service: https://w3.im.pwr.wroc.pl/page28/index.html

The 14th edition of the summer school on Foundations of Security Analysis and Design (FOSAD) PDF Print E-mail
14  Edition of the summer school on Foundations of Security Analysis and Design (FOSAD 2014)

The 14th edition of the summer school on Foundations of Security Analysis and Design will be held in in the fascinating Rock of Bertinoro, Italy. This year edition is co-sponsored by NESSoS and Cryptoforma Networks of excellence.


A video about FOSAD 2013 is available here.

Project description PDF Print E-mail

The Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS) aims at constituting and integrating a long lasting research community on engineering secure software-based services and systems.

The Final version of the NESSoS research roadmap is available PDF Print E-mail

The final version of the NESSoS research roadmap is available at the URL:  http://www.nessos-project.eu/media/deliverables/y3/NESSoS-D4.3-PartII-Roadmap.pdf