基本信息
浏览量:27
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
个人简介
I am a senior lecturer in cryptography at the University of Bristol. My research revolves around proving cryptographic and side-channel security properties of concrete realizations and implementations of cryptographic primitives and protocols, in the presence of partial compromise. This involves tackling problems in modelling adversaries and systems, designing and applying proof methodologies and verification tools, and generally finding less tedious ways of verifying complex properties of important (but not vast) quantities of code.
Before this, between 2012 and 2016, I was a post-doctoral researcher at the IMDEA Software Institute, working mainly with Gilles Barthe, Pierre-Yves Strub and Benjamin Grégoire (Inria Sophia-Antipolis -- Méditerranée) on the design and development of techniques and tools for the formalisation of cryptographic proofs, and on leveraging the increased automation such automated reasoning tools provide to carry out such proofs on implementations and in stronger adversary models.
Prior to that, I received a PhD from the Open University on the 23rd of April 2013, for my dissertation on "Proving Cryptographic C Programs Secure with General-Purpose Verification Tools". It was written under the supervision of Andy Gordon, Jan Jürjens and Bashar Nuseibeh, and was supported by a Microsoft Research PhD Scholarship. I spent most of my PhD time at the MSR lab in Cambridge, with some stays in other Microsoft Research labs research centres (in Aachen and Redmond).
研究兴趣
论文共 41 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part Vpp.421-454, (2023)
Lecture Notes in Computer Sciencepp.421-454, (2023)
引用0浏览0引用
0
0
IEEE Transactions on Dependable and Secure Computingno. 99 (2023): 1-18
IACR Cryptol. ePrint Arch. (2022): 421-454
IACR Cryptol. ePrint Arch. (2020): 1000
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn