MENU

Research

Filters
Tags:
side-channel mitigation
information-flow security
typed assembly language
aslr
hardware counter profiling
compiler
cpu
optimization
Securing Cryptographic Software via Typed Assembly Language
Shixin Song*,
Tingzhen Dong*,
Kosi Nwabueze,
Julian Zanders,
Andres Erbsen,
Adam Chlipala,
Mengjia Yan
2023 - 2025
The ACM Conference on Computer and Communications Security (CCS) 2025
#side-channel mitigation
#information-flow security
#typed assembly language

Presented a transformation framework that rewrites cryptographic assembly programs to separate secret and public stack data, facilitating secure speculation using hardware taint tracking.

pdf
Oreo: Protecting ASLR Against Microarchitectural Attacks
Shixin Song,
Joseph Zhang,
Mengjia Yan
2022 - 2024
The Network and Distributed System Security (NDSS) Symposium 2025
#aslr
#side-channel mitigation

Presented a software-hardware co-design mitigation that strengthens ASLR against microarchitectural side-channel attacks.

pdf
Thermometer: Profile-Guided BTB Replacement for Data Center Applications
Shixin Song,
Tanvir Ahmed Khan,
Sara Mahdizadeh Shahri,
Akshitha Sriraman,
Niranjan K Soundararajan,
Sreenivas Subramoney,
Daniel A. Jiménez,
Heiner Litz,
Baris Kasikci
2021 - 2022
International Symposium on Computer Architecture (ISCA) 2022
#cpu
#optimization

Presented a novel BTB replacement policy that achieves near-ideal frontend processor performance for data center applications.

pdf
Enabling Early Hardware Development for Futuristic Data Center Applications
2021 - 2022
#hardware counter profiling
#compiler

Characterized widely-used data center applications (e.g. MySQL, MongoDB, FFmpeg, Nginx) and predicted how these applications might evolve in the future to enable suitable hardware development early on.