Software systems

file

SaTC: CORE: Small: A Transparent and Customizable Android Container-Based Virtualization Architecture for Dynamic Malware Analys

Submitted by JasonGigax on Tue, 06/28/2022 - 1:29pm. Contributor:

Jiang Ming

file

SaTC: CORE: Small: Collaborative: Enabling Precise and Automated Insecurity Analysis of Middleware on Mobile Platforms

Submitted by JasonGigax on Wed, 06/22/2022 - 3:35pm. Contributor:

Qiang Zeng

file

SaTC: CORE: Small: Selective Data Protection against Data-oriented and Transient Execution Attacks

Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributor:

Michalis Polychronakis

file

CAREER: Principled and Practical Software Shielding against Advanced Exploits

Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributor:

Michalis Polychronakis

file

Mixed Distribution Models for Encrypted Data Stores

Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributors:

file

Scalable Cyber Attack Investigation using Declarative Queries and Interrogative Analysis

Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributors:

file

CAREER: Enhancing Mobile Application Security through Contextual Integrity and User Awareness

Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributor:

Xusheng Xiao

file

TWC: Medium: Collaborative: Efficient Repair of Learning Systems via Machine Unlearning

Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributor:

Yinzhi Cao

file

SaTC: CORE: Small: Preventing Web Side-channel Attacks via Atomic Determinism

Submitted by JasonGigax on Wed, 06/22/2022 - 3:28pm. Contributor:

Yinzhi Cao

file

A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in

Submitted by JasonGigax on Wed, 06/22/2022 - 3:20pm. Contributors:

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Software systems

SaTC: CORE: Small: A Transparent and Customizable Android Container-Based Virtualization Architecture for Dynamic Malware Analys

SaTC: CORE: Small: Collaborative: Enabling Precise and Automated Insecurity Analysis of Middleware on Mobile Platforms

SaTC: CORE: Small: Selective Data Protection against Data-oriented and Transient Execution Attacks

CAREER: Principled and Practical Software Shielding against Advanced Exploits

Mixed Distribution Models for Encrypted Data Stores

Scalable Cyber Attack Investigation using Declarative Queries and Interrogative Analysis

CAREER: Enhancing Mobile Application Security through Contextual Integrity and User Awareness

TWC: Medium: Collaborative: Efficient Repair of Learning Systems via Machine Unlearning

SaTC: CORE: Small: Preventing Web Side-channel Attacks via Atomic Determinism

A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in