The list of topics includes, but it is not limited to: Probabilistic/stochastic model checking Quantitative information flow analysis Quantitative issues in access and usage control Security testing techniques Static/Dynamic code analysis techniques Metrics for security, trust and privacy Incremental/modular security assurance analysis Process compliance assurance techniques Tool support for quantitative techniques for security assurance Simulation techniques Model-driven techniques for security, trust, risk and privacy Assurance cases modelling and analysis