基本信息
浏览量:544
职业迁徙
个人简介
I am interested in security, privacy, cryptography, programming, and distributed systems. My main project these days is Everest, aiming at building, verifying, and deploying secure components such as miTLS for the HTTPS ecosystem. I lead the Constructive Security team at Microsoft Research in Cambridge, UK. Since 2006, I also lead a project on Secure Distributed Computations at the MSR-INRIA Joint Center, in collaboration with the Prosecco team at INRIA Paris.
My recent research subjects include cryptographically-verifiable computing (Pinocchio, Geppetto, Cinderella); TLS security; secure cloud outsourcing relying on trusted hardware (SGX, TPM); resistance against side-channels; models for cryptography; information-flow security; secure multiparty sessions; dependent types, notably for the F* programming language; JavaScript and TypeScript security; authorization policies; secure logs; secure implementations of communication abstractions; access control for mobile code; concurrency in C# and F#, private authentication; and the verification of cryptographic protocols for Internet security and Web Services security.
My recent research subjects include cryptographically-verifiable computing (Pinocchio, Geppetto, Cinderella); TLS security; secure cloud outsourcing relying on trusted hardware (SGX, TPM); resistance against side-channels; models for cryptography; information-flow security; secure multiparty sessions; dependent types, notably for the F* programming language; JavaScript and TypeScript security; authorization policies; secure logs; secure implementations of communication abstractions; access control for mobile code; concurrency in C# and F#, private authentication; and the verification of cryptographic protocols for Internet security and Web Services security.
研究兴趣
论文共 196 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Communications of the ACMno. 1 (2024): 68-76
CPPpp.275-289, (2023)
Kapil Vaswani,Stavros Volos,Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster,David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osborne, Dan Wilkinson
USENIX Annual Technical Conferencepp.501-518, (2023)
引用0浏览0EI引用
0
0
ACM Queueno. 4 (2023): 94-122
引用0浏览0EI引用
0
0
Heidi Howard,Fritz Alder,Edward Ashton,Amaury Chamayou,Sylvan Clebsch,Manuel Costa,Antoine Delignat-Lavaud,Cedric Fournet, Andrew Jeffery,Matthew Kerner, Fotios Kounelis, Markus A. Kuppe,
PROCEEDINGS OF THE VLDB ENDOWMENTno. 2 (2023): 225-240
Kapil Vaswani,Stavros Volos,Cédric Fournet, Antonio Nino Diaz, Ken Gordon, Balaji Vembu, Sam Webster,David Chisnall, Saurabh Kulkarni, Graham Cunningham, Richard Osbourne, Dan Wilkinson
arxiv(2022)
引用0浏览0EI引用
0
0
IACR Cryptol. ePrint Arch. (2022): 621-650
Alex Shamis,Peter R. Pietzuch, Burcu Canakci,Miguel Castro,Cédric Fournet,Edward Ashton,Amaury Chamayou,Sylvan Clebsch,Antoine Delignat-Lavaud,Matthew Kerner,Julien Maffre, Olga Vrousgou,
Symposium on Networked Systems Design and Implementation (NSDI)pp.467-491, (2022)
引用5浏览0EI引用
5
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn