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

Onderzoeksoutput: Poster

36 Downloads (Pure)

Originele taal-2	English
Status	Unpublished - 2022
Evenement	Summer School on Security Testing and Verification - Campus Arenberg, Heverlee, Belgium Duur: 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
Land/Regio	Belgium
Stad	Heverlee
Periode	20/09/22 → 22/09/22
Internet adres	https://cybersecurity-research.be/summer-school-security-testing-and-verification-2022

Toegang tot 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",

}