| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Date: Mon, 19 Jan 2026 01:40:19 GMT
Server: Apache/2.4.6 (CentOS) OpenSSL/1.0.2k-fips
Strict-Transport-Security: max-age=31536000; includeSubDomains
Location: https://devine.inria.fr/SINCRET/
Content-Length: 240
Content-Type: text/html; charset=iso-8859-1
HTTP/1.1 200 OK
Date: Mon, 19 Jan 2026 01:40:20 GMT
Server: Apache/2.4.6 (CentOS) OpenSSL/1.0.2k-fips
Strict-Transport-Security: max-age=31536000; includeSubDomains
Last-Modified: Wed, 12 Nov 2025 11:16:00 GMT
ETag: "1535-64363e3a58e6e"
Accept-Ranges: bytes
Content-Length: 5429
X-Frame-Options: sameorigin
Content-Type: text/html; charset=UTF-8
Associated team SINCRET
Welcome to SINCRET's homepage
|
|
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 framework for the runtime enforcement of safety timed properties for reactive synchronous systems
- Incremental/compositional framework for the runtime enforcement of 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. We study the serial composition of enforcers for properties with both timed constraints and data values, starting with safety propeties.
- Theme 2. We try to extend the theory to more general regular properties.
- Theme 3. A prototype implementing the synthesis anf serial composition of enforcers is under development.
- Theme 4. The prototype is experimented on case studies. The first application we consider is a swarm of drones.
| News |
| October 27 - 30, 2025 Ayush Anand presents "Prompt Runtime Enforcement" in ATVA 2025, Bengalore. |
| October 27, 2025 Saumya Shankar presents "Property Grouping and Context-Aware Runtime Enforcement" at the NIER workshop, Bengalore. |
| September 1 - 5, 2025 Sayan Mukherjee presents "Prompt Runtime Enforcement" in Highlight 2025, Saarbrucken. |
| July 21 - August 15, 2025 Sayan Mukherjee visits IIT Bhubaneswar. | June 10 - 27, 2025 Srinivas Pinisetty visits Inria. | July 4th, 2025 "Bounded Compositional Runtime Enforcement" presented at VORTEX 2025 | July 4th, 2025 Paper "Prompt Runtime Enforcement", accepted to ATVA 2025 | July 21- August 16, 2025 Sayan Mukherjee visits IIT Bhubaneswar |