亚历山德罗·科利奥
人员信息
优化列表
2020年–今天
2023 【c23】 亚历山德罗·科利奥 , 埃里克·麦卡锡 , 埃里克·惠特曼·史密斯 :
零知识电路的形式化验证。 ACL2型 2023 : 94-112 [电子1] 亚历山德罗·科利奥 , 索尔剑 :
第18届ACL2定理证明器及其应用国际研讨会论文集,美国德克萨斯州奥斯汀和在线,2023年11月13日至14日。 EPTCS系统 393, 2023 [目录] [i2] 亚历山德罗·科利奥 , 埃里克·麦卡锡 , 埃里克·史密斯 , 科林·钦 , 普拉纳夫·加达马杜古 , 米歇尔·德尔佩雷 :
零知识电路的组合形式验证。 IACR加密。 电子打印架构。 2023 : 1278 ( 2023 ) 2022 [公元22年] 亚历山德罗·科利奥 , 埃里克·麦卡锡 , 斯蒂芬·韦斯特福德 , 丹尼尔·巴拉苏布拉曼尼亚 , Abhishek Dubey公司 , 加博尔·卡赛 :
Syntheto:APT和ACL2的表面语言。 ACL2型 2022 : 151-167 【c21】 亚历山德罗·科利奥 :
基于ACL2在Java中的浅嵌入的ACL2复杂Java代码生成器。 ACL2型 2022 : 168-184 [公元20年] 亚历山德罗·科利奥 :
一种基于ACL2中C的浅嵌入的ACL2证明生成C代码生成器。 ACL2型 2022 : 185-201 2021 [第19条] 丹尼尔·巴拉苏布拉曼尼亚 , 亚历山德罗·科利奥 , Abhishek Dubey公司 , 加博尔·卡赛 :
面向基于模型的意图驱动自适应软件。 ISoLA公司 2021 : 378-392 [i1] 科林·钦 , 霍华德·吴 , 雷蒙德·朱棣文 , 亚历山德罗·科利奥 , 埃里克·麦卡锡 , 埃里克·史密斯 :
Leo:一种用于正式验证的零知识应用程序的编程语言。 IACR加密。 电子打印架构。 2021 : 651 ( 2021 ) 2020 [c18] 杰夫·H·珀金斯 , 乔丹·艾肯贝里 , 亚历山德罗·科利奥 , 马丁·里纳德 :
用于攻击检测和修复的全面Java元数据跟踪。 DSN(DSN) 2020 : 39-51 [c17] 亚历山德罗·科利奥 :
ACL2中以太坊的递归长度前缀。 ACL2型 2020 : 108-124 [第16条] 亚历山德罗·科利奥 , 斯蒂芬·韦斯特福德 :
同构数据类型转换。 ACL2型 2020 : 125-141
2010 – 2019
2018 [第15条] 亚历山德罗·科利奥 :
ABNF符号的形式化和ABNF语法的验证分析器。 VSTTE公司 2018 : 177-195 [第14条] 亚历山德罗·科利奥 :
基于ACL2在Java中的深度嵌入的ACL2的简单Java代码生成器。 ACL2型 2018 : 1-17 [第13条] 亚历山德罗·科利奥 , 希尔皮·戈尔 :
将32位模式添加到x86 ISA的ACL2模型。 ACL2型 2018 : 77-94 2017 [c12] 亚历山德罗·科利奥 , 马特·考夫曼 , 埃里克·惠特曼·史密斯 :
简化定义的多功能健全工具。 ACL2型 2017 : 61-77 2016 [第11条] 杰夫·H·珀金斯 , 乔丹·艾肯贝里 , 亚历山德罗·科利奥 , 丹尼尔·威伦森 , Stelios Sidiroglou-Douskos公司 , 马丁·里纳德 :
AutoRand:自动关键字随机化以防止注射攻击。 DIMVA公司 2016 : 37-57 2015 [第10条] 埃里克·史密斯 , 亚历山德罗·科利奥 :
ACL2定理证明中的Android平台建模和Android应用程序验证。 VSTTE公司 2015 : 183-201 【c9】 亚历山德罗·科利奥 :
ACL2中的二阶函数和定理。 ACL2型 2015 : 17-33 2014 [j8] 亚历山德罗·科利奥 :
弹出定义。 架构(architecture)。 正式证明 2014 ( 2014 ) [j7] 蒂哈默·列文多夫斯基 , 阿布谢克·杜贝 , 威廉·奥特 , 丹尼尔·巴拉苏布拉曼尼亚 , 亚历山德罗·科利奥 , 桑德·尼亚科 , 威廉·埃芬格 , 普拉纳夫·斯里尼瓦斯·库马尔 , Aniruddha S.Gokhale公司 , 加博尔·卡赛 :
分布式实时管理系统:用于管理嵌入式系统的模型驱动的分布式安全信息架构平台。 IEEE软件。 31 ( 2 ) : 62-69 ( 2014 )
2000 – 2009
2006 【c8】 加里·利文斯 , 珍妮·雷蒙德·阿布里尔 , 唐·S·巴托里 , 迈克尔·巴特勒 , 亚历山德罗·科利奥 , 凯西·菲斯勒 , 埃里克·C·R·赫纳 , 克利夫·琼斯 , 戴尔·米勒 , 西蒙·佩顿·琼斯 , 穆拉利·西塔拉曼 , 道格拉斯·史密斯 , 亚伦·斯图普 :
增强语言和方法的路线图,以帮助验证。 GPCE公司 2006 : 221-236 【c7】 约翰·安东 , 马丁·克罗克斯福德 , 亚历山德罗·科利奥 , 珍妮特·巴恩斯 , 兰帝·强森 , 蒂姆·克雷曼 :
Tokeneer经济EAL5+发展的两个演示。 ISSSE公司 2006 2005 [j6] 亚历山德罗·科利奥 :
正在检查对Java虚拟机中受保护成员的访问。 J.对象技术。 4 ( 8 ) : 55-76 ( 2005 ) 【c6】 亚历山德罗·科利奥 , 科德尔绿 :
一种构造性的正确性方法,以认证Java卡小程序生成器为例。 VSTTE公司 2005 : 57-63 2004 [j5] 亚历山德罗·科利奥 :
针对复杂Java字节码子例程的简单验证技术。 同意。 实际。 支出。 16 ( 7 ) : 647-670 ( 2004 ) 【c5】 亚历山德罗·科利奥 , 玛丽克·赫斯曼 , 约瑟夫·基尼 , 彼得·米勒 , 埃里克·波尔 :
类Java程序的形式化技术(FTfJP)。 ECOOP研讨会 2004 : 76-83 2003 【j4】 亚历山德罗·科利奥 :
改进Java字节码验证的官方规范。 同意。 计算。 实际。 支出。 15 ( 2 ) : 155-179 ( 2003 ) 2001 [j3] 亚历山德罗·科利奥 , 艾伦·戈德伯格 :
JVM中的类型安全:Java 2 SDK 1.2中的一些问题和建议的解决方案。 同意。 计算。 实际。 支出。 13 ( 13 ) : 1153-1171 ( 2001 ) [注2] 亚历山德罗·阿曼多 , 亚历山德罗·科利奥 , 福斯托·金奇利亚 , 西尔维奥·兰伊斯 :
开放式机械化推理系统中的控制层:注释和策略。 J.塞姆。 计算。 32 ( 4 ) : 305-332 ( 2001 ) 2000 【c4】 亚历山德罗·科利奥 , 福斯托·金奇利亚 , 何塞·梅塞盖尔 , 卡罗琳·塔尔科特 :
使用映射构造和控制推理理论中的搜索。 FroCoS公司 2000 : 200-216 【c3】 钱振宇 , 艾伦·戈德伯格 , 亚历山德罗·科利奥 :
Java的形式规范 TM(TM) 类加载。 乌普斯拉 2000 : 325-336
1990 – 1999
1999 【c2】 亚历山德罗·阿曼多 , 亚历山德罗·科格里奥 , 福斯托·朱奇利亚 :
开放式机械化推理系统的控制组件。 结石 1999 : 322-339 1998 [j1] 安东尼奥·卡默里 , 亚历山德罗·科利奥 :
情感代理的架构。 IEEE多媒体。 5 ( 4 ) : 24-33 ( 1998 ) 【c1】 福斯托·金奇利亚 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·科利奥 :
OMRS项目:最先进。 WRLA公司 1998 : 127-146