伊冯·希区柯克
人员信息
SPARQL查询
优化列表
2000 – 2009
2006 【j4】 伊冯·希区柯克 , 哥连·博伊德 , 胡安·曼努埃尔·冈萨雷斯-尼托 :
密钥交换的模块化证明:Canetti-Krawczyk模型中的严格优化。 申请。 代数工程通讯。 计算。 16 ( 6 ) : 405-438 ( 2006 ) [j3] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
密钥建立协议安全性证明的重要性:Jan-Chen、Yang-Shen-Shieh、Kim-Huh-Hwang-Lee、Lin-Sun-Hwang和Yeh-Sun协议的形式化分析。 计算。 Commun公司。 29 ( 15 ) : 2788-2797 ( 2006 ) 2005 [注2] 尤瑟夫·巴尼·哈马德 , 加里·卡特 , 埃德·道森 , W.米勒 , 伊冯·希区柯克 :
RAK因子分解算法。 澳大利亚。 J库姆。 33 : 291-306 ( 2005 ) [第12条] Kim-Kwang Raymond Choo先生 , 伊冯·希区柯克 :
密钥建立证明模型的安全要求:重新审视Bellare Rogaway和Jeong Katz-Lee协议。 ACISP公司 2005 : 429-442 [第11条] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
检查密钥建立协议的基于不可识别性的证明模型。 亚洲型 2005 : 585-604 [第10条] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
协议计算复杂性证明中的错误。 亚洲型 2005 : 624-643 【c9】 Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
Provably-Secure密钥建立协议中的会话密钥构造。 加密 2005 : 116-131 【c8】 桑贡·李 , 伊冯娜·希区柯克 , Youngho公园 , 桑在文 :
基于椭圆曲线的可证明安全的三方密码保护密钥交换协议。 密码术的选择区 2005 : 205-220 [i4] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
Provably-Secure密钥建立协议中的会话密钥构造:重温Chen&Kudla(2003)和McCullagh&Barreto(2005)基于ID的协议。 IACR加密。 电子打印架构。 2005 : 206 ( 2005 ) [i3] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
检查密钥建立协议的基于不可区分性的证明模型。 IACR加密。 电子打印架构。 2005 : 270 ( 2005 ) [i2] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 :
协议计算复杂性证明中的错误。 IACR加密。 电子打印架构。 2005 : 351 ( 2005 ) 2004 [j1] 伊冯·希区柯克 , 保罗·蒙塔古 , 加里·卡特 , 埃德·道森 :
解决多个离散对数问题的效率以及对固定椭圆曲线安全性的影响。 国际J.Inf.Sec。 三 ( 2 ) : 86-98 ( 2004 ) 【c7】 尤瑟夫·巴尼·哈马德 , 加里·卡特 , 埃德·道森 , 伊冯·希区柯克 :
RAK因子分解算法的改进。 密码算法及其应用 2004 : 152- 【c6】 Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 , 格雷格·梅特兰 :
用形式规范补充计算协议分析。 安全和信任的形式方面 2004 : 129-144 【c5】 伊冯·希区柯克 , 哥连·博伊德 , 胡安·曼努埃尔·冈萨雷斯-尼托 :
Canetti-Krawczyk证明模型中的三方密钥交换。 INDOCRYPT公司 2004 : 17-32 【c4】 Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 , 格雷格·梅特兰 :
可证明安全协议中的会话标识符:Bellare-Rogaway三方密钥分配协议的重新审视。 SCN公司 2004 : 351-366 [i1] Kim-Kwang Raymond Choo先生 , 哥连·博伊德 , 伊冯·希区柯克 , 格雷格·梅特兰 :
可证明安全协议中的会话标识符:Bellare-Rogaway三方密钥分配协议的重新审视。 IACR加密。 电子打印架构。 2004 : 345 ( 2004 ) 2003 【c3】 伊冯·希区柯克 , 保罗·蒙塔古 , 加里·卡特 , 埃德·道森 :
密码学中固定椭圆曲线与随机椭圆曲线的安全性。 ACISP公司 2003 : 55-66 【c2】 伊冯·希区柯克 , Yiu Shing Terry Tin先生 , 胡安·曼努埃尔·冈萨雷斯-尼托 , 哥连·博伊德 , 保罗·蒙塔古 :
基于密码的身份验证器:安全证明和应用。 INDOCRYPT公司 2003 : 388-401 2002 【c1】 伊冯·希区柯克 , 保罗·蒙塔古 :
一种新的椭圆曲线标量乘法算法来抵抗简单的幂分析。 ACISP公司 2002 : 214-225