Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond

24 November 2023

Papers citing "Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond"

1 / 1 papers shown

Title
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization Pietro Borrello Daniele Cono DÉlia Leonardo Querzoni Cristiano Giuffrida 34 54 0 21 Apr 2021