乔安娜·富勒
人员信息
优化列表
2020年–今天
2024 [j3] 弗兰克·卡塞兹 , 乔安娜·富勒 , 霍拉西奥·米贾尔·安东·奎尔斯 :
与Dafny对智能合约进行演绎验证。 国际期刊软件。 技术工具。 Transf公司。 26 ( 2 ) : 131-145 ( 2024 ) 2023 【c9】 弗兰克·卡塞兹 , 乔安娜·富勒 , 米拉德·K·加勒 , 大卫·J·皮尔斯 , 霍拉西奥·米贾尔·安东·奎尔斯 :
Dafny中以太坊虚拟机的形式和可执行语义。 FM公司 2023 : 571-583 [i4] 弗兰克·卡塞兹 , 乔安娜·富勒 , 米拉德·K·加勒 , 大卫·J·皮尔斯 , 霍拉西奥·米贾尔·安东·奎尔斯 :
Dafny中以太坊虚拟机的形式和可执行语义。 CoRR公司 abs/2303.00152 ( 2023 ) 2022 【c8】 弗兰克·卡塞兹 , 乔安娜·富勒 , 霍拉西奥·米贾尔·安东·奎尔斯 :
与Dafny进行智能合约的演绎验证。 飞行管理信息系统 2022 : 50-66 【c7】 弗兰克·卡塞兹 , 乔安娜·富勒 , 阿迪蒂亚·阿斯甘卡 :
以太坊2.0信标链的正式验证。 TACAS(1) 2022 : 167-182 [i3] 弗兰克·卡塞兹 , 乔安娜·富勒 , 霍拉西奥·米贾尔·安东·奎尔斯 :
与Dafny进行智能合约的演绎验证。 CoRR公司 腹肌/2208.02920 ( 2022 ) 2021 [i2] 弗兰克·卡塞兹 , 乔安娜·富勒 , 阿迪蒂亚·阿斯甘卡 :
以太坊2.0信标链的正式验证。 CoRR公司 abs/2110.12909 ( 2021 )
2000 – 2009
2005 [注2] 乔安娜·富勒 , 威廉·米伦 , 埃德·道森 :
双射S盒的多目标优化。 新一代。 计算。 23 ( 三 ) : 201-218 ( 2005 ) 2004 [j1] 威廉·米伦 , 乔安娜·富勒 , 埃德·道森 :
密码学中布尔函数进化搜索的新概念。 计算。 智力。 20 ( 三 ) : 463-474 ( 2004 ) 【c6】 乔安娜·富勒 , 威廉·米伦 , 埃德·道森 :
双射s盒的多目标优化。 IEEE进化计算大会 2004 : 1525-1532 【c5】 陈凯文 , 马修·亨里克森 , 威廉·米伦 , 乔安娜·富勒 , 利奥尼·鲁斯·辛普森 , 埃德·道森 , Hoon Jae Lee(李勋宰) , 桑在文 :
龙:一种快速的基于单词的流密码。 文博会 2004 : 33-50 2003 【c4】 乔安娜·富勒 , 埃德·道森 , 威廉·米伦 :
密码学中bent函数的进化生成。 IEEE进化计算大会 2003 : 1655-1661 【c3】 威廉·米伦 , 乔安娜·富勒 , 埃德·道森 :
密码学中布尔函数进化搜索的新概念。 IEEE进化计算大会 2003 : 2157-2164 【c2】 乔安娜·富勒 , 威廉·米伦 :
S盒中的线性冗余。 FSE公司 2003 : 74-86 2002 【c1】 安德鲁·克拉克 , 埃德·道森 , 乔安娜·富勒 , Jovan Dj.Golic公司 , Hoon Jae Lee(李勋宰) , 威廉·米伦 , 桑在文 , 列奥尼·辛普森 :
LILI-II密钥流生成器。 ACISP公司 2002 : 25-39 [i1] 乔安娜·富勒 , 威廉·米伦 :
关于AES S-Box中的线性冗余。 IACR加密。 电子打印架构。 2002 : 111 ( 2002 )