迈克尔·克拉克森
人员信息
其他同名人员
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2020年–今天
2022 [j6] 本·斯迈思 , 迈克尔·克拉克森 :
选举可验证性的调查定义。 信息处理。 莱特。 177 : 106267 ( 2022 ) [i7] 本·斯迈思 , 迈克尔·克拉克森 :
选举可验证性的调查定义。 IACR加密。 电子打印架构。 2022 : 305 ( 2022 )
2010 – 2019
2015 [j5] 迈克尔·克拉克森 , 弗雷德·B·施耐德 :
完整性量化。 数学。 结构。 计算。 科学。 25 ( 2 ) : 207-258 ( 2015 ) [第11条] 古西坦·S·格雷瓦尔 , 马克·德莫特·瑞安 , 陈立群 , 迈克尔·克拉克森 :
Du-Vote:使用不受信任的计算机进行远程电子投票。 CSF公司 2015 : 155-169 [第10条] 克里斯托弗·米金斯基 , 乔纳森·费特·戴格斯 , Jinseong Jeon公司 , 杰弗里·福斯特 , 迈克尔·克拉克森 :
使用符号执行检查Android基于交互的解密策略。 ESORICS(2) 2015 : 520-538 [i6] 克里斯托弗·米金斯基 , 乔纳森·费特·戴格斯 , Jinseong Jeon公司 , 杰弗里·福斯特 , 迈克尔·克拉克森 :
使用符号执行检查Android的基于交互的解密策略。 CoRR公司 abs/1504.03711 ( 2015 ) [i5] 本·斯迈思 , 史蒂文·弗里克 , 迈克尔·克拉克森 :
计算选择可验证性:Helios和JCJ的定义和分析。 IACR加密。 电子打印架构。 2015 : 233 ( 2015 ) 2014 【c9】 迈克尔·克拉克森 , 伯恩德·芬克拜纳 , 马苏德·科莱尼 , 克里斯托弗·米金斯基 , 马库斯·拉贝 , 塞萨尔·桑切斯 :
超属性的时间逻辑。 邮政 2014 : 265-284 【c8】 彼得·马尔泽尔 , 马里奥·阿尔维姆 , 迈克尔·W·希克斯 , 迈克尔·克拉克森 :
量化动态秘密的信息流。 IEEE安全与隐私研讨会 2014 : 540-555 [i4] 迈克尔·R·克拉克森 , 伯恩德·芬克拜纳 , 马苏德·科莱尼 , 克里斯托弗·米金斯基 , 马库斯·拉贝 , 塞萨尔·桑切斯 :
超属性的时间逻辑。 CoRR公司 abs/1401.4492 ( 2014 ) 2013 [c7] 安德鲁·赫希 , 迈克尔·R·克拉克森 :
授权逻辑的信任语义。 CCS系统 2013 : 561-572 [i3] 安德鲁·赫希 , 迈克尔·克拉克森 :
授权逻辑的信念语义。 CoRR公司 abs/1302.2123 ( 2013 ) [i2] 马苏德·科莱尼 , 迈克尔·克拉克森 , 克里斯托弗·米金斯基 :
安全的时间逻辑。 CoRR公司 abs/1306.5678 ( 2013 ) 2012 [i1] 安德鲁·赫希 , 迈克尔·克拉克森 :
Nexus授权逻辑(NAL):逻辑结果。 CoRR公司 abs/1211.3700 ( 2012 ) 2010 【b1】 迈克尔·克拉克森 :
证券的量化和形式化。 美国康奈尔大学, 2010 【j4】 迈克尔·R·克拉克森 , 弗雷德·施耐德 :
超属性。 J.计算。 安全。 18 ( 6 ) : 1157-1210 ( 2010 ) 【c6】 迈克尔·克拉克森 , 弗雷德·施耐德 :
完整性量化。 CSF公司 2010 : 28-43
2000 – 2009
2009 [j3] 迈克尔·R·克拉克森 , 安德鲁·迈尔斯 , 弗雷德·施耐德 :
用信念量化信息流。 J.计算。 安全。 17 ( 5 ) : 655-701 ( 2009 ) 2008 【c5】 迈克尔·克拉克森 , 弗雷德·施耐德 :
超属性。 CSF公司 2008 : 51-65 【c4】 迈克尔·克拉克森 , 斯蒂芬·庄(Stephen Chong) , 安德鲁·迈尔斯 :
史维特斯:走向安全的投票系统。 服务提供商 2008 : 354-368 2006 [c3] 凯文·奥尼尔 , 迈克尔·克拉克森 , 斯蒂芬·庄(Stephen Chong) :
交互式程序的信息流安全。 CSFW公司 2006 : 190-201 2005 【c2】 迈克尔·克拉克森 , 安德鲁·迈尔斯 , 弗雷德·B·施耐德 :
相信信息流。 CSFW公司 2005 : 31-45 2003 [注2] 安·凯利·索贝尔 , 迈克尔·克拉克森 :
对“关于‘正式方法应用:软件开发的经验故事’的评论”的回应。 IEEE传输。 软件工程。 29 ( 6 ) : 572-575 ( 2003 ) 【c1】 纳撒尼尔·尼斯特罗姆 , 迈克尔·克拉克森 , 安德鲁·迈尔斯 :
Polyglot:Java的可扩展编译器框架。 科科斯群岛 2003 : 138-152 2002 [j1] 安·凯利·索贝尔 , 迈克尔·克拉克森 :
形式化方法应用:软件开发的经验故事。 IEEE传输。 软件工程。 28 ( 三 ) : 308-320 ( 2002 )
合著者索引
![](https://dblp.org/img/cog.dark.24x24.png)