Ralf Küsters||Lujo Bauer <br/><br/>
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 

<br/><br/><br/>English[eng] 
<br/><br/><label>Subjects--Topical Terms: </label><br/>security analysis||cryptography||privacy||world wide web||semantics||programming languages||formal specification||program compilers||specifications||formal logic||computer science||separation logic||formal methods||data privacy||security systems||software engineering||computer software selection and evaluation||internet||verification||authentication