Výsledky vyhledávání - "secure CPU architecture"

Model-Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification

Autor: Gianpiero Cabodi, Paolo Camurati, Fabrizio Finocchiaro, Danilo Vendraminetto

Publikováno v: Electronics, Vol 8, Iss 9, p 1057 (2019)
Electronics
Volume 8
Issue 9

Spectre and Meltdown attacks in modern microprocessors represent a new class of attacks that have been difficult to deal with. They underline vulnerabilities in hardware design that have been going unnoticed for years. This shows the weakness of the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::049602f3605e3e33190713265ed1a8f7
https://www.mdpi.com/2079-9292/8/9/1057

Zobrazit plný text záznamu

Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification

Autor: Paolo Camurati, Gianpiero Cabodi, Danilo Vendraminetto, Fabrizio F. Finocchiaro

Publikováno v: Codes, Cryptology and Information Security ISBN: 9783030164577
C2SI

Though modern microprocessors embed several hardware security mechanisms, aimed at guaranteeing confidentiality and integrity of sensible data, recently disclosed attacks such as Spectre and Meltdown witness weaknesses with potentially great impact o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::672e331a50a77b39552dee996cf1602d
http://hdl.handle.net/11583/2731612

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání