卢卡斯·戴维
人员信息
附属: 德国埃森杜伊斯堡大学计算机科学与商业信息系统研究所
其他同名人员
优化列表
2020年-今天
2024 [c62] 费利克斯·斯塔迪格尔 , 扬·菲利普·托马 , 克里斯蒂安·尼斯勒 , 卡尔·J·X·斯特姆 , 丽贝卡·佩尔克 , 多米尼克·杰梅克 , 简·莫里茨·约瑟夫 , 蒂姆·格内苏 , 卢卡斯·戴维 , Rainer Leupers公司 :
NVM-Flip:系统级的非易失性内存位翻转。 SAT-CPS@CODASPY 2024 : 11-20 2023 [第61条] 塞巴斯蒂安·苏敏斯基 , 克里斯蒂安·尼斯勒 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
DMA和Play:基于直接内存访问的实用远程认证。 ACNS公司 2023 : 32-61 [公元60年] 斯文·斯莫尔卡 , 延斯·雷内·吉森 , 帕斯卡·温克勒 , 乌萨马·德拉西 , 卢卡斯·戴维 , 加桑·卡拉姆 , 克劳斯·波尔 :
海滩上的模糊:模糊的索拉纳智能合约。 CCS系统 2023 : 1197-1211 [公元59年] 塞巴斯蒂安·苏敏斯基 , 克里斯蒂安·尼斯勒 , 塞巴斯蒂安·林斯纳 , 卢卡斯·戴维 , 克里斯蒂安·路透社 :
SCAtt-man:用户理解的嵌入式设备的基于侧通道的远程认证。 CODASPY代码 2023 : 225-236 [公元58年] 迈克尔·罗德勒 , 大卫·帕ß恩 , 李文亭 , 卢卡斯·伯恩哈德 , 霍尔兹 , 加桑·卡拉姆 , 卢卡斯·戴维 :
EF↯CF:用于漏洞生成的高性能智能合同模糊。 欧洲标准普尔 2023 : 449-471 [公元57年] 简·菲利普·托马 , 克里斯蒂安·尼斯勒 , 多米尼克·A·芬克 , 格雷戈·利安德 , 皮埃尔·迈尔 , 尼尔斯·波尔 , 卢卡斯·戴维 , 蒂姆·格内苏 :
ClepsydraCache-使用基于时间的收回防止缓存攻击。 USENIX安全研讨会 2023 : 1991-2008 [i17] 迈克尔·罗德勒 , 大卫·帕恩 , 李文婷 , 卢卡斯·伯恩哈德 , 霍尔兹 , 加桑·卡拉姆 , 卢卡斯·戴维 :
EF/CF:用于漏洞生成的高性能智能合同模糊。 CoRR公司 腹肌/2304.06341 ( 2023 ) [i16] 斯文·斯莫尔卡 , 延斯·雷内·吉森 , 帕斯卡·温克勒 , 乌萨马·德拉西 , 卢卡斯·戴维 , 加桑·卡拉姆 , 克劳斯·波尔 :
海滩上的模糊:模糊的索拉纳智能合约。 CoRR公司 abs/2309.03006 ( 2023 ) 2022 [c56] 卢卡斯·伯恩哈德 , 迈克尔·罗德勒 , 霍尔兹 , 卢卡斯·戴维 :
xTag:通过在Intel x86-64上基于软件的指针标记缓解无使用后漏洞。 欧洲标准普尔 2022 : 502-519 [公元55年] 托比亚斯·克罗斯特 , 大卫·帕恩 , 王建强 , 乌萨马·德拉西 , 帕特里克·贾尼格 , 埃曼纽尔·斯塔夫 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
RiscyROP:针对RISC-V和ARM64的自动返回式编程攻击。 磁盘阵列 2022 : 30-42 [公元54年] 延斯·雷内·吉森 , 塞巴斯蒂安·安德烈纳 , 迈克尔·罗德勒 , 加桑·O·卡拉姆 , 卢卡斯·戴维 :
教程:分析、利用和修补以太坊中的智能合约。 安全开发人员 2022 : 3-4 [公元53年] 托比亚斯·克罗斯特 , 塞巴斯蒂安·苏敏斯基 , 杰里特·桑格尔 , 卢卡斯·戴维 :
Salsa:SGX实时流媒体应用认证。 安全开发人员 2022 : 45-51 [第52条] 托比亚斯·克罗斯特 , 约翰内斯·威尔博尔德 , 霍尔兹 , 卢卡斯·戴维 :
SGXFuzz:高效合成SGX Enclave Fuzzing的嵌套结构。 USENIX安全研讨会 2022 : 3147-3164 【i15】 延斯·雷内·吉森 , 塞巴斯蒂安·安德烈纳 , 迈克尔·罗德勒 , 加桑·O·卡拉姆 , 卢卡斯·戴维 :
智能合约缺陷的实际缓解。 CoRR公司 abs/2203.00364 ( 2022 ) [第14条] 卢卡斯·伯恩哈德 , 迈克尔·罗德勒 , 霍尔兹 , 卢卡斯·戴维 :
xTag:通过在Intel x86-64上基于软件的指针标记缓解无使用后漏洞。 CoRR公司 abs/2203.04117 ( 2022 ) 2021 [第51条] 塞巴斯蒂安·苏敏斯基 , 克里斯蒂安·尼斯勒 , 费迪南德·布拉瑟 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
RealSWATT:实时约束下嵌入式设备的基于软件的远程认证。 CCS系统 2021 : 2890-2905 [公元50年] 伊利亚·波利安 , 弗兰克·奥尔特曼 , 托尔加·阿鲁尔 , 克里斯蒂安·博伊特 , 拉尔夫·布雷德洛 , 卢卡斯·戴维 , 罗尔夫·德雷克斯勒 , 南都 , 托马斯·艾森巴特 , 蒂姆·格内苏 , 萨沙·赫尔曼 , 马蒂亚斯·希勒 , Rainer Leupers公司 , 法哈德商人 , 托马斯·穆森布罗克 , 斯特凡·卡岑贝塞尔 , 阿卡什·库马尔 , 沃尔夫冈·昆兹 , 托马斯·米科拉吉克 , 维韦克·帕乔里 , Jean-Pierre Seifert女士 , 弗兰克·希尔·托雷斯 , Jens Trommer公司 :
纳米安全:从纳米电子学到安全系统。 日期 2021 : 1334-1339 [公元49年] 大卫·帕恩 , 塞巴斯蒂安·苏敏斯基 , 迈克尔·罗德勒 , 卢卡斯·戴维 :
我的Fuzzer打败了他们! 制定模糊器公平评估和比较框架。 ESORICS(1) 2021 : 173-193 [公元48年] 克里斯蒂安·尼斯勒 , 塞巴斯蒂安·苏敏斯基 , 卢卡斯·戴维 :
HERA:嵌入式实时应用程序的热修补。 NDSS公司 2021 [公元47年] 迈克尔·罗德勒 , 李文亭 , 加桑·O·卡拉姆 , 卢卡斯·戴维 :
EVMPatch:以太坊智能合约的及时自动补丁。 USENIX安全研讨会 2021 : 1289-1306 [i13] 简·菲利普·托马 , 克里斯蒂安·尼斯勒 , 多米尼克·A·芬克 , 格雷戈·利安德 , 皮埃尔·迈尔 , 尼尔斯·波尔 , 卢卡斯·戴维 , 蒂姆·格内苏 :
ClepsydraCache-使用基于时间的收回防止缓存攻击。 CoRR公司 abs/2104.11469 ( 2021 ) [i12] 大卫·帕恩 , 塞巴斯蒂安·苏尔明斯基 , 迈克尔·罗德勒 , 卢卡斯·戴维 :
我的引信打败了他们! 制定模糊器公平评估和比较框架。 CoRR公司 abs/2108.07076 ( 2021 ) 2020 [公元46年] 斯里达尔·阿德普 , 费迪南德·布拉瑟 , 路易斯-加西亚 , 迈克尔·罗德勒 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 萨曼·佐努兹 :
分布式网络物理系统的控制行为完整性。 ICCPS公司 2020 : 30-40 [公元45年] 托比亚斯·克罗斯特 , 迈克尔·罗德勒 , 卢卡斯·戴维 :
TeeRex:发现和利用SGX Enclaves中的内存崩溃漏洞。 USENIX安全研讨会 2020 : 841-858 [i11] 詹妮克·佩尼 , 菲利普·科佩 , 卢卡斯·戴维 , 霍尔兹 :
破坏和修复破坏性代码读取防御。 CoRR公司 abs/2007.03548 ( 2020 ) [i10] 托比亚斯·克罗斯特 , 迈克尔·罗德勒 , 卢卡斯·戴维 :
TeeRex:发现和利用SGX Enclaves中的内存崩溃漏洞。 CoRR公司 abs/2007.07586 ( 2020 ) [第九章] 迈克尔·罗德勒 , 李文亭 , 加桑·O·卡拉姆 , 卢卡斯·戴维 :
EVMPatch:以太坊智能合约的及时自动修补。 CoRR公司 abs/2010.00341 ( 2020 )
2010 – 2019
2019 [公元44年] 加达·德苏基 , 沙扎·泽图尼 , 迈德·易卜拉欣 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
CHASE:实时系统的可配置硬件辅助安全扩展。 国际计算机辅助设计协会 2019 : 1-8 [公元43年] 迈克尔·罗德勒 , 李文亭 , 加桑·O·卡拉姆 , 卢卡斯·戴维 :
Sereum:保护现有智能合约免受再进入攻击。 NDSS公司 2019 [公元42年] 卢卡斯·戴维 , 丹尼斯·哈特布尔 , 玛丽塔·海塞尔 , 罗曼·维茨 :
使用区块链技术将自动驾驶汽车的安全与安保结合起来。 SAFECOMP研讨会 2019 : 223-234 2018 [公元41年] 费迪南德·布拉瑟 , 卢卡斯·戴维 , 阿比吉特·达夫勒 , 托马索·弗拉塞托 , 赛马诺伊Pudukotai Dinakarrao , 塞塔雷·拉法蒂拉德 , 艾哈迈德·雷扎·萨德吉 , 阿维斯塔·萨桑 , 侯赛因·萨亚迪 , 沙扎·泽图尼 , 霍曼·霍马雍 :
硬件辅助安全的进展和倒退:特别会议。 案例 2018 : 15:1-15:10 [公元40年] 大卫·根斯 , 西蒙·施密特 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
K-Miner:发现Linux中的内存损坏。 NDSS公司 2018 [公元39年] 安德烈亚·比昂多 , 毛罗·孔蒂 , 卢卡斯·戴维 , 托马索·弗拉塞托 , 艾哈迈德·雷扎·萨德吉 :
卫士的困境:针对Intel SGX的高效代码使用攻击。 USENIX安全研讨会 2018 : 1213-1227 [第1页] 伊尔金 , 迪安·沙利文 , 奥兰多·阿里亚斯 , 艾哈迈德·雷扎·萨德吉 , 卢卡斯·戴维 :
硬件控制流完整性。 持续的军备竞赛 2018 : 181-210 [i8] 迈克尔·罗德勒 , 李文亭 , 加桑·O·卡拉姆 , 卢卡斯·戴维 :
Sereum:保护现有智能合约免受再进入攻击。 CoRR公司 腹肌/1812.05934 ( 2018 ) [i7] 斯里达尔·阿德普 , 费迪南德·布拉瑟 , 路易斯-加西亚 , 迈克尔·罗德勒 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 萨曼·佐努兹 :
分布式网络物理系统的控制行为完整性。 CoRR公司 abs/1812.08310 ( 2018 ) 2017 [公元38年] 詹妮克·佩尼 , 菲利普·科佩 , 卢卡斯·戴维 , 霍尔兹 :
破坏和修复破坏性代码读取防御。 ACSAC公司 2017 : 55-67 [公元37年] 加达·德苏基 , 沙扎·泽图尼 , 托马斯·尼曼 , 安德鲁·帕瓦德 , 卢卡斯·戴维 , 帕特里克·科贝尔 , N.阿育王 , 艾哈迈德·雷扎·萨德吉 :
LO-FAT:硬件中的低水头控制流测试。 数模转换器 2017 : 24:1-24:6 [c36] 卢卡斯·戴维 , 大卫·根斯 , 克里斯托弗·利布钦 , 艾哈迈德·雷扎·萨德吉 :
PT-Rand:实际缓解对页表的纯数据攻击。 NDSS公司 2017 [公元35年] 罗伯特·拉德 , 理查德·斯科维拉 , 大卫·毕格罗 , Veer Dedhia公司 , 托马斯·霍布森 , 斯蒂芬·克莱恩 , 克里斯托弗·利布钦 , 佩尔·拉森 , 卢卡斯·戴维 , 主任弗朗兹 , 艾哈迈德·雷扎·萨德吉 , 哈米德·奥赫拉维 :
解决不经意的代码重用:关于抗泄漏分集的有效性。 NDSS公司 2017 [公元34年] 托马斯·尼曼 , Jan-Erik Ekberg公司 , 卢卡斯·戴维 , N.阿育王 :
CFI CaRE:针对商业微控制器的硬件支持的呼叫和返回执行。 磁盘阵列 2017 : 259-284 [c33] 费迪南德·布拉瑟 , 卢卡斯·戴维 , 大卫·根斯 , 克里斯托弗·利布钦 , 艾哈迈德·雷扎·萨德吉 :
不要碰这个:针对针对内核内存的Rowhammer攻击的纯软件缓解。 USENIX安全研讨会 2017 : 117-130 [i6] 迪安·沙利文 , 奥兰多·阿里亚斯 , 大卫·根斯 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 伊尔金 :
就地加密的执行完整性。 CoRR公司 abs/1703.02698 ( 2017 ) [i5] 加达·德苏基 , 沙扎·泽图尼 , 托马斯·尼曼 , 安德鲁·帕沃德 , 卢卡斯·戴维 , 帕特里克·科贝尔 , N.阿育王 , 艾哈迈德·雷扎·萨德吉 :
LO-FAT:硬件中的低水头控制流测试。 CoRR公司 abs/1706.03754 ( 2017 ) [i4] 托马斯·尼曼 , Jan-Erik Ekberg公司 , 卢卡斯·戴维 , N.阿育王 :
CFI CaRE:针对商业微控制器的硬件支持的呼叫和返回执行。 CoRR公司 abs/1706.05715 ( 2017 ) 2016 [j1] 麦克劳克林 , 查拉兰博斯·康斯坦蒂努 , 王雪阳 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 米歇尔·马尼亚塔科斯 , 拉梅什·卡里 :
工业控制系统的网络安全前景。 程序。 电气与电子工程师协会 104 ( 5 ) : 1039-1057 ( 2016 ) [公元32年] 卢克·德斯霍尔特 , Razvan Deaconescu公司 , Mihai Chiroiu公司 , 卢卡斯·戴维 , 威廉·恩克 , 艾哈迈德·雷扎·萨德吉 :
SandScout:自动检测iOS沙盒配置文件中的缺陷。 CCS系统 2016 : 704-716 [公元31年] 老虎阿贝拉 , N.阿育王 , 卢卡斯·戴维 , Jan-Erik Ekberg公司 , 托马斯·尼曼 , 安德鲁·帕沃德 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
C-FLAT:嵌入式系统软件的控制流证明。 CCS系统 2016 : 743-754 [公元30年] 老虎阿贝拉 , N.阿育王 , 卢卡斯·戴维 , 法里纳兹·库尚法尔 , 安德鲁·帕沃德 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
邀请-事情、麻烦、信任:在物联网系统中建立信任。 数模转换器 2016 : 121:1-121:6 [公元29年] 迪安·沙利文 , 奥兰多·阿里亚斯 , 卢卡斯·戴维 , 佩尔·拉森 , 艾哈迈德·雷扎·萨德吉 , 伊尔金 :
无策略策略:策略认知硬件增强了控制流完整性。 数模转换器 2016 : 163:1-163:6 [公元28年] 谢尔·布莱登 , 卢卡斯·戴维 , 克里斯托弗·利布钦 , 艾哈迈德·雷扎·萨德吉 , 斯蒂芬·克莱恩 , 主任弗朗兹 , 佩尔·拉森 :
移动设备的防泄漏布局随机化。 NDSS公司 2016 [公元27年] 朱利安·莱特纳 , 本杰明·科伦达 , 安德烈·霍姆斯库 , 佩尔·拉森 , 费利克斯·舒斯特 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 霍尔兹 , 主任弗朗兹 :
颠覆者-C:滥用和保护动态消息调度。 USENIX年度技术会议 2016 : 209-221 [i3] 提吉斯·阿伯拉 , N.阿育王 , 卢卡斯·戴维 , Jan-Erik Ekberg公司 , 托马斯·尼曼 , 安德鲁·帕沃德 , 艾哈迈德·雷扎·萨德吉 , 基因Tsudik :
C-FLAT:嵌入式系统软件的控制流测试。 CoRR公司 abs/1605.07763 ( 2016 ) [i2] Razvan Deaconescu公司 , 卢克·德斯霍尔特 , 弥海·布奇欧 , 威廉·恩克 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
SandBlaster:逆转苹果沙盒。 CoRR公司 abs/1608.04303 ( 2016 ) [i1] 费迪南德·布拉瑟 , 卢卡斯·戴维 , 大卫·根斯 , 克里斯托弗·利布钦 , 艾哈迈德·雷扎·萨德吉 :
不要碰这个:实用和通用软件仅用于防御Rowhammer攻击。 CoRR公司 abs/1611.08396 ( 2016 ) 2015 【b4】 卢卡斯·文森佐·戴维 :
代码重用攻击和防御。 德国达姆施塔特科技大学, 2015 ,第1-176页 【b3】 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
建立针对代码重用攻击的安全防御。 Springer计算机科学简介 , 施普林格 2015 ,国际标准图书编号 978-3-319-25544-6 ,第1-74页 【b2】 佩尔·拉森 , 斯特凡·布伦塔勒 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 主任弗朗兹 :
自动化软件多样性。 信息安全、隐私和信任综合讲座 , 摩根克莱普尔出版社 2015 ,国际标准图书编号 978-3-031-01218-1 第1-88页 [公元26年] 弥海·布奇欧 , 卢卡斯·戴维 , Razvan Deaconescu公司 , 艾哈迈德·雷扎·萨德吉 :
XiOS:iOS上的扩展应用程序沙盒。 亚洲CCS 2015 : 43-54 [公元25年] 艾哈迈德·雷扎·萨德吉 , 卢卡斯·戴维 , 佩尔·拉森 :
保护传统软件免受现实世界代码利用:乌托邦、炼金术还是可能的未来? 亚洲CCS 2015 : 55-61 [公元24年] 斯蒂芬·克莱恩 , 斯蒂恩·沃尔卡特 , 费利克斯·舒斯特 , 克里斯托弗·利布钦 , 佩尔·拉森 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 霍尔兹 , 比约恩·德萨特 , 主任弗朗兹 :
这是一个TRaP:表格随机化和防止功能使用攻击。 CCS系统 2015 : 243-255 【c23】 毛罗·孔蒂 , 斯蒂芬·克莱恩 , 卢卡斯·戴维 , 主任弗朗兹 , 佩尔·拉森 , 马可·内格罗 , 克里斯托弗·利布钦 , 穆罕默德·库奈比特 , 艾哈迈德·雷扎·萨德吉 :
失控:堆栈攻击下控制流完整性的有效性。 CCS系统 2015 : 952-963 [公元22年] 卢卡斯·戴维 , 马提亚斯·汉瑞克 , 黛巴扬·保罗 , 艾哈迈德·雷扎·萨德吉 , 帕特里克·科贝尔 , 迪安·沙利文 , 奥兰多·阿里亚斯 , 伊尔金 :
HAFIX:硬件辅助的流完整性扩展。 数模转换器 2015 : 74:1-74:6 【c21】 卢卡斯·戴维 , 克里斯托弗·利布钦 , 艾哈迈德·雷扎·萨德吉 , 凯文·斯诺 , 费比安·蒙罗斯 :
Isomeron:代码随机化对(即时)返回式编程具有弹性。 NDSS公司 2015 [公元20年] 费利克斯·舒斯特 , 托马斯·腾迪克 , 克里斯托弗·利布钦 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 霍尔兹 :
伪面向对象编程:关于在C++应用程序中防止代码重用攻击的困难。 IEEE安全与隐私研讨会 2015 : 745-762 [第19条] 斯蒂芬·克莱恩 , 克里斯托弗·利布钦 , 安德烈·霍姆斯库 , 卢卡斯·戴维 , 佩尔·拉森 , 艾哈迈德·雷扎·萨德吉 , 斯特凡·布伦塔勒 , 主任弗朗兹 :
读者:实用代码随机化记忆泄漏恢复能力。 IEEE安全与隐私研讨会 2015 : 763-780 2014 [第18条] 艾哈迈德·雷扎·萨德吉 , 卢卡斯·戴维 :
野兽记忆:针对代码重用攻击的实用防御探索。 可信@CCS 2014 : 23 [第17条] 卢卡斯·戴维 , 帕特里克·科贝尔 , 艾哈迈德·雷扎·萨德吉 :
硬件支持的细粒度控制流完整性:针对软件开发实现嵌入式系统的有效保护。 数模转换器 2014 : 133:1-133:6 [第16条] 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 丹尼尔·莱曼 , 费比安·蒙罗斯 :
缝合小工具:关于粗训练控制流完整性保护的无效性。 USENIX安全研讨会 2014 : 401-416 2013 【b1】 N.阿育王 , 卢卡斯·文森佐·戴维 , 亚历山德拉·德米特里恩科 , 斯蒂芬·希瑟 , 卡里·科斯蒂安 , 埃琳娜·雷谢托娃 , 艾哈迈德·雷扎·萨德吉 :
移动平台安全。 信息安全、隐私和信任综合讲座 , 摩根克莱普尔出版社 2013 ,国际标准图书编号 978-3-031-01213-6 [第15条] 蒂姆·沃特曼 , 拉尔夫·亨德 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 霍尔兹 :
PSiOS:为iOS设备带来您自己的隐私和安全。 亚洲CCS 2013 : 13-24 [第14条] 卢卡斯·文森佐·戴维 , 亚历山德拉·德米特里恩科 , 斯特凡·纽恩伯格 , 艾哈迈德·雷扎·萨德吉 :
如果可以的话,给我小工具:x86和ARM的安全高效的特别指令级随机化。 亚洲CCS 2013 : 299-310 [第13条] 布莱恩·斯坦西尔 , 凯文·斯诺 , 内森·奥特内斯 , 费比安·蒙罗斯 , 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 :
Check My Profile:利用静态分析快速准确地检测ROP小工具。 磁盘阵列 2013 : 62-81 [第12条] 凯文·斯诺 , 费比安·蒙罗斯 , 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 克里斯托弗·利布钦 , 艾哈迈德·雷扎·萨德吉 :
实时代码重用:细粒度地址空间布局随机化的有效性。 IEEE安全与隐私研讨会 2013 : 574-588 2012 [第11条] 斯文·布吉尔 , 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 托马斯·菲舍尔 , 艾哈迈德·雷扎·萨德吉 , 巴加瓦·沙斯特里 :
缓解Android上的特权扩展攻击。 NDSS公司 2012 [第10条] 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 曼努埃尔·埃格尔 , 托马斯·菲舍尔 , 霍尔兹 , 拉尔夫·亨德 , 斯特凡·纽恩伯格 , 艾哈迈德·雷扎·萨德吉 :
MoCFI:缓解智能手机控制流攻击的框架。 NDSS公司 2012 2011 【c9】 斯文·布吉尔 , 卢卡斯·文森佐·戴维 , 斯特芬·舒尔茨 :
可扩展的信任建立与软件声誉。 CCS下的STC 2011 : 15-24 【c8】 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 马塞尔·温安迪 :
ROPdefender:用于防御面向返回的编程攻击的检测工具。 亚洲CCS 2011 : 40-51 【c7】 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 克里斯托夫·科瓦尔斯基 , 马塞尔·温安迪 :
OKL4上的可信虚拟域:智能手机上的安全信息共享。 CCS下的STC 2011 : 49-58 【c6】 斯文·布吉尔 , 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 斯蒂芬·希瑟 , 艾哈迈德·雷扎·萨德吉 , 巴加瓦·沙斯特里 :
Android上的实用轻量级域隔离。 CCS的SPSM 2011 : 51-62 【c5】 斯文·布吉尔 , 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 托马斯·菲舍尔 , 艾哈迈德·雷扎·萨德吉 , 巴加瓦·沙斯特里 :
海报:针对安卓特权升级攻击的安全性探索。 CCS系统 2011 : 741-744 【c4】 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 曼努埃尔·埃格尔 , 托马斯·菲舍尔 , 霍尔兹 , 拉尔夫·亨德 , 斯特凡·纽恩伯格 , 艾哈迈德·雷扎·萨德吉 :
海报:智能手机的控制流完整性。 CCS系统 2011 : 749-752 2010 【c3】 斯蒂芬·切考韦(Stephen Checkoway) , 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 艾哈迈德·雷扎·萨德吉 , 霍瓦夫·沙查姆 , 马塞尔·温安迪 :
面向返回的编程,没有返回。 CCS系统 2010 : 559-572 【c2】 卢卡斯·戴维 , 亚历山德拉·德米特里恩科 , 艾哈迈德·雷扎·萨德吉 , 马塞尔·温安迪 :
Android上的权限升级攻击。 英思科 2010 : 346-360
2000 – 2009
2009 【c1】 卢卡斯·戴维 , 艾哈迈德·雷扎·萨德吉 , 马塞尔·温安迪 :
动态完整性测量和认证:用于防御面向返回的编程攻击。 STC公司 2009 : 49-54