Table of contents

Registration is compulsory for each talk and must be made at least 48 hours in advance for all "on-site" participants.

Presentation of the seminar

  • Information systems and networks have become indispensable aids in our everyday lives. In addition to highly visible uses as mobile phones or personal computers, it is worth mentioning applications more subtle but equally important for economic activity such as cloud computing, industrial control systems, electrical networks. In fact, our society nurtures a growing dependence towards information systems which makes economic and sovereignty issues related to security increasingly important.

    At the same time, due to their increasing complexity, their ubiquity, and multiplicity of risks associated with malicious or fraudulent use, ensuring an acceptable level of security seems close to impossible. Many questions related to the control of the security of softwares and information systems are thus at the origin of an intense scientific activity. We can cite for example intrusion detection, vulnerability research, proof of protocols, static analysis, virtualization…

    From the interaction of all these themes, emerges a deep scientific domain that forms a point of contact between fundamental research and applications with a strong economic potential. Rennes metropolitan area is home to many talents in this field of research, both in academia and industry. This seminar aims to become a natural platform to gather, stimulate and promote Rennes security research and development community by confronting it to the best achievements of international research.

  • The program committee is in charge of the organization and the program of the seminar.
    Its members are:

    • Tristan Allard (Université de Rennes)
    • Guillaume Doyen (IMT Atlantique)
    • Teddy Furon (Inria)
    • Guillaume Hiet (CentraleSupélec)
    • Joseph Lallemand (CNRS)
    • David Lubicz (DGA-MI)
    • Louis Rilling (DGA-MI)
    • Mohamed Sabt (Université de Rennes)
    • Sandrine Turgis (Université de Rennes)

Practical infos

Next sessions

  • CHERI: Architectural Support for Memory Protection and Software Compartmentalization

    • September 12, 2025 (10:00 - 11:00)

    • Inria Center of the University of Rennes - Room Métivier

    Speaker : Robert Watson - University of Cambridge

    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[…]

    • SoSysec

    • SemSecuElec

    • Compartmentalization

    • Hardware/software co-design

    • Hardware architecture

  • CHERI standardization and software ecosystem

    • September 12, 2025 (11:00 - 12:00)

    • Inria Centre of the University of Rennes - Room Métivier

    Speaker : Carl Shaw - Codasip

    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[…]

    • SoSysec

    • SemSecuElec

    • Compartmentalization

    • Operating system and virtualization

    • Hardware/software co-design

    • Hardware architecture

  • Towards privacy-preserving and fairness-aware federated learning framework

    • September 19, 2025 (11:00 - 12:00)

    • Inria Center of the University of Rennes - Petri/Turing room

    Speaker : Nesrine Kaaniche - Télécom SudParis

    Federated Learning (FL) enables the distributed training of a model across multiple data owners under the orchestration of a central server responsible for aggregating the models generated by the different clients. However, the original approach of FL has significant shortcomings related to privacy and fairness requirements. Specifically, the observation of the model updates may lead to privacy[…]

    • Cryptography

    • SoSysec

    • Privacy

    • Machine learning

  • Malware Detection with AI Systems: bridging the gap between industry and academia

    • October 09, 2025 (11:00)

    • Inria Center of the University of Rennes - Room Aurigny

    Speaker : Luca Demetrio - University of Genova

    With the abundance of programs developed everyday, it is possible to develop next-generation antivirus programs that leverage this vast accumulated knowledge. In practice, these technologies are developed with a mixture of established techniques like pattern matching, and machine learning algorithms, both tailored to achieve high detection rate and low false alarms. While companies state the[…]

    • SoSysec

    • Intrusion detection

    • Machine learning

Show previous sessions

Subscribe to the mailing list

A mailing list is available for announcements concerning SoSySeC seminar

Subscribe to the mailing list

Page top