The principles of security and trust remain an area of intense and creative work. This work is focused primarily on defining security and trust goals, developing methods to verify that systems meet those goals, and to synthesize systems that meet those goals by construction.
|Title of host publication||Proceedings of 2020 IEEE European Symposium on Security and Privacy Workshops|
|Publication status||Published - 2020|
|Event||5th IEEE European Symposium on Security and Privacy - Virtual event, Genoa , Italy|
Duration: 7 Sep 2020 → 11 Sep 2020
|Conference||5th IEEE European Symposium on Security and Privacy|
|Period||07/09/2020 → 11/09/2020|
|Series||2020 Ieee European Symposium on Security and Privacy Workshops (euros&pw)|