usenix security '22 - symsan: time and space efficient concolic execution via dynamic data-flow
Published 1 year ago • 297 plays • Length 10:24Download video MP4
Download video MP3
Similar videos
-
10:50
usenix security '21 - selectivetaint: efficient data flow tracking with static binary rewriting
-
11:33
usenix security '22 - linkrid: vetting imbalance reference counting in linux kernel with symbolic...
-
28:24
usenix atc '13 - redundant state detection for dynamic symbolic execution
-
11:08
usenix security '20 - symbolic execution with symcc: don't interpret, compile!
-
11:12
usenix security '22 - frameshifter: security implications of http/2-to-http/1 conversion anomalies
-
26:06
usenix security '15 - constants count: practical improvements to oblivious ram
-
11:58
usenix security '22 - a large-scale and longitudinal measurement study of dkim deployment
-
21:41
usenix security '18 - formal security analysis of neural networks using symbolic intervals
-
12:17
usenix security '20 - datalog disassembly
-
25:44
usenix security '18 - saql: a stream-based query system for real-time abnormal system behavior...
-
12:40
usenix security '22 - holistic control-flow protection on real-time embedded systems with kage
-
20:51
usenix atc '24 - evaluating chiplet-based large-scale interconnection networks via cycle-accurate...
-
12:34
usenix security '20 - sunrise to sunset: analyzing the end-to-end life cycle and effectiveness...
-
12:41
usenix security '20 - phishtime: continuous longitudinal measurement of the effectiveness...
-
25:47
usenix security '17 - efficient protection of path-sensitive control security
-
13:02
usenix atc '21 - palleon: a runtime system for efficient video processing toward dynamic class skew
-
26:24
usenix security '17 - towards efficient heap overflow discovery