Publications

A collection of articles, presentations or talks, covering my research on physical attacks and countermeasures, computer-aided security, and post-quantum cryptography.

Paper - INDIANA - Verifying (Random) Probing Security through Indistinguishability Analysis.

February 2025

Paper - Formal Definition and Verification for Combined Random Fault and Random Probing Security.

December 2024

Talk - Computer-aided Verification for Countermeasures against Physical Attacks.

October 2024

Paper - Combined Threshold Implementation.

September 2024

Paper - Gadget-based Masking of Streamlined NTRU Prime Decapsulation in Hardware.

September 2024

Paper - Combined Private Circuits - Combined Security Refurbished.

November 2023

Talk - Computer-aided Verification for Countermeasures against Physical Attacks.

September 2023

Paper - Dependability of Future Edge-AI Processors: Pandora's Box.

May 2023

Paper - A Holistic Approach Towards Side-Channel Secure Fixed-Weight Polynomial Sampling.

May 2023

Paper - Revisiting Fault Adversary Models - Hardware Faults in Theory and Practice.

February 2023

Dissertation - Secure and Efficient Hardware Implementations for Modern Cryptography.

January 2023

Paper - CINI MINIS: Domain Isolation for Fault and Combined Security.

November 2022

Paper - BIKE: Bit Flipping Key Encapsulation

October 2022

Paper - Efficiently Masking Polynomial Inversion at Arbitrary Order.

September 2022

Paper - Racing BIKE: Improved Polynomial Multiplication and Inversion in Hardware.

September 2022

Paper - VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering.

September 2022

Paper - Folding BIKE: Scalable Hardware Implementation for Reconfigurable Devices.

May 2022

Paper - FIVER - Robust Verification of Countermeasures against Fault Injections.

September 2021

Paper - Deep Learning Multi-Channel Fusion Attack Against Side-Channel Protected Hardware.

December 2020

Paper - Concurrent Error Detection Revisited: Hardware Protection against Fault and Side-channel Attacks.

August 2020

Paper - Improved Side-Channel Resistance by Dynamic Fault-Injection Countermeasures.

July 2020

Paper - Revisiting ECM on GPUs.

January 2020
Nifty tech tag lists from Wouter Beeftink