HotSpot: Hot Issues in Security Principles and Trust 2020

Joshua Guttman, Sebastian Modersheim

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of 2020 IEEE European Symposium on Security and Privacy Workshops
PublisherIEEE
Publication date2020
Pages260-260
ISBN (Print)9781728185972
DOIs
Publication statusPublished - 2020
Event5th IEEE European Symposium on Security and Privacy - Virtual event, Genoa , Italy
Duration: 7 Sep 202011 Sep 2020

Conference

Conference5th IEEE European Symposium on Security and Privacy
LocationVirtual event
CountryItaly
CityGenoa
Period07/09/202011/09/2020
Series2020 Ieee European Symposium on Security and Privacy Workshops (euros&pw)

Cite this