Shweta Shinde公司
人员信息
优化列表
2020年–今天
2024 【i21】 本尼迪克特·施吕特 , Supraja Sridhara公司 , 马克·库恩 , 安德林·贝茨基 , Shweta Shinde公司 :
赫克勒:用恶意中断破坏机密虚拟机。 CoRR公司 腹肌/2404.03387 ( 2024 ) [i20] 本尼迪克特·施吕特 , Supraja Sridhara公司 , 安德林·贝茨基 , Shweta Shinde公司 :
WeSee:使用恶意#VC中断中断AMD SEV-SNP。 CoRR公司 abs/2404.03526 ( 2024 ) [i19] Supraja Sridhara公司 , 安德林·贝茨基 , 本尼迪克特·施吕特 , Shweta Shinde公司 :
SIGY:用恶意异常和信号打破Intel SGX的封锁。 CoRR公司 abs/2404.13998 ( 2024 ) [i18] 克里斯托夫·费雷拉·托雷斯 , 阿尔宾·马穆蒂 , 本·温特劳布 , 克里斯蒂娜·尼塔·罗塔鲁 , Shweta Shinde公司 :
在阴影中滚动:分析MEV在第2层滚动中的提取。 CoRR公司 腹肌/2405.00138 ( 2024 ) 2023 [第15条] 克里斯托夫·费雷拉·托雷斯 , 菲奥娜·威利 , Shweta Shinde公司 :
你的钱包在偷吗? Web3的隐私含义分析。 USENIX安全研讨会 2023 : 769-786 [i17] Supraja Sridhara公司 , 安德林·贝茨基 , 本尼迪克特·施吕特 , 马克·库恩 , 法比奥·阿利贝蒂 , Shweta Shinde公司 :
ACAI:将机密计算体系结构保护从CPU扩展到加速器。 CoRR公司 abs/2305.15986 ( 2023 ) [i16] 克里斯托夫·费雷拉·托雷斯 , 菲奥娜·威利 , Shweta Shinde公司 :
你的钱包在偷吗? Web3.隐私含义分析。 CoRR公司 abs/2306.08170 ( 2023 ) 2022 [注2] 崔金华 , Shweta Shinde公司 , 萨提亚基·森 , Prateek Saxena公司 , 平海苑 :
SGX Enclaves的动态二进制转换。 ACM事务处理。 私人安全。 25 ( 4 ) : 32:1-32:40 ( 2022 ) [第14条] Jason Zhijingcheng于 , Shweta Shinde公司 , 特雷弗·E·卡尔森 , Prateek Saxena公司 :
弹性波:一种有效的外壳记忆模型。 USENIX安全研讨会 2022 : 4111-4128 【i15】 莫里茨·施耐德 , Ramya Jayaram Masti女士 , Shweta Shinde公司 , Srdjan Capkun公司 , 罗纳德·佩雷斯 :
SoK:硬件支持的可信执行环境。 CoRR公司 abs/2205.12742 ( 2022 ) [第14条] 阿里特拉·达尔 , Supraja Sridhara公司 , Shweta Shinde公司 , Srdjan Capkun公司 , 伦佐·安德里 :
为数据中心提供新一代可信计算支持。 CoRR公司 abs/2211.00306 ( 2022 ) [i13] 弗里德里克·格罗斯库普 , 马克·库恩 , 莫里茨·施耐德 , 伊凡·普杜 , Shweta Shinde公司 , Srdjan Capkun公司 :
这是TEEtime:为智能手机带来用户主权。 CoRR公司 abs/2211.05206 ( 2022 ) 2021 [第13条] 崔金华 , Jason Zhijingcheng于 , Shweta Shinde公司 , Prateek Saxena公司 , 蔡志平 :
SmashEx:使用异常粉碎SGX Enclaves。 CCS系统 2021 : 779-793 [i12] 弗里德里克·格罗斯库普 , 莫里茨·施耐德 , 伊凡·普杜 , Shweta Shinde公司 , Srdjan Capkun公司 :
主权智能手机:为了享受自由,我们必须控制我们的手机。 CoRR公司 腹肌/2102.02743 ( 2021 ) [i11] 崔金华 , Shweta Shinde公司 , 萨提亚基·森 , Prateek Saxena公司 , 平海苑 :
SGX Enclaves的动态二进制转换。 CoRR公司 abs/2103.15289 ( 2021 ) [i10] 崔金华 , Jason Zhijingcheng于 , Shweta Shinde公司 , Prateek Saxena公司 , 蔡志平 :
SmashEx:使用异常粉碎SGX Enclaves。 CoRR公司 abs/2110.06657 ( 2021 ) 2020 [j1] 大卫·科尔布伦纳 , Shweta Shinde公司 , Dayeol Lee公司 , 克里斯特·阿萨诺维奇 , 黎明之歌 :
构建开放的可信执行环境。 IEEE安全。 私人。 18 ( 5 ) : 47-56 ( 2020 ) [第12条] Dayeol Lee公司 , 大卫·科尔布伦纳 , Shweta Shinde公司 , 克里斯特·阿萨诺维奇 , 黎明之歌 :
Keystone:用于构建可信执行环境的开放框架。 欧洲系统 2020 : 38:1-38:16 [第11条] Shweta Shinde公司 , 王胜毅(Shengyi Wang) , 平海苑 , 阿奎那·霍伯 , 阿比克·罗伊乔杜里 , Prateek Saxena公司 :
BesFS:带机械化安全证明的封装POSIX文件系统。 USENIX安全研讨会 2020 : 523-540 [第九章] Shweta Shinde公司 , 崔金华 , Satyaki Sen先生 , 平海苑 , Prateek Saxena公司 :
SGX Enclaves的二进制兼容性。 CoRR公司 abs/2009.01144 ( 2020 ) [i8] 致敬程宇 , Shweta Shinde公司 , 特雷弗·E·卡尔森 , Prateek Saxena公司 :
Elasticlave:一种有效的Enclaves内存模型。 CoRR公司 abs/2010.08440 ( 2020 )
2010年至2019年
2019 [第10条] 特奥多拉·巴卢塔 , Shiqi Shen公司 , Shweta Shinde公司 , 库尔德普·S·梅尔 , Prateek Saxena公司 :
神经网络的定量验证及其安全应用。 CCS系统 2019 : 1249-1264 【c9】 德利宫 , Muoi Tran公司 , Shweta Shinde公司 , 郝金 , 维亚斯·塞卡尔 , Prateek Saxena公司 , 闵淑康 :
用于DDoS防御的实用可验证网络内过滤。 ICDCS系统 2019 : 1161-1174 【c8】 Shiqi Shen公司 , Shweta Shinde公司 , Soundarya Ramesh公司 , 阿比克·罗伊乔杜里 , Prateek Saxena公司 :
神经符号执行:用神经约束增强符号执行。 NDSS公司 2019 [i7] 德利宫 , Muoi Tran公司 , Shweta Shinde公司 , 郝金 , 维亚斯·塞卡尔 , Prateek Saxena公司 , 闵淑康 :
用于DDoS防御的实用可验证网络内过滤。 CoRR公司 abs/1901.00955 ( 2019 ) [i6] 特奥多拉·巴卢塔 , Shiqi Shen公司 , Shweta Shinde公司 , 库尔德普·S·梅尔 , Prateek Saxena公司 :
神经网络的定量验证及其安全应用。 CoRR公司 abs/1906.10395 ( 2019 ) [i5] Dayeol Lee公司 , 大卫·科尔布伦纳 , Shweta Shinde公司 , 黎明之歌 , 克里斯特·阿萨诺维奇 :
Keystone:构建TEE的框架。 CoRR公司 腹肌/1907.10119 ( 2019 ) 2018 [i4] Shweta Shinde公司 , 王胜毅(Shengyi Wang) , 平海苑 , 阿奎那·霍伯 , 阿比克·罗伊乔杜里 , Prateek Saxena公司 :
BesFS:用于Enclaves的Iago安全文件系统的机械化证明。 CoRR公司 abs/1807.00477 ( 2018 ) [i3] Shiqi Shen公司 , Soundarya Ramesh公司 , Shweta Shinde公司 , 阿比克·罗伊乔杜里 , Prateek Saxena公司 :
神经符号执行:符号执行归纳法的可行性。 CoRR公司 abs/1807.00575 ( 2018 ) [i2] Shruti头饰 , 卡兰·格罗弗 , Shweta Shinde公司 , 兰吉塔·巴格旺 , 拉马钱德兰·拉姆吉 :
Privado:实用且安全的DNN推断。 CoRR公司 abs/1810.00602 ( 2018 ) 2017 【c7】 Shweta Shinde公司 , 大乐天 , Shruti头饰 , Prateek Saxena公司 :
Panoply:使用SGX Enclaves的低TCB Linux应用程序。 NDSS公司 2017 2016 【c6】 Shweta Shinde公司 , 郑梁蔡(Zheng Leong Chua) , 维斯韦什·纳拉亚南 , Prateek Saxena公司 :
防止页面错误泄露您的秘密。 亚洲CCS 2016 : 317-328 【c5】 洪湖 , Shweta Shinde公司 , 森德鲁·阿德里安 , 郑梁蔡(Zheng Leong Chua) , Prateek Saxena公司 , 梁振凯 :
面向数据的编程:关于非控制数据攻击的表达。 IEEE安全与隐私研讨会 2016 : 969-986 2015 【c4】 伊尼安·帕拉梅什瓦兰 , 恩里科·布迪安托 , Shweta Shinde公司 , 红党(Hung Dang) , 阿图尔·萨杜 , Prateek Saxena公司 :
按比例自动绘制基于DOM的XSS。 ESEC/SIGSOFT FSE 2015 : 272-283 【c3】 伊尼安·帕拉梅什瓦兰 , 恩里科·布迪安托 , Shweta Shinde公司 , 洪当 , 阿图尔·萨杜 , Prateek Saxena公司 :
DexterJS:针对基于DOM的XSS漏洞的健壮测试平台。 ESEC/SIGSOFT FSE 2015 : 946-949 [i1] Shweta Shinde公司 , 郑梁蔡(Zheng Leong Chua) , 维斯韦什·纳拉亚南 , Prateek Saxena公司 :
防止错误泄露秘密:防御鸽子洞攻击。 CoRR公司 abs/1506.04832 ( 2015 ) 2014 【c2】 洛伊卢 , Shweta Shinde公司 , Prateek Saxena公司 , 布莱恩·德姆斯基 :
无界字符串上的约束的模型计数器。 PLDI公司 2014 : 565-576 2013 【c1】 Shruti头饰 , Shweta Shinde公司 , 陈兆峰 , Prateek Saxena公司 :
AUTOCRYPT:在服务器上启用同态计算,以保护敏感的网络内容。 CCS系统 2013 : 1297-1310