亚历山大·雷伯特
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [j3] 塔纳西斯·阿夫吉里诺斯 , 大卫·布伦利 , 约翰·戴维斯 , 瑞安·古尔登 , Tyler Nighsward公司 , 亚历山大·雷伯特 , 内德·威廉姆森 :
大混乱网络推理系统。 IEEE安全。 私人。 16 ( 2 ) : 52-60 ( 2018 ) 2016 [注2] 塔纳西斯·阿夫吉里诺斯 , 亚历山大·雷伯特 , 桑基尔查 , 大卫·布伦利 :
通过验证增强符号执行。 Commun公司。 ACM公司 59 ( 6 ) : 93-100 ( 2016 ) 2014 [j1] 塔纳西斯·阿夫吉里诺斯 , 桑基尔查 , 亚历山大·雷伯特 , 爱德华·施瓦茨 , 马弗里克·吴 , 大卫·布伦利 :
自动利用漏洞生成。 Commun公司。 ACM公司 57 ( 2 ) : 74-84 ( 2014 ) 【c3】 塔纳西斯·阿夫吉里诺斯 , 亚历山大·雷伯特 , 桑基尔查 , 大卫·布伦利 :
通过验证增强符号执行。 ICSE公司 2014 : 1083-1094 【c2】 亚历山大·雷伯特 , 桑基尔查 , 塔纳西斯·阿夫吉里诺斯 , 名西方建筑师富特 , 沃伦 , 古斯塔沃·格里科 , 大卫·布伦利 :
优化模糊种子选择。 USENIX安全研讨会 2014 : 861-875 2012 【c1】 桑基尔查 , 塔纳西斯·阿夫吉里诺斯 , 亚历山大·雷伯特 , 大卫·布伦利 :
释放二进制代码的混乱。 IEEE安全与隐私研讨会 2012 : 380-394
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)