Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Le, Michael V."'
Publikováno v:
HASP '23: Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, October 2023
Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential computing systems cannot be certified for use in critical applications, lik
Externí odkaz:
http://arxiv.org/abs/2308.10249
The emergence of verified eBPF bytecode is ushering in a new era of safe kernel extensions. In this paper, we argue that eBPF’s verifier—the source of its safety guarantees—has become a liability. In addition to the well-known bugs and vulnerab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2485::42b4b95fdbf12ab9c76fa34a77472140
https://hdl.handle.net/10919/115720
https://hdl.handle.net/10919/115720