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

Research output: Unpublished contribution to conference › Poster

33 Downloads (Pure)

Original language	English
Publication status	Unpublished - 2022
Event	Summer School on Security Testing and Verification - Campus Arenberg, Heverlee, Belgium Duration: 20 Sep 2022 → 22 Sep 2022 https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022

Seminar	Summer School on Security Testing and Verification
Country/Territory	Belgium
City	Heverlee
Period	20/09/22 → 22/09/22
Internet address	https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022

Access to Document

@conference{e17ba59473b04ad0856bc9986e023ec0,

title = "Semi-automatic Verification of ISA Security Guarantees in the Form of Universal Contracts",

author = "Sander Huyghebaert and Steven Keuchel and Dominique Devriese and {De Roover}, Coen",

year = "2022",

language = "English",

note = "Summer School on Security Testing and Verification ; Conference date: 20-09-2022 Through 22-09-2022",

url = "https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022",

}