Explore projects

Tor based on ABE

Modèle de thèse initialement publié à git:redmine du LAAS. Télécharger et utiliser en locale (besoin latexmk + pdflatex je crois), ou en Overleaf. N'hésite pas à l'améliorer!

Resource-Constrained Scheduling Solver based on difference logic and clause learning

Livre d'introduction à ROS

A generator of Return-Oriented Programming on RISC-V

Priority allocation algorithms for the oMDP

Robotpkg Work In Progress

Clone of https://git.openrobots.org/projects/robotpkg-wip with branches prepared for the CI of other projects

Fork from https://git.openrobots.org/robots/robotpkg.git

Clone of https://git.openrobots.org/projects/robotpkg with branches prepared for the CI of other projects

Generate ROM with attacks for Rehad-Orca.

For synthesis, place mem.hex in ip/idram/src/input. [Request GCC cross compiler (RV32IM).] For bitsteam, replace BRAM content of myorca.bit. [Request Xilinx ISE setup and liscence.]

Modification of RISC-V softcore processor Orca.

REHAD: Using Low-Frequency Reconfigurable Hardware for Cache Side-Channel Attacks Detection. Run on ML605 evaluation board with UART 115200.

Customized rddlsim version for my personal use