Rutvik Choudhary公司
人员信息
优化列表
2020年–今天
2023 【c3】 Rutvik Choudhary公司 , 王建军 , 赵子瑞Neil Zhao , 亚当-莫里森 , 克里斯托弗·弗莱彻 :
去分类:一种静态分析,用于建模非推测性知识以放松推测性执行安全措施。 CCS系统 2023 : 2053-2067 [i1] Rutvik Choudhary公司 , 王建军 , 赵子瑞Neil Zhao , 亚当-莫里森 , 克里斯托弗·弗莱彻 :
DECLASSIFLOW:一种用于建模非推测性知识以放松推测性执行安全措施的静态分析(完整版)。 CoRR公司 abs/2312.09336 ( 2023 ) 2021 [c2] Rutvik Choudhary公司 , 余继勇 , 克里斯托弗·弗莱彻 , 亚当-莫里森 :
推测性隐私跟踪(SPT):在不损害隐私的情况下,从推测性执行中泄漏信息。 微型的 2021 : 607-622 2020 【c1】 赛卡特·杜塔 , 八月十 , Rutvik Choudhary公司 , Zhekun Zhang(张哲坤) , 阿亚曼·贾恩 , 萨萨·米塞洛维奇 :
检测概率和机器学习应用中的片状测试。 ISSTA公司 2020 : 211-224