Principles of security and trust 8th international conference, POST 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prag, Czech Republic, April 6-11, 2019 : proceedings - Nielson, Flemming 1955- (Springer, 2019)