Media Summary: Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ... fTPM: A Software-Only Implementation of a TPM Chip Himanshu Raj, ContainerX; Stefan Saroiu, Alec Wolman, Ronald Aigner, ... Opening Remarks and Awards Kevin Fu, University of Michigan View the full

Usenix Security 15 Using Formal - Detailed Analysis & Overview

Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ... fTPM: A Software-Only Implementation of a TPM Chip Himanshu Raj, ContainerX; Stefan Saroiu, Alec Wolman, Ronald Aigner, ... Opening Remarks and Awards Kevin Fu, University of Michigan View the full Mahimahi: Accurate Record-and-Replay for HTTP Ravi Netravali, Anirudh Sivaraman, Somak Das, and Ameesh Goyal MIT CSAIL ...

Photo Gallery

USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs
USENIX Security '15 - The Pythia PRF Service
USENIX Security '20 - A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking...
USENIX Security '15 - Transforming Innovative Security Concepts into Disruptive Security Companies
USENIX Security '15 - Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services
USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals
USENIX Security '22 - Backporting Security Patches of Web Applications: A Prototype Design
USENIX Security '20 - A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by...
USENIX Security '16 - fTPM: A Software-Only Implementation of a TPM Chip
USENIX Security '15 - Measuring the Longitudinal Evolution of the Online Anonymous Marketplace...
USENIX Security '14 - Opening Remarks and Awards
USENIX ATC '15 - Mahimahi: Accurate Record-and-Replay for HTTP
View Detailed Profile
USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs

USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs

Using Formal

USENIX Security '15 - The Pythia PRF Service

USENIX Security '15 - The Pythia PRF Service

View the full

USENIX Security '20 - A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking...

USENIX Security '20 - A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking...

A Tale of Two Headers: A

USENIX Security '15 - Transforming Innovative Security Concepts into Disruptive Security Companies

USENIX Security '15 - Transforming Innovative Security Concepts into Disruptive Security Companies

View the full

USENIX Security '15 - Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services

USENIX Security '15 - Circuit Fingerprinting Attacks: Passive Deanonymization of Tor Hidden Services

USENIX Security

USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals

USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals

Shiqi Wang Columbia University Abstract: Due to the increasing deployment of Deep Neural Networks (DNNs) in real-world ...

USENIX Security '22 - Backporting Security Patches of Web Applications: A Prototype Design

USENIX Security '22 - Backporting Security Patches of Web Applications: A Prototype Design

USENIX Security

USENIX Security '20 - A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by...

USENIX Security '20 - A Formal Analysis of IEEE 802.11's WPA2: Countering the Kracks Caused by...

A

USENIX Security '16 - fTPM: A Software-Only Implementation of a TPM Chip

USENIX Security '16 - fTPM: A Software-Only Implementation of a TPM Chip

fTPM: A Software-Only Implementation of a TPM Chip Himanshu Raj, ContainerX; Stefan Saroiu, Alec Wolman, Ronald Aigner, ...

USENIX Security '15 - Measuring the Longitudinal Evolution of the Online Anonymous Marketplace...

USENIX Security '15 - Measuring the Longitudinal Evolution of the Online Anonymous Marketplace...

View the full

USENIX Security '14 - Opening Remarks and Awards

USENIX Security '14 - Opening Remarks and Awards

Opening Remarks and Awards Kevin Fu, University of Michigan View the full

USENIX ATC '15 - Mahimahi: Accurate Record-and-Replay for HTTP

USENIX ATC '15 - Mahimahi: Accurate Record-and-Replay for HTTP

Mahimahi: Accurate Record-and-Replay for HTTP Ravi Netravali, Anirudh Sivaraman, Somak Das, and Ameesh Goyal MIT CSAIL ...

USENIX Security '15 - In the Compression Hornet’s Nest: A Security Study of Data Compression...

USENIX Security '15 - In the Compression Hornet’s Nest: A Security Study of Data Compression...

USENIX Security