La prochaine session du séminaire sécurité des systèmes électroniques embarqués aura lieu le vendredi 12 Septembre de 10h à 12h dans les locaux de l'IRISA/Inria à Rennes (salle Métivier).
L’organisation de cette session a été réalisée conjointement avec les responsables du seminaire SoSySec
Le programme :
-
10:00 - 11:00 : Robert Watson - University of Cambridge :
-
Titre : CHERI: Architectural Support for Memory Protection and Software Compartmentalization ;
-
Résumé : CHERI is a processor architecture protection model enabling fine-grained C/C++ memory protection and scalable software compartmentalization. CHERI hybridizes conventional processor, instruction-set, and software designs with an architectural capability model. Originating in DARPA’s CRASH research program in 2010, the work has progressed from FPGA prototypes to the recently released Arm Morello prototype processor and SoC implementing CHERI principles, Microsoft’s CHERIoT microcontroller, and multiple commercial products shipping from 2025 onwards. This talk will introduce the design principles of CHERI, explain how software works on the platform, and explore the large-scale evaluation case studies based on tens of millions of lines of open-source code. It will conclude by exploring future research directions as well as in-progress transition into industrial use.
-
-
11:00 – 12:00 : Carl Shaw – CODASIP :
-
Titre : CHERI standardization and software ecosystem ;
-
Résumé : This talk will describe the current status of the RISC-V International standardization process to add CHERI as an official extension to RISC-V. It will then explore the current state of CHERI-enabled operating systems, toolchains and software tool development, focusing on the CHERI-RISC-V hardware implementations of CHERI. It will then go on to give likely future development roadmaps and how the CHERI ecosystem is being grown within organizations such as the CHERI Alliance.
-
Le séminaire est ouvert à tous en présentiel et en distanciel.
Pour assister au séminaire en présentiel, l'inscription est obligatoire au moins 48h à l'avance pour tous les participants en présentiel auprès de Nadia Derouault nadia [*] derouault
inria [*] fr (nadia[dot]derouault[at]inria[dot]fr) . Les participants externes devront se présenter à l'accueil avec une pièce d'identité.
Lien de la réunion:
https://inria.webex.com/inria/j.php?MTID=me2967accf7017ef2a5abb4135aa87c85
Numéro de réunion:
2741 179 2360
Mot de passe de la réunion:
ZHsN23jxv9w
Se joindre à partir d’un système vidéo ou d’une application
Composer 27411792360inria [*] webex [*] com (27411792360[at]inria[dot]webex[dot]com)
Vous pouvez également composer 62.109.219.4 et entrer votre numéro de réunion.
Se joindre par téléphone
+33-1-8514-8835 Payant
Code d’accès: 27411792360
Numéros d’appel mondiaux
https://inria.webex.com/inria/globalcallin.php?MTID=m87155e5389054adeafbce398bb27bf4e