SINCRET Scalable and INCREmental security monitoring and enforcement for Timed systems

Presentation

The context of this project is Scalable and incremental security monitoring and enforcement for timed systems. We focus on :

• Incremental/compositional RE-reactive/synchronous framework for safety timed properties
• Incremental/compositional RE- reactive/synchronous framework for all regular timed properties
• Application of the proposed incremental enforcement frameworks in some specific application domains/scenarios; explore distribution of enforcers

SINCRET is a joint project between

• DEVINE team, INRIA center at Rennes University, France
• IIT Bhubaneswar, India

SINCRET is a joint INRIA/CEFIPRA associated team, and was selected in 2024.

Main Research Themes:

• Theme 1.
• Theme 2.
• Theme 3.

News