Showing cs.CRShow all
2 papers · 1 filter
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…
cs.CR2022
Reasoning about Moving Target Defense in Attack Modeling Formalisms
Gabriel Ballot, Vadim Malvone, Jean Leneutre +1
Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This freque…