Jump to Navigation


QASA 2015

Monday, September 21, 2015 to Friday, September 25, 2015

The 4th  International Workshop on ‘Quantitative Aspects of Security Assurance (QASA 2015) will be held in Vienna, Austria, on 21-25 September 2015, co-located with ESORICS 2015.

There is increasing need to provide quantification of security assurance over the multi-level development life-cycle of systems & services, e.g., from requirements elicitation to run-time operation and maintenance. Addressing such quantitative aspects, the QASA workshop aims to bring together researchers and practitioners interested in the quantification research dimensions spanning dependability, security, privacy and risk, and with particular emphasis on techniques for service oriented architectures, IoT and cyber-physical systems.

The list of topics includes, but it is not limited to:

  • Assurance cases modeling and analysis
  • Game theoretical models for cyber insurance
  • Incremental/modular security assurance analysis
  • Metrics for trust, security and privacy
  • Model-based techniques for assurance
  • Process compliance assurance techniques
  • Probabilistic/stochastic model checking
  • Quantitative information flow analysis
  • Quantitative issues in access and usage control
  • Security testing techniques
  • Simulation techniques for security, privacy, risk
  • Static/dynamic code analysis techniques
  • Tool support for quantitative security assurance

Important Dates

Submission: June 21 2015

Notification: July 28 2015

Camera ready pre-procs: August 20 2015

Final post-procs: October 2015