从125查看出版物1-100
2024
2023
- 机密联盟框架:具有机密性、完整性和高可用性的安全多方应用程序海蒂·霍华德,弗里茨阿尔德,爱德华·阿什顿,阿默里·查马尤,Sylvan Clebsch公司,手动科斯塔,安托万·德利格纳·拉瓦德,Cédric Fornet公司,安德鲁·杰弗里,马修·科纳,Fotios Kounelis公司,朱利安·马弗尔,马克·拉希诺维奇,克里斯托夫·温特斯泰格.聚乙烯低密度脂蛋白, 17(2):225-240,2023 [美国国防部]
- AI加速器中的机密计算卡皮尔·瓦斯瓦尼,斯塔夫罗斯·沃洛斯,Cédric Fornet公司,安东尼奥·尼诺·迪亚兹,肯·戈登,巴拉吉·文布,萨姆·韦伯斯特,大卫·奇斯纳尔,索拉巴·库尔卡尼,格雷厄姆坎宁安,理查德·奥斯本,丹·威尔金森.usenix 2023年:501-518 [美国国防部]
2022
- IA-CCF:许可分类账的个人责任亚历克斯·沙米斯,Peter R.Pietzuch先生,Burcu Canakci公司,米盖尔·卡斯特罗0001,Cédric Fornet公司,爱德华·阿什顿,阿默里·查马尤,Sylvan Clebsch公司,安托万·德利格纳·拉瓦德,马修·科纳,朱利安·马弗尔,奥尔加·弗鲁古,克里斯托夫·温特斯泰格,曼纽尔·科斯塔,马克·拉希诺维奇.NSDI 2022年:467-491 [美国国防部]
2021
- AMP:通过来源验证媒体保罗·英格兰,亨利克·马尔瓦尔,霍尔维茨,杰克·W·斯托克斯,Cédric Fornet公司,丽贝卡·伯克·阿古罗,阿默里·查马尤,Sylvan Clebsch公司,曼纽尔·科斯塔,约翰·德意志,沙布纳姆·埃尔法尼,马特·盖勒,安德鲁·詹克斯,凯文·凯恩,Elissa M.Redmiles女士,亚历克斯·沙米斯,伊莎·夏尔马,约翰·西蒙斯,萨姆·温克,安妮卡·扎曼.2021年全球化学品管理大会:108-121 [美国国防部]
2020
- IETF QUIC记录层的安全模型及充分验证的实现安托万·德利格纳·拉瓦德,Cédric Fornet公司,布莱恩·帕诺,乔纳森·普罗琴科,塔希娜·拉马南安德罗,杰·博萨米亚,约瑟夫·拉勒曼德,伊萨卡·拉科托尼里娜,一周.iacr公司, 2020:114,2020 [美国国防部]
- EverCrypt:一个快速、经过验证的跨平台加密提供商乔纳森·普罗琴科,布莱恩·帕诺,艾默尔·弗洛姆赫兹,克里斯·霍布利泽尔,玛丽娜·波卢贝洛娃,卡提基扬·巴尔干,本杰明·贝尔杜切,崔俊元,安托万·德利格纳·拉瓦德,Cédric Fornet公司,纳塔莉亚·库拉托娃,塔希娜·拉马南安德罗,阿西姆·拉斯托吉,尼基尔·斯瓦米,克里斯托夫·温特斯泰格,圣地亚哥·扎内拉·贝盖林.标准普尔2020:983-1002 [美国国防部]
2019
- EverCrypt:一个快速、经过验证的跨平台加密提供商乔纳森·普罗琴科,布莱恩·帕诺,艾默里克·弗洛赫茨,克里斯·霍布利泽尔,玛丽娜·波卢贝洛娃,卡提基扬·巴尔干,本杰明·贝尔杜奇,乔恩·崔,安托万·德利格纳·拉瓦德,Cédric Fornet公司,塔希娜·拉马南安德罗,阿西姆·拉斯托吉,尼基尔·斯瓦米,克里斯托夫·温特斯泰格,圣地亚哥·扎内拉·贝盖林.iacr公司, 2019:757,2019 [美国国防部]
2018
2017
- 珠穆朗玛峰:走向HTTPS的验证、直接替代卡提基扬·巴尔干,巴里·邦德,安托万·德利格纳·拉瓦德,Cédric Fornet公司,克里斯·霍布利泽尔,Catalin Hritcu公司,萨明·伊斯蒂亚克,马尔库夫·科尔维斯,鲁斯坦·莱诺,杰伊·R·洛奇,麦拉德健治,潘建阳,布莱恩·帕诺,乔纳森·普罗琴科,塔希娜·拉马南安德罗,阿沙·雷恩,阿西姆·拉斯托吉,尼基尔·斯瓦米,劳雷·汤普森,王鹏(音译),圣地亚哥·扎内拉·贝盖林,让·卡里姆·津津多霍.快照2017: [美国国防部]
- 验证嵌入F中的低级编程乔纳森·普罗琴科,让·卡里姆·津津多霍,阿西姆·拉斯托吉,塔希娜·拉马南安德罗,王鹏(音译),圣地亚哥·扎内拉·贝盖林,安托万·德利格纳·拉瓦德,Catalin Hritcu公司,卡提基扬·巴尔干,Cédric Fornet公司,尼基尔·斯瓦米.PACMPL公司,1(ICFP),2017 [美国国防部]
2016
- 智能合约的正式验证:短文卡提基扬·巴尔干,安托万·德利格纳·拉瓦德,Cédric Fornet公司,安妮莎·戈拉穆迪,乔治·戈蒂尔,纳迪姆·科贝斯,纳塔莉亚·库拉托娃,阿西姆·拉斯托吉,托马斯·西布特皮诺特,尼基尔·斯瓦米,圣地亚哥·扎内拉·贝盖林.2016年ccs:91-96 [美国国防部]
- TLS 1.3记录层的实现和验证卡提基扬·巴尔干,安托万·德利格纳·拉瓦德,Cédric Fornet公司,马尔库夫·科尔维斯,潘建阳,乔纳森·普罗琴科,阿西姆·拉斯托吉,尼基尔·斯瓦米,圣地亚哥·扎内拉·贝盖林,让·卡里姆·津津多霍.iacr公司, 2016:1178,2016 [美国国防部]
- F中的依赖类型和多单子效应*尼基尔·斯瓦米,Catalin Hritcu公司,香塔尔·凯勒,阿西姆·拉斯托吉,安托万·德利格纳·拉瓦德,西蒙·福雷斯特,卡提基扬·巴尔干,塞德里克·福内特,Pierre-Yves支柱,Markulf Kohlweiss公司,让·卡里姆·津津多霍,圣地亚哥·扎内拉·贝盖林.2016年POPL:256-270 [美国国防部]
2015
2014
2013
2012
2011
2010
2008
2007
2006
2005
2004
登录或注册以查看更多结果。