Explore projects

E-Puck2 robot plug-in for the ARGoS simulator

Code for the paper "FastCycle: A Message Sharing Framework for Modular Automated Driving Systems".

Simulator and mobility models used in research works developed during the HUNTED project.

The artifact tool: Towards AnaPHoric ambiguity detection and reSolution In Requirements". This tool is associated with the ICSE22 technical paper titled "Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study"

AVXSIKE is a software library of AVX-512 implementations (using AVX-512IFMA extension) of Supersingular Isogeny Key Encapsulation (SIKE).

Software that I use when teaching

Unlinkable Updatable Hiding Databases and Privacy-Preserving Loyalty Programs