9 citations · 16 across the 11 of their papers we have counts for
Showing 2024 · cs.CRShow all
2 papers · 2 filters
cs.CR2024
Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms
Tommaso Oss, Carlos E. Budde
Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnera…
cs.CR2024★ 1 cited
How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
Stefano M. Nicoletti, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga +2
The landscape of cyber threats grows more complex by the day. Advanced Persistent Threats carry out attack campaigns - e.g. operations Dream Job, Wocao, and WannaCry - against whic…