usenix security '22 - ferry: state-aware symbolic execution for exploring state-dependent program
Published 1 year ago • 204 plays • Length 13:22Download video MP4
Download video MP3
Similar videos
-
12:15
usenix security '22 - statefuzz: system call-based state-aware linux driver fuzzing
-
28:24
usenix atc '13 - redundant state detection for dynamic symbolic execution
-
10:24
usenix security '22 - symsan: time and space efficient concolic execution via dynamic data-flow
-
13:37
usenix security '22 - stateful greybox fuzzing
-
11:09
usenix security '22 - faster yet safer: logging system via fixed-key blockcipher
-
10:48
usenix security '22 - retbleed: arbitrary speculative code execution with return instructions
-
12:39
usenix security '22 - sapic : protocol verifiers of the world, unite!
-
11:08
usenix security '20 - symbolic execution with symcc: don't interpret, compile!
-
12:25
usenix security '22 - how to abuse and fix authenticated encryption without key commitment
-
12:34
usenix security '23 - formal analysis and patching of ble-sc pairing
-
34:32
eidas regulations & solutions webcast
-
11:33
usenix security '22 - linkrid: vetting imbalance reference counting in linux kernel with symbolic...
-
11:17
usenix security '22 - estimating incidental collection in foreign intelligence surveillance
-
10:54
usenix security '23 - systematic assessment of fuzzers using mutation analysis
-
10:25
usenix security '22 - themis: accelerating the detection of route origin hijacking by distinguishing
-
30:15
usenix security '15 - under-constrained symbolic execution: correctness checking for real code
-
11:58
usenix security '23 - ari: attestation of real-time mission execution integrity
-
17:09
usenix security '19 - fuzzification: anti-fuzzing techniques
-
11:30
usenix security '22 - arbiter: bridging the static and dynamic divide in vulnerability discovery...
-
12:57
usenix security '22 - batched differentially private information retrieval
-
10:53
introducing symbolic execution