Towards Efficient Verification of Constant-Time Cryptographic Implementations

21 February 2024

Papers citing "Towards Efficient Verification of Constant-Time Cryptographic Implementations"

2 / 2 papers shown

Title
Cache Refinement Type for Side-Channel Detection of Cryptographic Software Ke Jiang Yuyan Bao Shuai Wang Zhibo Liu Tianwei Zhang 32 5 0 10 Sep 2022
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization Pietro Borrello Daniele Cono DÉlia Leonardo Querzoni Cristiano Giuffrida 31 54 0 21 Apr 2021