usenix security '20 - besfs: a posix filesystem for enclaves with a mechanized safety proof
Published 4 years ago • 233 plays • Length 11:34Download video MP4
Download video MP3
Similar videos
-
12:15
usenix security '20 - copycat: controlled instruction-level attacks on enclaves
-
12:13
usenix security '20 - an off-chip attack on hardware enclaves via the memory bus
-
12:47
usenix security '23 - enigmap: external-memory oblivious map for secure enclaves
-
10:31
usenix security '20 - v0ltpwn: attacking x86 processor integrity from software
-
12:29
usenix security '21 - cure: a security architecture with customizable and resilient enclaves
-
10:28
usenix security '20 - exploring connections between active learning and model extraction
-
9:27
usenix security '22 - minefield: a software-only protection for sgx enclaves against dvfs attacks
-
11:35
usenix security '23 - controlled data races in enclaves: attacks and detection
-
10:23
usenix security '22 - a hardware-software co-design for efficient intra-enclave isolation
-
32:47
usenix security '17 - hacking in darkness: return-oriented programming against secure enclaves
-
10:41
usenix security '20 - teerex: discovery and exploitation of memory corruption vulnerabilities...
-
14:06
usenix security '22 - elasticlave: an efficient memory model for enclaves
-
12:05
usenix security '20 - phmon: a programmable hardware monitor and its security use cases
-
11:34
usenix security '20 - secure parallel computation on national scale volumes of data
-
19:55
usenix security '19 - pex: a permission check analysis framework for linux kernel
-
18:19
usenix security '14 - asm: a programmable interface for extending android security
-
20:27
usenix security '18 - aces: automatic compartments for embedded systems
-
11:14
usenix security '22 - composable cachelets: protecting enclaves from cache side-channel attacks