Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Andrew Ferraiuolo"'
Publikováno v:
Proceedings of the 2022 ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fd11d692619f4f9d8c33c9e20f4de3a
https://doi.org/10.1145/3560835.3564549
https://doi.org/10.1145/3560835.3564549
Publikováno v:
ASPLOS
Hardware-based mechanisms for software isolation are becoming increasingly popular, but implementing these mechanisms correctly has proved difficult, undermining the root of security. This work introduces an effective way to formally verify important
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81178dc04a63d291eb61a964450bb30d
https://doi.org/10.1145/3093315.3037739
https://doi.org/10.1145/3093315.3037739
Publikováno v:
CCS
This paper presents HyperFlow, a processor that enforces secure information flow, including control over timing channels. The design and implementation of HyperFlow offer security assurance because it is implemented using a security-typed hardware de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::698d0c42f15b1ee4e7118b60295648e1
https://doi.org/10.1145/3243734.3243743
https://doi.org/10.1145/3243734.3243743
Autor:
Andrew Ferraiuolo, Mulong Luo, Joe Corbett-Davies, Andrew C. Myers, Jed Liu, G. Edward Suh, Mark Campbell, Alexander Ivanov
Publikováno v:
CPS-SPC@CCS
Modern cyber-physical systems are complex networked computing systems that electronically control physical systems. Autonomous road vehicles are an important and increasingly ubiquitous instance. Unfortunately, their increasing complexity often leads
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::02f68c5663add27e04403d78f4f67fa8
https://doi.org/10.1145/3264888.3264889
https://doi.org/10.1145/3264888.3264889
Publikováno v:
Journal of Electronic Testing. 31:11-26
The modern integrated circuit (IC) manufacturing process has exposed the fabless semiconductor industry to hardware Trojans that threaten circuits bound for critical applications. This paper investigates an on-chip sensor's effectiveness for Trojan d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eaa0539bd515161b2891135244c63730
https://doi.org/10.1007/s10836-015-5504-x
https://doi.org/10.1007/s10836-015-5504-x
Publikováno v:
SOSP
Intel SGX promises powerful security: an arbitrary number of user-mode enclaves protected against physical attacks and privileged software adversaries. However, to achieve this, Intel extended the x86 architecture with an isolation mechanism approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f1ae219ef212af4944404c96660534d
https://doi.org/10.1145/3132747.3132782
https://doi.org/10.1145/3132747.3132782
Publikováno v:
DAC
This paper presents a novel secure hardware description language (HDL) that uses an information flow type system to ensure that hardware is secure at design time. The novelty of this HDL lies in its ability to securely share hardware modules and stor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a58e34a7e700a15dbdffd06b44d912b
https://doi.org/10.1145/3061639.3062316
https://doi.org/10.1145/3061639.3062316
Publikováno v:
ACM Journal on Emerging Technologies in Computing Systems. 9:1-20
Verifying the trustworthiness of Integrated Circuits (ICs) is of utmost importance, as hardware Trojans may destroy ICs bound for critical applications. A novel methodology combining on-chip structure with external current measurements is proposed to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34a09fc98ca0d27fd5b320cf738d0c9e
https://doi.org/10.1145/2491677
https://doi.org/10.1145/2491677
Publikováno v:
DAC
In today's multicore processors, the last-level cache is often shared by multiple concurrently running processes to make efficient use of hardware resources. However, previous studies have shown that a shared cache is vulnerable to timing channel att
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7677f771b0cceb19c053bf26e554d603
https://doi.org/10.1145/2897937.2898086
https://doi.org/10.1145/2897937.2898086
Publikováno v:
HPCA
Computer hardware is increasingly shared by distrusting parties in platforms such as commercial clouds and web servers. Though hardware sharing is critical for performance and efficiency, this sharing creates timing-channel vulnerabilities in hardwar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5f3966c144b16f55744e656f8a6a355
https://doi.org/10.1109/hpca.2016.7446080
https://doi.org/10.1109/hpca.2016.7446080