Cache Refinement Type for Side-Channel Detection of Cryptographic
Software

v1v2v3 (latest)

Cache Refinement Type for Side-Channel Detection of Cryptographic Software

10 September 2022

ArXiv (abs)PDF HTML

Papers citing "Cache Refinement Type for Side-Channel Detection of Cryptographic Software"

10 / 10 papers shown

Title
A Survey of Microarchitectural Side-channel Vulnerabilities, Attacks and Defenses in Cryptography Xiaoxuan Lou Tianwei Zhang Jun Jiang Yinqian Zhang AAML 60 91 0 26 Mar 2021
Randomized Last-Level Caches Are Still Vulnerable to Cache Side-Channel Attacks! But We Can Fix It Wei Song Boya Li Zihan Xue Zhenzhen Li Wenhao Wang Peng Liu AAML 33 54 0 05 Aug 2020
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level Lesly-Ann Daniel Sébastien Bardin Tamara Rezk 47 66 0 18 Dec 2019
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation Shuai Wang Yuyan Bao Xiao Liu Pei Wang Qiang Yan Dinghao Wu 61 53 0 30 May 2019
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks Pengfei Gao Hongyi Xie Jun Zhang Fu Song Taolue Chen AAML 29 18 0 28 Jan 2019
MicroWalk: A Framework for Finding Side Channels in Binaries Jan Wichelmann A. Moghimi T. Eisenbarth B. Sunar 59 76 0 16 Aug 2018
CANAL: A Cache Timing Analysis Framework via LLVM Transformation Chungha Sung Brandon Paulsen Chao Wang 59 28 0 09 Jul 2018
SgxPectre Attacks: Stealing Intel Secrets from SGX Enclaves via Speculative Execution Guoxing Chen Sanchuan Chen Yuan Xiao Yinqian Zhang Zhiqiang Lin T. Lai SILM 74 337 0 25 Feb 2018
Rigorous Analysis of Software Countermeasures against Cache Attacks Goran Doychev Boris Köpf 43 75 0 07 Mar 2016
Flush+Flush: A Fast and Stealthy Cache Attack Daniel Gruss Clémentine Maurice Klaus Wagner Stefan Mangard 108 581 0 14 Nov 2015