IEEE Symposium on Security and Privacy·20 min
Engineers explore architecture and security mechanisms for SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.
sailfishvettingsmart+3
1 talk tagged with this topic.
Loading filters…
1–1 of 1 talk · loading…
IEEE Symposium on Security and Privacy·20 min
Engineers explore architecture and security mechanisms for SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds.