Survey of Approaches and Techniques for Security Verification of Computer Systems

dc.contributor.authorErata, Ferhaten
dc.contributor.authorDeng, Shuwenen
dc.contributor.authorZaghloul, Faisalen
dc.contributor.authorXiong, Wenjieen
dc.contributor.authorDemir, Onuren
dc.contributor.authorSzefer, Jakuben
dc.date.accessioned2022-10-10T12:57:04Zen
dc.date.available2022-10-10T12:57:04Zen
dc.date.issueden
dc.date.issued2022en
dc.date.updated2022-10-10T07:45:03Zen
dc.description.abstractThis paper surveys the landscape of security verification approaches and techniques for computer systems at different levels: from a software-application level all the way to the physical hardware level. Different existing projects are compared, based on the tools used and security aspects being examined. Since many systems require both hardware and software components to work together to provide the system's promised security protections, it is not sufficient to verify just the software levels or just the hardware levels in a mutually exclusive fashion. This survey especially highlights system levels that are verified by the different existing projects and presents to the readers the state of the art in hardware and software system security verification. Few approaches come close to providing full-system verification, and there is still much room for improvement.en
dc.description.versionAccepted versionen
dc.format.mimetypeapplication/pdfen
dc.identifier.doihttps://doi.org/10.1145/3564785en
dc.identifier.urihttp://hdl.handle.net/10919/112118en
dc.language.isoenen
dc.publisherACMen
dc.rightsIn Copyrighten
dc.rights.holderThe author(s)en
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleSurvey of Approaches and Techniques for Security Verification of Computer Systemsen
dc.title.serialACM Journal of Emerging Technologies and Computer Systemsen
dc.typeArticle - Refereeden
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
3564785.pdf
Size:
828.04 KB
Format:
Adobe Portable Document Format
Description:
Accepted version
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
0 B
Format:
Item-specific license agreed upon to submission
Description: