Engineering Secure Software and Systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings - Bodden, Eric.; Payer, Mathias; Athanasopoulos, Elias; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Cloud security, virtualization for security -- Mobile devices security -- Automated techniques for vulnerability discovery and analysis -- Model checking for security -- Verification techniques for security properties -- Security by design -- Web applications security -- Empirical secure software engineering -- Embedded software security.
Keywords: Computer communication systems; Computer security; Logic design; Operating systems (Computers).; Software engineering; Data encryption (Computer science).; Computer Communication Networks; Systems and Data Security; Logic Design; Operating Systems; Software Engineering; Cryptology