Search papers, labs, and topics across Lattice.
KTH Royal Institute of Technology Stockholm
1
0
2
Smart contract invariants could have prevented all attacks in a benchmark of real-world Ethereum exploits, showcasing a powerful new defense against blockchain vulnerabilities.