Principles of security and trust 7th International Conference, POST 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings - Bauer, Lujo; Küsters, Ralf 1972- (Springer Open, 2018)