Open Access
| Issue |
JNWPU
Volume 44, Number 2, April 2026
|
|
|---|---|---|
| Page(s) | 417 - 425 | |
| DOI | https://doi.org/10.1051/jnwpu/20264420417 | |
| Published online | 12 June 2026 | |
- ASANOVIC K, WATERMAN A, PATTERSON D, et al. The RISC-V reader: an open architecture atlas[M]. Berkeley: Strawberry Canyon LLC, 2017 [Google Scholar]
- KOCHER P, GENKIN D, GRUSS D, et al. Spectre attacks: exploiting speculative execution[J]. IEEE Security & Privacy, 2019, 17(1): 6–19 [Google Scholar]
- LIPP M, SCHWARZ M, GRUSS D, et al. Meltdown: reading kernel memory from user space[C]//Proceedings of the 27th USENIX Security Symposium, 2018: 973–990. [Google Scholar]
- SCHWARZ M, SCHWARZL M, LIPP M, et al. NetSpectre: read arbitrary memory over network[C]//24th European Symposium on Research in Computer Security, 2019. [Google Scholar]
- CHEN S, CHEN J, XIAO Y, et al. SgxPectre: stealing intel secrets from SGX enclaves via speculative execution[C]//IEEE European Symposium on Security and Privacy, Stockholm, 2019: 142–157. [Google Scholar]
- KWONG A, GENKIN D, GRUSS D, et al. Retbleed: arbitrary speculative code execution with return instructions[C]//Proceedings of the 31st USENIX Security Symposium, 2022. [Google Scholar]
- YAN M, CHOI I, SKADRON K. InvisiSpec: making speculative execution invisible in the cache hierarchy[C]//IEEE/ACM International Symposium on Microarchitecture, Orlando, 2018: 428–441. [Google Scholar]
- BERGERON J, HABIBI A, TAHAR S, et al. Verification and validation in systems on Chip[M]. New York: Springer, 2005 [Google Scholar]
- LEROY X. Formal verification of a realistic compiler[J]. Communications of the ACM, 2009, 52(7): 107–115 [Google Scholar]
- CUMMINGS C, BORRIONE D, DRECHSLER R. Formal verification of digital systems[M]. Cham: Springer, 2018 [Google Scholar]
- WASSEL H M G, GAO Y, OBERG J K, et al. Networks on chip with provable security properties[J]. IEEE Micro, 2014, 34(3): 57–68 [Google Scholar]
- MANTEL H. Information flow policies[M]//Encyclopedia of cryptography, security and privacy. Cham: Springer, 2025: 1221–1225. [Google Scholar]
- KHASAWNEH K N, KHAN A, WANG Y, et al. SafeSpec: banishing the spectre of a meltdown with leakage free speculation[C]//Design Automation Conference, Las Vegas, 2019. [Google Scholar]
- CANELLA C, VAN BULCK J, SCHWARZ M, et al. A systematic evaluation of transient execution attacks and defenses[C]//Proceedings of the 28th USENIX Security Symposium, 2019. [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.