2 papers
cs.CR2025
From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines
Lambard Maxence, Bertelle Cyrille, Duvallet Claude
In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable…
cs.AI2009
A Dynamic Vulnerability Map to Assess the Risk of Road Network Traffic Utilization
Michel Nabaa, Cyrille Bertelle, Antoine Dutot +2
Le Havre agglomeration (CODAH) includes 16 establishments classified Seveso with high threshold. In the literature, we construct vulnerability maps to help decision makers assess t…