​
Login / Signup
Rutvik Choudhary
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Boolean Expressions
Knowledge Discovery
Security Measures
Source Code
Top Venues
MICRO
CoRR
ISSTA
CCS
</>
Publications
</>
Rutvik Choudhary
,
Alan Wang
,
Zirui Neil Zhao
,
Adam Morrison
,
Christopher W. Fletcher
Declassiflow: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures.
CCS
(2023)
Rutvik Choudhary
,
Alan Wang
,
Zirui Neil Zhao
,
Adam Morrison
,
Christopher W. Fletcher
DECLASSIFLOW: A Static Analysis for Modeling Non-Speculative Knowledge to Relax Speculative Execution Security Measures (Full Version).
CoRR
(2023)
Rutvik Choudhary
,
Jiyong Yu
,
Christopher W. Fletcher
,
Adam Morrison
Speculative Privacy Tracking (SPT): Leaking Information From Speculative Execution Without Compromising Privacy.
MICRO
(2021)
Saikat Dutta
,
August Shi
,
Rutvik Choudhary
,
Zhekun Zhang
,
Aryaman Jain
,
Sasa Misailovic
Detecting flaky tests in probabilistic and machine learning applications.
ISSTA
(2020)