Cees-Bart Breunesse

According to our database, Cees-Bart Breunesse authored at least 7 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.

Sohrab Aftabjahani, Mark M. Tehranipoor, Farimah Farahmandi, Bulbul Ahmed, Ryan Kastner, Francesco Restuccia, Andres Meza, Kaki Ryan, Nicole Fern, Jasper Van Woudenberg, Rajesh Velegalati, Cees-Bart Breunesse, Cynthia Sturton, Calvin Deutschbein

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

2022

Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis.

Pantea Kiaei, Yuan Yao, Zhenyuan Liu, Nicole Fern, Cees-Bart Breunesse, Jasper Van Woudenberg, Kate Gillis, Alex Dich, Peter Grossmann, Patrick Schaumont

CoRR, 2022

2021

Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection.

Pantea Kiaei, Cees-Bart Breunesse, Mohsen Ahmadi, Patrick Schaumont, Jasper Van Woudenberg

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Verification of Power-based Side-channel Leakage through Simulation.

Yuan Yao, Patrick Schaumont, Jasper Van Woudenberg, Cees-Bart Breunesse, Edgar Mateos Santillan, Steve Stecyk

Proceedings of the 63rd IEEE International Midwest Symposium on Circuits and Systems, 2020

2018

Towards Fully Automated Analysis of Whiteboxes: Perfect Dimensionality Reduction for Perfect Leakage.

Cees-Bart Breunesse, Ilya Kizhvatov, Ruben Muijrers, Albert Spruyt

IACR Cryptol. ePrint Arch., 2018

2005

Formal methods for smart cards: an experience report.

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs

Sci. Comput. Program., 2005

2002

Specifying and Verifying a Decimal Representation in Java for Smart Cards.

Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg

Proceedings of the Algebraic Methodology and Software Technology, 2002