科尼利厄斯·阿斯切尔曼
人员信息
隶属关系: 元 从属关系(2020年博士): 德国波鸿鲁尔大学
优化列表
2020年–今天
2023 [i3] 曼尼什·巴特 , 萨哈娜·陈纳巴萨帕 , 赛勒斯·尼古拉迪斯 , 圣叶丸 , 伊万·埃夫蒂莫夫 , 多米尼克·加比 , 丹尼尔·宋 , 法桑·艾哈迈德 , 科尼利厄斯·阿斯切尔曼 , 洛伦佐·丰塔纳 , 萨莎·弗罗洛夫 , 拉维·普拉卡什·吉里 , 达瓦尔·卡皮尔 , 伊安妮斯·科兹拉基斯 , 大卫·勒布朗 , 詹姆斯·米拉佐 , 阿列克桑达尔·斯特劳曼 , 加布里埃尔·辛纳维 , 瓦伦·冯蒂米塔 , 斯宾塞·惠特曼 , 约书亚·萨克斯 :
Purple Llama CyberSecEval:语言模型的安全编码基准。 CoRR公司 abs/2312.04724 ( 2023 ) 2022 [第15条] 谢尔盖·舒米洛 , 科尼利厄斯·阿斯切尔曼 , 安德烈亚·杰梅特 , 阿里·阿巴斯 , 霍尔兹 :
Nyx-net:使用增量快照进行网络模糊处理。 欧洲系统 2022 : 166-180 [第14条] 莫里茨·施勒格尔 , 蒂姆·布拉兹特科 , 莫里茨康塔格 , 科尼利厄斯·阿斯切尔曼 , 朱利叶斯·巴斯勒 , 霍尔兹 , 阿里·阿巴斯 :
洛基:针对自动攻击加强代码混淆。 USENIX安全研讨会 2022 : 3055-3073 2021 [第13条] 谢尔盖·舒米洛 , 科尼利厄斯·阿斯切尔曼 , 阿里·阿巴西 , 西蒙·沃纳 , 霍尔兹 :
Nyx:使用快速快照和仿射类型的灰盒虚拟机监控程序模糊。 USENIX安全研讨会 2021 : 2597-2614 [i2] 莫里茨·施勒格尔 , 蒂姆·布拉兹特科 , 莫里茨康塔格 , 科尼利厄斯·阿斯切尔曼 , 朱利叶斯·巴斯勒 , 霍尔兹 , 阿里·阿巴斯 :
洛基:针对自动攻击加强代码混淆。 CoRR公司 abs/2106.08913 ( 2021 ) [i1] 谢尔盖·舒米洛 , 科尼利厄斯·阿斯切尔曼 , 安德里亚·杰米特 , 阿里·阿巴斯 , 霍尔兹 :
Nyx-Net:网络模糊与增量快照。 CoRR公司 abs/2111.03013 ( 2021 ) 2020 【b1】 科尼利厄斯·阿斯切尔曼 :
反馈驱动模糊算法的改进。 德国波鸿鲁尔大学, 2020 [c12] 谢尔盖·舒米洛 , 科尼利厄斯·阿斯切尔曼 , 阿里·阿巴斯 , 西蒙·沃纳 , 霍尔兹 :
HYPER-CUBE:高维虚拟机监控程序模糊。 nds公司 2020 [第11条] 科尼利厄斯·阿斯切尔曼 , 谢尔盖·舒米洛 , 阿里·阿巴斯 , 霍尔兹 :
Ijon:通过Fuzzing探索深状态空间。 服务提供商 2020 : 1597-1612 [第10条] 蒂姆·布拉兹特科 , 莫里茨·施洛格尔 , 科尼利厄斯·阿斯切尔曼 , 阿里·阿巴斯 , 乔尔·弗兰克 , 西蒙·沃纳 , 霍尔兹 :
AURORA:用于自动根本原因解释的统计碰撞分析。 USENIX安全研讨会 2020 : 235-252 【c9】 乔尔·弗兰克 , 科尼利厄斯·阿斯切尔曼 , 霍尔兹 :
ETHBMC:智能合约的有界模型检查器。 USENIX安全研讨会 2020 : 2757-2774
2010 – 2019
2019 【c8】 科尼利厄斯·阿舍曼 , 托马索·弗拉塞托 , 霍尔兹 , 帕特里克·贾尔尼 , 艾哈迈德·雷扎·萨德吉 , 丹尼尔·图切特 :
纳尤利乌斯:用语法寻找深层虫子。 nds公司 2019 【c7】 科尼利厄斯·阿斯切尔曼 , 谢尔盖·舒米洛 , 蒂姆·布拉兹特科 , 罗伯特·高利克 , 霍尔兹 :
红色:输入到状态通信模糊。 nds公司 2019 【c6】 埃姆雷·居勒 , 科尼利厄斯·阿斯切尔曼 , 阿里·阿巴西 , 霍尔兹 :
反模糊:阻碍二进制可执行文件的模糊审计。 USENIX安全研讨会 2019 : 1931-1947 【c5】 蒂姆·布拉兹特科 , 科尼利厄斯·阿斯切尔曼 , 莫里茨·施洛格尔 , 阿里·阿巴斯 , 谢尔盖·舒米洛 , 西蒙·沃纳 , 霍尔兹 :
GRIMOIRE:模糊时合成结构。 USENIX安全研讨会 2019 : 1985-2002 2017 [j3] 于尔根·吉斯勒 , 科尼利厄斯·阿斯切尔曼 , 马克·布罗克施密特 , 费边·埃姆斯 , 弗洛里安·弗洛恩 , 卡斯滕·福斯 , 杰拉·亨塞尔 , 卡斯滕·奥托 , 马丁·普吕克 , 彼得·施奈德-坎普 , 托马斯·斯特罗德 , 斯蒂芬妮·斯威德斯基 , 雷内·蒂曼 :
用AProVE自动分析程序终止和复杂性。 J.汽车。 原因。 58 ( 1 ) : 3月31日 ( 2017 ) [注2] 托马斯·斯特罗德 , 吉尔根·吉斯尔 , 马克·布罗克施密特 , 弗洛里安·弗洛恩 , 卡斯滕·福斯 , 杰拉·亨塞尔 , 彼得·施奈德-坎普 , 科尼利厄斯·阿舍曼 :
用指针算法自动证明程序的终止和内存安全。 J.汽车。 原因。 58 ( 1 ) : 33-65 ( 2017 ) [j1] 弗洛里安·弗洛恩 , 于尔根·吉斯勒 , 杰拉·亨塞尔 , 科尼利厄斯·阿斯切尔曼 , 托马斯·斯特罗德 :
术语重写的运行时复杂性下限。 J.汽车。 原因。 59 ( 1 ) : 121-163 ( 2017 ) 【c4】 谢尔盖·舒米洛 , 科尼利厄斯·阿斯切尔曼 , 罗伯特·高利克 , 塞巴斯蒂安·辛泽尔 , 霍尔兹 :
kAFL:操作系统内核的硬件辅助反馈模糊。 USENIX安全研讨会 2017 : 167-182 【c3】 蒂姆·布拉兹特科 , 莫里茨·孔塔格 , 科尼利厄斯·阿斯切尔曼 , 霍尔兹 :
Syntia:综合模糊代码的语义。 USENIX安全研讨会 2017 : 643-659 2015 [c2] 弗洛里安·弗洛恩 , 吉尔根·吉斯尔 , 杰拉·亨塞尔 , 科尼利厄斯·阿斯切尔曼 , 托马斯·斯特罗德 :
推断运行时复杂性的下限。 区域贸易协定 2015 : 334-349 【c1】 托马斯·斯特罗德 , 科尼利厄斯·阿斯切尔曼 , 弗洛里安·弗洛恩 , 杰拉·亨塞尔 , 吉尔根·吉斯尔 :
AProVE:C程序的终止和记忆安全-(竞争贡献)。 TACAS公司 2015 : 417-419