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

Usenix Security 15 Automatic Generation - Detailed Analysis & Overview

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

Photo Gallery

USENIX Security '15 - Automatic Generation of Data-Oriented Exploits
USENIX Security '15 - Machine vs. Machine: Lessons from the First Year of Cyber Grand Challenge
USENIX Security '22 - FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities
USENIX Security '15 - Measuring the Longitudinal Evolution of the Online Anonymous Marketplace...
USENIX Security '15 - ZigZag: Automatically Hardening Web Applications Against Client-side...
USENIX Security '15 - Cloudy with a Chance of Breach: Forecasting Cyber Security Incidents
USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC
USENIX Security '14 - SSOScan: Automated Testing of Web Applications for Single Sign-On
USENIX ATC '15 - Mahimahi: Accurate Record-and-Replay for HTTP
USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs
USENIX Security '24 - Rise of Inspectron: Automated Black-box Auditing of Cross-platform Electron...
USENIX Security '23 - No more Reviewer #2: Subverting Automatic Paper-Reviewer Assignment using...
View Detailed Profile
USENIX Security '15 - Automatic Generation of Data-Oriented Exploits

USENIX Security '15 - Automatic Generation of Data-Oriented Exploits

Automatic Generation

USENIX Security '15 - Machine vs. Machine: Lessons from the First Year of Cyber Grand Challenge

USENIX Security '15 - Machine vs. Machine: Lessons from the First Year of Cyber Grand Challenge

View the full

USENIX Security '22 - FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities

USENIX Security '22 - FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities

USENIX Security

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 '15 - ZigZag: Automatically Hardening Web Applications Against Client-side...

USENIX Security '15 - ZigZag: Automatically Hardening Web Applications Against Client-side...

ZigZag:

USENIX Security '15 - Cloudy with a Chance of Breach: Forecasting Cyber Security Incidents

USENIX Security '15 - Cloudy with a Chance of Breach: Forecasting Cyber Security Incidents

View the full

USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC

USENIX Security '15 - Verified Correctness and Security of OpenSSL HMAC

View the full

USENIX Security '14 - SSOScan: Automated Testing of Web Applications for Single Sign-On

USENIX Security '14 - SSOScan: Automated Testing of Web Applications for Single Sign-On

SSOScan:

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 - Using Formal Methods to Eliminate Exploitable Bugs

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

View the full

USENIX Security '24 - Rise of Inspectron: Automated Black-box Auditing of Cross-platform Electron...

USENIX Security '24 - Rise of Inspectron: Automated Black-box Auditing of Cross-platform Electron...

Rise of Inspectron:

USENIX Security '23 - No more Reviewer #2: Subverting Automatic Paper-Reviewer Assignment using...

USENIX Security '23 - No more Reviewer #2: Subverting Automatic Paper-Reviewer Assignment using...

USENIX Security

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