Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Kevin Cheang"'
Autor:
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have multiple, varied
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::078c0eee11f9c4b435b0139ed0320edf
https://doi.org/10.1007/978-3-031-13185-1_27
https://doi.org/10.1007/978-3-031-13185-1_27
Publikováno v:
CSF
Transient execution attacks like Spectre, Meltdown and Foreshadow have shown that combinations of microarchitectural side-channels can be synergistically exploited to create side-channel leaks that are greater than the sum of their parts. While both
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::858312e2d2f6f25802ad7cb0bc724d88
https://doi.org/10.1109/csf.2019.00027
https://doi.org/10.1109/csf.2019.00027
