Aravind机械
人员信息
优化列表
2020年–今天
2024 [第九章] 张新余 , 西德哈斯·穆拉雷 , Sourag Cherupattamoolayil公司 , Aravind机械 :
GitHub工作流大型语言模型的有效性。 CoRR公司 abs/2403.12446 ( 2024 ) 2023 [公元34年] Joshua David Oetting少校 , 埃德加多·巴萨洛(Edgardo Barsallo Yi) , 阿米亚·马吉 , Darren Wu(吴达伦) , Saurabh Bagchi公司 , Aravind机械 :
虚拟远程设备的安全属性并监视其违规行为。 亚洲CCS 2023 : 841-854 [公元33年] 贾亚什雷·斯里尼瓦桑 , 赛里特维克Tanksalkar , 巴沙尔·阿穆索 , 詹姆斯·戴维斯 , Aravind机械 :
将嵌入式应用程序更改为Linux应用程序。 DSN-S公司 2023 : 94-99 [公元32年] 巴沙尔·阿穆索 , 里卡多·安德烈斯·卡尔沃·门德斯 , 徐忠伟 , 阿拉文德机械厂 , 詹姆斯·C·戴维斯 :
系统检测嵌入式网络堆栈中的数据包验证漏洞。 ASE公司 2023 : 926-938 [公元31年] 沈明杰 , 詹姆斯·戴维斯 , Aravind机械 :
面向嵌入式应用程序(WIP)中分层违规的自动识别。 LCTES公司 2023 : 143-147 [公元30年] 马塞尔·布施 , Aravind机械 , 查德·斯宾斯基 , 乔瓦尼·维格纳 , 克里斯托弗·克鲁格尔 , 马蒂亚斯·帕耶 :
TEEzz:在COTS Android设备上模糊可信应用程序。 服务提供商 2023 : 1204-1219 [公元29年] 西德哈斯·穆拉雷 , 伊吉贝克·科希巴耶夫 , Aleksandr Nahapetyan先生 , 格雷格·泰斯塔尔 , 布拉德利·里维斯 , 安东尼奥·比安奇 , 威廉·恩克 , 亚历山大·卡普雷夫洛斯 , Aravind机械 :
ARGUS:GitHub工作流和操作的分阶段静态Taint分析框架。 USENIX安全研讨会 2023 : 6983-7000 [i8] 李毅(Liyi Li) , 阿伦库马尔·巴塔尔 , 乐昌 , 朱明伟 , Aravind机械 :
CheckedCBox:使用Checked C键入定向程序分区,以确保增量空间内存安全。 CoRR公司 abs/2302.01811 ( 2023 ) [i7] 巴沙尔·阿穆索 , 里卡多·安德烈斯·卡尔沃·门德斯 , 徐忠伟 , Aravind机械 , 詹姆斯·戴维斯 :
系统检测嵌入式网络堆栈中的数据包验证漏洞。 CoRR公司 abs/2308.10965 ( 2023 ) [i6] 沈明杰 , 阿库勒·阿布希拉什·皮莱 , 布赖恩·A·袁 , 詹姆斯·戴维斯 , Aravind机械 :
开源嵌入式软件中静态分析工具使用的实证研究。 CoRR公司 abs/2310.00205 ( 2023 ) [i5] 阿尤希·夏尔马 , 沙申克·夏尔马 , 圣地亚哥·托雷斯-阿里亚斯 , Aravind机械 :
嵌入式系统的锈蚀:现状、挑战和未决问题。 CoRR公司 abs/2311.05063 ( 2023 ) 2022 [注2] Aravind机械 , 约翰·卡斯特纳 , 马特·麦库琴 , 亚伦·艾琳 , 凯尔·海德利 , 迈克尔·希克斯 :
C通过3c检查C。 程序。 ACM计划。 语言。 6 ( OOPSLA1公司 ) : 1-29 ( 2022 ) [公元28年] 帕迪斯·帕沙坎卢 , Aravind机械 , Choi贤扬 , 安东尼·卡尼诺 , Kihong Heo先生 , 因苏普·李 , 马约尔·奈克 :
PacJam:通过面向包的脱浮持续保护依赖关系。 亚洲CCS 2022 : 903-916 [公元27年] 迪潘詹·达斯 , 普里扬卡·博斯 , 阿拉文德机械厂 , 塞巴斯蒂亚诺·马里亚尼 , 严绍世泰什维利 , 乔瓦尼·维格纳 , 克里斯托弗·克鲁格尔 :
杂交修剪:朝向精确的指针和污点分析。 DIMVA公司 2022 : 1-22 [公元26年] 维杜什·辛哈尔 , 阿库尔·阿比拉什·皮莱 , Charitha Saumya公司 , 米林·库尔卡尼 , 阿拉文德机械厂 :
聚宝盆:一个以反馈为导向的二进制生成框架。 ASE公司 2022 : 27:1-27:13 [公元25年] 伊吉贝克·科希巴耶夫 , Aleksandr Nahapetyan先生 , Raima Zachariah公司 , 西德哈斯·穆拉雷 , 布拉德利·里维斯 , 亚历山大·卡普雷夫洛斯 , Aravind机械 :
描述Github CI工作流的安全性。 USENIX安全研讨会 2022 : 2747-2763 [i4] Aravind机械 , 约翰·卡斯特纳 , 马特·麦库琴 , 亚伦·艾琳 , 凯尔·海德利 , 迈克尔·希克斯 :
由3C检查C。 CoRR公司 abs/2203.13445 ( 2022 ) [i3] 维杜什·辛哈尔 , 阿库勒·阿布希拉什·皮莱 , Charitha Saumya公司 , 米林·库尔卡尼 , Aravind机械 :
聚宝盆:反馈引导生成二进制文件的框架。 CoRR公司 abs/2209.06694 ( 2022 ) 2021 [公元24年] 查德·斯宾斯基 , Aravind机械 , 尼洛·雷迪尼 , 科林·昂格 , 格雷厄姆·福斯特 , 埃文·布拉斯班德 , 哈米德·奥赫拉维 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
Conware:硬件外围设备的自动建模。 亚洲CCS 2021 : 95年至109年 【c23】 董玉萌 , 米歇尔·格雷罗 , Aravind机械 , 霍贾特·阿格哈尼 , Priyanka Bose公司 , 安德烈亚·孔蒂内拉 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
Bran:通过学习Bug症状减少大型开源存储库中的漏洞搜索空间。 亚洲CCS 2021 : 731-743 [公元22年] 戴维德·夸塔 , 米歇尔·伊安尼 , Aravind机械 , 亚尼克·弗拉坦托尼奥 , 埃里克·高斯塔森 , 大卫·巴尔扎罗蒂 , 玛蒂娜·林多夫 , 乔瓦尼·维格纳 , 克里斯托弗·克鲁格尔 :
Tarnhelm:ARM TrustZone中任意代码的独立、透明和机密执行。 CCS的Checkmate 2021 : 43-57 【c21】 查德·斯宾斯基 , Aravind机械 , 内森·伯洛 , 哈米德·奥赫拉维 , 里克·霍斯利 , 钟书谷 , 哈尼·贾姆约姆 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
闪光解密:分析基于控制流的闪光攻击和防御。 DSN(DSN) 2021 : 400-412 [公元20年] 尼洛·雷迪尼 , 安德里亚·康蒂内拉 , 迪潘詹·达斯 , 朱利奥·德·帕斯奎尔 , 诺亚·斯潘 , Aravind机械 , 安东尼奥·比安奇 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
Diane:识别应用程序中的模糊触发器,为物联网设备生成欠约束输入。 服务提供商 2021 : 484-500 [第19条] 李资阳 , Aravind机械 , 陈炳红 , 马约尔·奈克 , 王珂(Ke Wang) , 乐松 :
ARBITRAR:用户引导的API误用检测。 服务提供商 2021 : 2014年至2015年 [第18条] Chinmay Garg公司 , Aravind机械 , 安德烈亚·孔蒂内拉 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
实现安全的众包定位跟踪系统。 WISEC公司 2021 : 311-322 [i2] Chinmay Garg公司 , Aravind机械 , 安德烈亚·孔蒂内拉 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
实现安全的众包定位跟踪系统。 CoRR公司 abs/2106.00217 ( 2021 ) 2020 【b1】 Aravind机械 :
自下而上保护智能设备。 美国加州大学圣巴巴拉分校, 2020 [第17条] 克里斯托弗·萨尔斯 , Aravind机械 , 亚当·杜佩 , 严绍世泰什维利 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
探索模糊数学中的抽象函数。 中枢神经系统 2020 : 1-9 [第16条] 查德·斯宾斯基 , Aravind机械 , 马塞尔·布施 , 凯文·利奇 , 里克·霍斯利 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
信任。 IO:保护网络物理系统上的物理接口。 中枢神经系统 2020 : 1-9 [第15条] 尼洛·雷迪尼 , Aravind机械 , 王若愚 , 查德·斯宾斯基 , 安德烈亚·孔蒂内拉 , 严绍世泰什维利 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
卡隆特:检测嵌入式固件中不安全的多二进制交互。 服务提供商 2020 : 1544-1561 [第14条] Aravind机械 , 尼洛·雷迪尼 , 埃里克·卡梅里尼 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
蜘蛛:在相关软件库中实现快速补丁传播。 服务提供商 2020 : 1562-1579
2010 – 2019
2019 [第13条] 尼洛·雷迪尼 , 王若愚 , Aravind机械 , 严绍世泰什维利 , 乔瓦尼·维格纳 , 克里斯托弗·克鲁格尔 :
宾特里姆:通过抽象解释实现静态二进制解浮。 DIMVA公司 2019 : 482-501 [第12条] 埃里克·高斯塔森 , 马吕斯·穆恩 , 查德·斯宾斯基 , 尼洛·雷迪尼 , Aravind机械 , 亚尼克·弗拉坦托尼奥 , 大卫·巴尔扎罗蒂 , Aurélien Francillon公司 , 容瑞秋(Yung Ryn Choe) , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
通过自动重新驻留分析嵌入式固件。 磁盘阵列 2019 : 135-150 2018 [j1] 严绍世泰什维利 , 安东尼奥·比安奇 , 凯文·博尔戈特 , Amat迷彩 , 雅各布·科贝塔 , 弗朗西斯科·迪塞拉蒂 , 安德鲁·杜彻 , 约翰·格罗森 , 保罗·格罗森 , Aravind机械 , 克里斯托弗·萨尔斯 , 尼克·斯蒂芬斯 , 王若愚 , 乔瓦尼·维格纳 :
机械Phish:弹性自主黑客。 IEEE安全。 私人。 16 ( 2 ) : 12-22 ( 2018 ) [第11条] Aravind机械 , 尼洛·雷迪尼 , 埃里克·高斯塔森 , 亚尼克·弗拉坦托尼奥 , 容瑞秋(Yung Ryn Choe) , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
使用恶意软件分类环路对特征未知的干扰具有弹性。 痤疮 2018 : 112-123年 [第10条] 安东尼奥·比安奇 , 亚尼克·弗拉坦托尼奥 , Aravind机械 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 , 西蒙·朴和忠(Simon Pak Ho Chung) , 李文克 :
断指:关于Android中指纹API的使用。 nds公司 2018 【c9】 霍贾特·阿格哈尼 , Aravind机械 , 希林·尼利扎德 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
使用生成对手网络检测虚假评论。 IEEE安全与隐私研讨会 2018 : 89-95 [i1] 霍贾特·阿格哈尼 , Aravind机械 , 希林·尼利扎德 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
使用生成对手网络检测虚假评论。 CoRR公司 abs/1805.10364 ( 2018 ) 2017 【c8】 杰克·科琳娜 , Aravind机械 , 克里斯托弗·萨尔斯 , 严绍世泰什维利 , 双浩 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
DIFUZE:内核驱动程序的界面感知模糊。 CCS系统 2017 : 2123-2138 【c7】 Aravind机械 , 埃里克·高斯塔森 , 查德·斯彭斯基 , 克里斯托弗·萨尔斯 , 尼克·斯蒂芬斯 , 王若愚 , 安东尼奥·比安奇 , 容瑞秋(Yung Ryn Choe) , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
BOOMERANG:利用可信执行环境中的语义鸿沟。 nds公司 2017 【c6】 王若愚 , 严绍世泰什维利 , 安东尼奥·比安奇 , Aravind机械 , 约翰·格罗森 , 保罗·格罗森 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
漫步者:让重组再次伟大。 nds公司 2017 【c5】 尼洛·雷迪尼 , Aravind机械 , 迪潘詹·达斯 , 亚尼克·弗拉坦托尼奥 , 安东尼奥·比安奇 , 埃里克·高斯塔森 , 严绍世泰什维利 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
BootStomp:关于移动设备中引导加载程序的安全性。 USENIX安全研讨会 2017 : 781-798 【c4】 Aravind机械 , 查德·斯宾斯基 , 杰克·科琳娜 , 尼克·斯蒂芬斯 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
CHECKER博士:Linux内核驱动程序的可靠分析。 USENIX安全研讨会 2017 : 1007-1024 2015 【c3】 亚尼克·弗拉坦托尼奥 , Aravind机械 , 安东尼奥·比安奇 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
CLAP:描述Android应用程序中的循环(特邀演讲)。 DeMobile@SIGSOFT公司 FSE公司 2015 : 33-34 【c2】 亚尼克·弗拉坦托尼奥 , Aravind机械 , 安东尼奥·比安奇 , 克里斯托弗·克鲁格尔 , 乔瓦尼·维格纳 :
CLAPP:描述Android应用程序中的循环。 ESEC/SIGSOFT FSE 2015 : 687-697 2013 【c1】 Aravind机械 , 罗汉·塔西利亚尼 , 马约尔·奈克 :
Dynodroid:Android应用程序的输入生成系统。 ESEC/SIGSOFT FSE 2013 : 224-234