4 papers
KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution
Guanhua Wang, Sudipta Chattopadhyay, Arnab Kumar Biswas +2
Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring sec…
A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah +4
Most of hardware-assisted solutions for software security, program monitoring, and event-checking approaches require instrumentation of the target software, an operation which can…
A small and adaptive coprocessor for information flow tracking in ARM SoCs
Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah +4
DIFT (Dynamic Information Flow Tracking) has been a hot topic for more than a decade. Unfortunately, existing hardware DIFT approaches have not been widely used neither by research…
CIDPro: Custom Instructions for Dynamic Program Diversification
Thinh Hung Pham, Alexander Fell, Arnab Kumar Biswas +2
Timing side-channel attacks pose a major threat to embedded systems due to their ease of accessibility. We propose CIDPro, a framework that relies on dynamic program diversificatio…