Showing 2026Show all
2 papers · 1 filter
cs.FL2026
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
Jean Leneutre, Dylan Marinho, Vadim Malvone +1
Ensuring confidentiality in Cyber-Physical Systems is critical, especially when attackers exploit execution times to infer sensitiveinformation. Traditional opacity models are inad…
cs.CR2026
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini +1
Smart contracts deployed on blockchains such as Ethereum routinely manage large amounts of assets, making their security critical. Empirical studies show that real-world attacks of…