Engineering Secure Future Internet Services and Systems

Computer Security -- ESORICS 2012

Foundations of Security Analysis and Design VIII

Foundations of Security Analysis and Design VII

Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance

Formal Aspects in Security and Trust

ICT Systems Security and Privacy Protection

Methods of Contemporary Mathematical Statistical Physics