TAS Publications

@inbook{123ec76c5d9648a1a06b0ac73848a4d5,

title = {Formal Methods for Socio-technical Security: (Formal and Automated Analysis of Security Ceremonies)},

author = {Luca Vigano},

year  = {2022},

date = {2022-01-01},

booktitle = {Coordination Models and Languages (COORDINATION 2022)},

keywords = {Formal Methods, Security},

pubstate = {published},

tppubtype = {inbook}

}

@inbook{c5d2a0f936a2452094cd1b56c35f25d5,

title = {Privacy as Reachability},

author = {Sebastien Gondron and Sebastian Moedersheim and Luca Vigano},

url = {https://kclpure.kcl.ac.uk/portal/files/174409943/abg.pdf},

year  = {2022},

date = {2022-01-01},

booktitle = {35th IEEE Computer Security Foundations Symposium (CSF 2022)},

publisher = {IEEE Computer Society Press},

keywords = {Formal Methods, Privacy},

pubstate = {published},

tppubtype = {inbook}

}