Analyzing hardware security properties of processors through model checking
B Kumar, AK Jaiswal, VS Vineesh… - 2020 33rd International …, 2020 - ieeexplore.ieee.org
Security concerns are growing rapidly in the modern age of the widespread use of electronic
products. Due to the increasing dependability on integrated circuits like processors, a …
products. Due to the increasing dependability on integrated circuits like processors, a …
Hardware penetration testing knocks your SoCs off
M Fischer, F Langer, J Mono, C Nasenberg… - IEEE Design & …, 2020 - ieeexplore.ieee.org
Hardware Penetration Testing Knocks Your SoCs Off Page 1 14 2168-2356/20©2020 IEEE
Copublished by the IEEE CEDA, IEEE CASS, IEEE SSCS, and TTTC IEEE Design&Test …
Copublished by the IEEE CEDA, IEEE CASS, IEEE SSCS, and TTTC IEEE Design&Test …
FormalFuzzer: Formal Verification Assisted Fuzz Testing for SoC Vulnerability Detection
Modern Systems-on-Chips (SoCs) integrate numerous insecure intellectual properties to
meet design-cost and time-to-market constraints. Incorporating these SoCs into security …
meet design-cost and time-to-market constraints. Incorporating these SoCs into security …
[PDF][PDF] OS-level Attacks and Defenses: from Software to Hardware-based Exploits
D Gens - 2019 - core.ac.uk
Run-time attacks have plagued computer systems for more than three decades, with control-
flow hijacking attacks such as return-oriented programming representing the long-standing …
flow hijacking attacks such as return-oriented programming representing the long-standing …
[PDF][PDF] Undocumented CPU Behaviour on x86 and RISC-V Microarchitectures: A Security Perspective
C Easdon - 2019 - cattius.com
CPU design is in crisis. Moore's law has failed: semiconductor advances can no longer be
relied upon for substantial performance gains, motivating increasingly aggressive pipeline …
relied upon for substantial performance gains, motivating increasingly aggressive pipeline …