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
3 talks tagged with this topic.
Loading filters…
1–3 of 3 talks · 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.
IEEE Symposium on Security and Privacy·23 min
Analysts investigate attack surfaces and defenses concerning Towards Automated Safety Vetting of PLC Code in Real World Plants Mu Zhang.
IEEE Symposium on Security and Privacy·19 min
Security researchers examine technical aspects of Vetting SSL Usage in Applications with SSLINT.