Princeton University Users: If you would like to view a senior thesis while you are away from campus, you will need to connect to the campus network remotely via the Global Protect virtual private network (VPN).
 

Publication:

Reconvergence-Informed Information Flow Tracking in the Rocket Core

dc.contributor.advisorMalik, Sharad
dc.contributor.authorLubic, Dresden
dc.date.accessioned2025-08-12T16:32:12Z
dc.date.available2025-08-12T16:32:12Z
dc.date.issued2025
dc.description.abstractEmerging threats in modern processor design underscore the need for robust hardware security measures, particularly in scenarios where unintended information leakage can compromise sensitive data (Kocher et al.; Lipp et al., 2020). Information Flow Tracking (IFT) has become a critical technique to enforce confidentiality and integrity requirements by identifying unintended data propagation paths (Hu et al., 2022). However, existing IFT approaches often introduce considerable overhead, limiting their applicability in performance- and cost-sensitive domains. In this work, we propose a custom IFT solution integrated into a constant-time multiplier for the Rocket Core. By engineering the taint propagation logic to address data correlations and reconvergence conditions, our approach reduces unnecessary complexity while preserving security guarantees. We compare our implementation to both CellIFT (Solt et al.) and a self-composition method (SPV, JasperGold) to assess relative trade-offs in precision, performance, and resource utilization. Formal verification results demonstrate a remarkable improvement in tracking precision, reducing false positives compared to prior approaches. Furthermore, our module design yields approximately 24% as many gates as CellIFT, offering tangible cost and area benefits. Compared to SPV, we observe 21% fewer overall flip-flops, making our solution attractive for resource-constrained hardware applications. This work presents an approach for reconvergence-informed IFT within an open source RISC-V processor, providing new insights into efficient hardware taint tracking and reinforcing the viability of IFT for secure processor architectures.
dc.identifier.urihttps://theses-dissertations.princeton.edu/handle/88435/dsp01p26770026
dc.language.isoen_US
dc.titleReconvergence-Informed Information Flow Tracking in the Rocket Core
dc.typePrinceton University Senior Theses
dspace.entity.typePublication
dspace.workflow.startDateTime2025-05-01T17:39:05.130Z
pu.contributor.authorid920246007
pu.date.classyear2025
pu.departmentElectrical & Computer Engr

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Lubic_Dresden.pdf
Size:
1.02 MB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
100 B
Format:
Item-specific license agreed to upon submission
Description:
Download