research
∙
09/11/2023
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
We present Serberus, the first comprehensive mitigation for hardening co...
share
research
∙
03/08/2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable...
research
∙
04/18/2022
Dynamic Network Adaptation at Inference
Machine learning (ML) inference is a real-time workload that must comply...
research
∙
01/25/2022
RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation
We propose RecShard, a fine-grained embedding table (EMB) partitioning a...
research
∙
12/20/2021
Relational Models of Microarchitectures for Formal Security Analyses
There is a growing need for hardware-software contracts which precisely ...
research
∙
05/09/2021
Analysis and Mitigations of Reverse Engineering Attacks on Local Feature Descriptors
As autonomous driving and augmented reality evolve, a practical concern ...
research
∙
05/02/2021
SoK: Opportunities for Software-Hardware-Security Codesign for Next Generation Secure Computing
Users are demanding increased data security. As a result, security is ra...
research
∙
01/29/2021
RecSSD: Near Data Processing for Solid State Drive Based Recommendation Inference
Neural personalized recommendation models are used across a wide variety...
research
∙
01/19/2021
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Homomorphic encryption (HE) is a privacy-preserving technique that enabl...
research
∙
11/05/2020
CPR: Understanding and Improving Failure Tolerant Training for Deep Learning Recommendation with Partial Recovery
The paper proposes and optimizes a partial recovery training system, CPR...
research
∙
08/08/2020
TransForm: Formally Specifying Transistency Models and Synthesizing Enhanced Litmus Tests
Memory consistency models (MCMs) specify the legal ordering and visibili...
research
∙
02/11/2018
MeltdownPrime and SpectrePrime: Automatically-Synthesized Attacks Exploiting Invalidation-Based Coherence Protocols
The recent Meltdown and Spectre attacks highlight the importance of auto...
research
∙
08/26/2016