- Numérique - Technologies de l'information et de la communication
- Recherche
Efficient Adaptive Multi-Level Privilege Partitioning With RTrustSoC
Raphaële Milan, Lilian Bossuet, Loïc Lagadec, Carlos Andres Lara-Nino, Brice Colombier, Théotime Bollengier
IEEE Transactions on Circuits and Systems I: Regular Papers, 2024, pp.1-13. ⟨10.1109/TCSI.2024.3413364⟩
Secured-by-design systems-on-chip: a MBSE Approach
Raphaële Milan, Loïc Lagadec, Théotime Bollengier, Lilian Bossuet, Ciprian Teodorov
Rapid System Prototyping, Sep 2023, Hambourg, Germany. ⟨10.1145/3625223.3649277⟩
Acceleration of contractor algebra on RISCV in the context of mobile robotic
Pierre Filiol, Luc Jaulin, Jean-Christophe Le Lann, Théotime Bollengier
Summer Workshop on Interval Methods, Jun 2023, Angers, France
A new interval arithmetic to generate the complementary of contractors
Pierre Filiol, Théotime Bollengier, Luc Jaulin, Jean-Christophe Le Lann
Summer Workshop on Interval Methods, Jul 2022, Hannover, Germany
Procédé de configuration d'un circuit logique programmable, circuit logique programmable et dispositif pour implémenter le procédé
Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Théotime Bollengier
France, N° de brevet: FR3115134. 2022