Explore projects
-
-
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!
Updated -
Updated
-
Updated
-
Guilhem Saurel / soth
OtherUpdated -
jicv_2022_security_protocol / security_protocol
MIT LicenseUpdated -
Resource-Constrained Scheduling Solver based on difference logic and clause learning
Updated -
Updated
-
Olivier Stasse / ros-introduction-slides
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
-
-
-
Clone of https://git.openrobots.org/projects/robotpkg-wip with branches prepared for the CI of other projects
Updated -
-
Clone of https://git.openrobots.org/projects/robotpkg with branches prepared for the CI of other projects
Updated -
Updated
-
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.]Updated -
REHAD / Rehad-Orca
OtherModification 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.
Updated