Semi-automatic Verification of ISA Security Guarantees in the Form of Universal Contracts

Research output: Unpublished contribution to conferencePoster

20 Downloads (Pure)
Original languageEnglish
Publication statusUnpublished - 2022
EventSummer School on Security Testing and Verification - Campus Arenberg, Heverlee, Belgium
Duration: 20 Sep 202222 Sep 2022
https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022

Seminar

SeminarSummer School on Security Testing and Verification
Country/TerritoryBelgium
CityHeverlee
Period20/09/2222/09/22
Internet address

Cite this