Table of contents

Calendar

THE FOUR THEME GROUPS OF THE SOSYSEC SEMINAR

  • TG1 : AI security, privacy, cybersecurity considerations in society
  • TG2 : Formal methods, proofs of protocols, security of protocols, access control, security policies
  • TG3 : OS and virtualization security, security based on virtualization, database security, distributed systems security, security of programming languages, network security
  • TG4 : Vulnerability analysis, binary analysis, software attacks on hardware and mitigations, obfuscation, forensics, intrusion detection and security monitoring, malware mitigation

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

  • Cherifying Linux: A Practical View on using CHERI

    • January 31, 2025 (11:00 - 12:00)

    • Centre Inria de l'Université de Rennes - - salle Aurigny

    Speaker : Kui Wang - Huawei

    The CHERI ISA extension enables modern RISC CPU architectures such as RISC-V to enforce memory safety in C/C++ programs. Recent academic works use CHERI for point solutions like constructing enclaves, verifying C programs, or hardening bytecode interpreters, but since the original construction of the CHERI-BSD OS - a FreeBSD port leveraging CHERI capabilities, by Cambridge University - little has[…]

    • SoSysec

    • Compartmentalization

    • Operating system and virtualization

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