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.]