Download video

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...

724 views

USENIX

11 years ago

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...

Why Attend USENIX Conferences?
1:30
Why Attend USENIX Conferences?
by USENIX
USENIX Security '23 - Secure Floating-Point Training
12:09
USENIX Security '23 - Secure Floating-Point Training
by USENIX
USENIX Security '23 - Adversarial Training for Raw-Binary Malware Classifiers
12:29
USENIX Security '23 - Adversarial Training for Raw-Binary Malware Classifiers
by USENIX
USENIX Security '23 - Beyond Typosquatting: An In-depth Look at Package Confusion
11:35
USENIX Security '23 - Beyond Typosquatting: An In-depth Look at Package Confusion
by USENIX
USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...
11:28
USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...
by USENIX
USENIX Security '23 - Security Analysis of MongoDB Queryable Encryption
12:52
USENIX Security '23 - Security Analysis of MongoDB Queryable Encryption
by USENIX
The Turtles Project: Design and Implementation of Nested Virtualization
32:08
The Turtles Project: Design and Implementation of Nested Virtualization
by USENIX
USENIX ATC '21\/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware
1:06:20
USENIX ATC '21\/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware
by USENIX
USENIX Security '24 - SIMurai: Slicing Through the Complexity of SIM Card Security Research
12:33
USENIX Security '24 - SIMurai: Slicing Through the Complexity of SIM Card Security Research
by USENIX
USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital...
12:07
USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital...
by USENIX
USENIX Security '23 - Sparsity Brings Vulnerabilities: Exploring New Metrics in Backdoor Attacks
13:32
USENIX Security '23 - Sparsity Brings Vulnerabilities: Exploring New Metrics in Backdoor Attacks
by USENIX
USENIX Security '23 - Linear Private Set Union from Multi-Query Reverse Private Membership Test
11:47
USENIX Security '23 - Linear Private Set Union from Multi-Query Reverse Private Membership Test
by USENIX
USENIX Security '23 - How fast do you heal? A taxonomy for post-compromise security in...
12:51
USENIX Security '23 - How fast do you heal? A taxonomy for post-compromise security in...
by USENIX
USENIX Security '23 - ZBCAN: A Zero-Byte CAN Defense System
13:14
USENIX Security '23 - ZBCAN: A Zero-Byte CAN Defense System
by USENIX
USENIX Security '23 - URET: Universal Robustness Evaluation Toolkit (for Evasion)
12:34
USENIX Security '23 - URET: Universal Robustness Evaluation Toolkit (for Evasion)
by USENIX
USENIX Security '23 - “If sighted people know, I should be able to know:” Privacy Perceptions of...
11:53
USENIX Security '23 - “If sighted people know, I should be able to know:” Privacy Perceptions of...
by USENIX
2025 Apt Antivirus Test
23:02
2025 Apt Antivirus Test
by Kısaca Enes
USENIX Security '23 - Design of Access Control Mechanisms in Systems-on-Chip with Formal...
10:51
USENIX Security '23 - Design of Access Control Mechanisms in Systems-on-Chip with Formal...
by USENIX
USENIX Security '23 - Intender: Fuzzing Intent-Based Networking with Intent-State Transition...
12:34
USENIX Security '23 - Intender: Fuzzing Intent-Based Networking with Intent-State Transition...
by USENIX
USENIX Security '23 - ASSET: Robust Backdoor Data Detection Across a Multiplicity of Deep Learning..
13:45
USENIX Security '23 - ASSET: Robust Backdoor Data Detection Across a Multiplicity of Deep Learning..
by USENIX
USENIX Security '23 - BASECOMP: A Comparative Analysis for Integrity Protection in Cellular...
11:01
USENIX Security '23 - BASECOMP: A Comparative Analysis for Integrity Protection in Cellular...
by USENIX
USENIX Security '22 - \\
11:36
USENIX Security '22 - \\"\\"The Same PIN, Just Longer\\"\\": On the (In)Security of Upgrading PINs from 4 to
by USENIX