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]
