usenix security '20 - ethbmc: a bounded model checker for smart contracts
Published 3 years ago • 425 plays • Length 12:12Download video MP4
Download video MP3
Similar videos
-
20:10
usenix security '18 - arbitrum: scalable, private smart contracts
-
10:28
usenix security '20 - exploring connections between active learning and model extraction
-
10:48
usenix security '20 - empirical measurement of systemic 2fa usability
-
14:06
usenix security '22 - are your sensitive attributes private? novel model inversion attribute
-
10:54
usenix security '20 - pixel: multi-signatures for consensus
-
17:00
usenix security '19 - deepvsa: facilitating value-set analysis with deep learning for
-
11:34
usenix security '20 - besfs: a posix filesystem for enclaves with a mechanized safety proof
-
10:28
usenix security '20 - that was then, this is now: a security evaluation of password generation
-
19:48
nsdi '20 - netsmc: a custom symbolic model checker for stateful network verification
-
11:34
usenix security '20 - secure parallel computation on national scale volumes of data
-
12:05
usenix security '20 - phmon: a programmable hardware monitor and its security use cases
-
27:39
usenix security '16 - oblivious multi-party machine learning on trusted processors
-
11:18
usenix security '20 - smartverif: push the limit of automation capability of verifying security...
-
3:06
esbmc-solidity: an smt-based model checker for solidity smart contracts
-
14:34
usenix security '22 - automated detection of automated traffic
-
21:11
usenix security '14 - man vs. machine: practical adversarial detection of malicious crowdsourcing
-
10:58
usenix security '20 - high accuracy and high fidelity extraction of neural networks
-
29:22
usenix security '17 - syntia: synthesizing the semantics of obfuscated code
-
20:40
nsdi '20 - automated verification of customizable middlebox properties with gravel