usenix atc '13 - redundant state detection for dynamic symbolic execution
Published 2 years ago • 144 plays • Length 28:24Download video MP4
Download video MP3
Similar videos
-
11:08
usenix security '20 - symbolic execution with symcc: don't interpret, compile!
-
13:22
usenix security '22 - ferry: state-aware symbolic execution for exploring state-dependent program
-
10:24
usenix security '22 - symsan: time and space efficient concolic execution via dynamic data-flow
-
15:05
usenix atc '21 - fighting the fog of war: automated incident detection for cloud systems
-
26:01
nsdi '19 - janus: fast and flexible deep learning via symbolic graph execution of imperative
-
4:52
usenix atc '13 - opening remarks
-
19:37
usenix atc '14 - gestalt: fast, unified fault localization for networked systems
-
21:41
usenix security '18 - formal security analysis of neural networks using symbolic intervals
-
23:49
advanced programming in the unix environment: week 13, segment 2 - chflags, mount -o, securelevels
-
23:34
deeptest: automated testing of deep-neural-network-driven autonomous cars
-
52:11
progress in symbolic satisfiability solving
-
11:06
usenix security '21 - redoshunter: a combined static and dynamic approach for regular expression dos
-
12:45
usenix security '23 - extracting protocol format as state machine via controlled static loop...
-
24:08
asc2023 - nexus of aml, accounting & cybersecurity techniques in cyber fraud detection - olesya
-
28:37
symbolic execution by compilation with symcc
-
56:11
srecon19 asia/pacific - anomaly detection on golden signals
-
12:05
usenix security '23 - efficient unbalanced private set intersection cardinality and user-friendly...
-
11:58
usenix security '23 - ari: attestation of real-time mission execution integrity
-
9:24
soups 2022 - replication: the effect of differential privacy communication on german users'...
-
21:49
nsdi '13 - splash: fast data dissemination with constructive interference in wireless sensor
-
19:48
usenix atc '20 - hddse: enabling high-dimensional disk state embedding for generic failure detection