Koika-LLR
This is the development associated with CSF’23 paper, aiming at proving properties about Kôika circuits.
Authors: Matthieu Baty, Pierre Wilke
[Repository]
Triskel
Triskel is a control flow graph visualization library. For instance, it can be combined to a binary analysis framework, or directly on LLVM binary files.
It was published along a BAR’2025 paper.
Authors: Jack Royer
[Repository]
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]
