usenix security '20 - symbolic execution with symcc: don't interpret, compile!
Published 3 years ago • 1.5K plays • Length 11:08Download video MP4
Download video MP3
Similar videos
-
24:24
symbolic execution with symcc - don't interpret, compile!
-
26:42
usenix security '14 - blanket execution: dynamic similarity testing for program binaries
-
30:15
usenix security '15 - under-constrained symbolic execution: correctness checking for real code
-
12:07
usenix security '20 - understanding security mistakes developers make: qualitative analysis...
-
12:43
usenix security '20 - sha-1 is a shambles: first chosen-prefix collision on sha-1 and application
-
29:22
usenix security '17 - syntia: synthesizing the semantics of obfuscated code
-
12:34
usenix security '23 - formal analysis and patching of ble-sc pairing
-
13:48
usenix security '20 - apex: a verified architecture for proofs of execution on remote devices...
-
12:00
usenix security '20 - a tale of two headers: a formal analysis of inconsistent click-jacking...
-
10:28
usenix security '20 - that was then, this is now: a security evaluation of password generation
-
11:33
usenix security '22 - linkrid: vetting imbalance reference counting in linux kernel with symbolic...
-
11:35
usenix security '20 - interpretable deep learning under fire
-
28:37
symbolic execution by compilation with symcc
-
10:24
usenix security '22 - symsan: time and space efficient concolic execution via dynamic data-flow
-
28:24
usenix atc '13 - redundant state detection for dynamic symbolic execution
-
23:42
usenix security '18 - qsym : a practical concolic execution engine tailored for hybrid fuzzing
-
11:57
usenix security '20 - sys: a static/symbolic tool for finding good bugs in good (browser) code
-
11:41
usenix security '20 - a formal analysis of ieee 802.11's wpa2: countering the kracks caused by...