File
Toward safe, private, and secure home automation: from formal modeling to user evaluation
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Quicksilver: A Write-Oriented Private, Outsourced Database Management System
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Towards a Usable, Practical, and Provably Secure Browser Infrastructure
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SaTC: CORE: Small: Detecting Vulnerabilities and Remediations in Software Dependencies
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Collaborative Research: SaTC: CORE: Medium: Enabling Practically Secure Cellular Infrastructure
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Secure Distributed Coded Computations for IoT: An Information Theoretic and Network Approach
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Exploiting Physical Properties in Wireless Networks for Implicit Authentication
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Securing IoT and Edge Devices under Audio Adversarial Attacks
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
CAREER: Sustainable Censorship Resistance Systems for the Next Decade
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Collaborative Research: SaTC: CORE: Small: Privately Collecting and Analyzing V2X Data for Urban Traffic Modeling
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
Subscribe to Project Highlight Slides