usenix atc '22 - dlos: effective static detection of deadlocks in os kernels
Published 1 year ago • 139 plays • Length 19:39Download video MP4
Download video MP3
Similar videos
-
15:04
usenix atc '19- effective static analysis of concurrency use-after-free bugs in linux device drivers
-
21:57
usenix atc '19 - lxds: towards isolation of kernel subsystems
-
11:30
usenix security '22 - arbiter: bridging the static and dynamic divide in vulnerability discovery...
-
11:30
usenix security '21 - static detection of unsafe dma accesses in device drivers
-
10:16
usenix security '22 - on the security risks of automl
-
10:53
usenix security '22 - in-kernel control-flow integrity on commodity oses using arm pointer...
-
11:35
usenix security '21 - detecting kernel refcount bugs with two-dimensional consistency checking
-
20:30
usenix atc '20 - harmonizing performance and isolation in microkernels with efficient intra-kernel
-
13:58
osdi '21 - horcrux: automatic javascript parallelism for resource-efficient web computation
-
18:31
ndss 2022 semantic-informed driver fuzzing without both the hardware devices and the emulators
-
19:12
usenix atc '22 - iplfs: log-structured file system without garbage collection
-
11:09
usenix security '22 - faster yet safer: logging system via fixed-key blockcipher
-
11:45
usenix security '21 - an investigation of the android kernel patch ecosystem
-
9:42
usenix security '22 - midas: systematic kernel tocttou protection
-
12:05
usenix security '21 - undo workarounds for kernel bugs
-
14:46
operating systems lecture 53: deadlocks (8): deadlock detection using the resource allocation graph
-
11:16
usenix security '22 - os-aware vulnerability prioritization via differential severity analysis
-
18:41
nsdi '20 - understanding, detecting and localizing partial failures in large system software
-
27:54
usenix security '17 - digtool: a virtualization-based framework for detecting kernel vulnerabilities
-
35:27
recursive read deadlocks and where to find them - boqun feng, huawei