Software

Koika-LLR

This is the development associated with CSF’23 paper, aiming at proving properties about Kôika circuits.
Authors: Matthieu Baty, Pierre Wilke
[More…]

Artefacts

ESORICS’24: Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code

Authors: Jean-Loup Hatchikian-Houdot, Pierre Wilke, Frédéric Besson and Guillaume Hiet
[Repository]

ICISSP’24: Machine Learning-Based Classification of Hardware Trojans in FPGAs Implementing RISC-V Cores

Authors: Stefano Ribes, Fabio Malatesta, Grazia Garzo, Alessandro Palumbo
[Repository]

CCAI’24: Opening the Black Box: How Boolean AI can Transform Legal Analysis

Authors: Grazia Garzo, Stefano Ribes, Alessandro Palumbo
[Repository]

Comments are closed.