Lecturer (≅ Assistant Professor/Juniorprofessor/Maître de conférences) in...
As you may or may not have heard, I will join the Department of Informatics at King’s College London from 2023. Specifically, I will join the Cybersecurity Group there with the aim to build a...
View ArticleERC Consolidator Grant: Advanced Practical Post-Quantum Cryptography from...
My ERC Consolidator Grant application titled “Advanced Practical Post-Quantum Cryptography from Lattices” has been selected(*) for funding by the European Research Council. Here’s my blurb:...
View ArticleSandboxAQ Internships
You may or may not be aware that at SandboxAQ we have an internship residency programme. Residencies would typically be remote but can be on-site, they can take place year round and last between three...
View ArticleUK Crypto Day (June 2023 Edition)
Together with Nick Spooner and Sarah Meikeljohn, I’m co-organising the next UK Crypto Day.1 Date 23 June Venue King’s College London Registration Here Programme...
View ArticleA Formal Cryptographic Analysis of Matrix’ Core
Our work – “Device-Oriented Group Messaging: A Formal Cryptographic Analysis of Matrix’ Core” – is now out on ePrint and will be presented at IEEE S&P’24; “us” here being Dan Jones, Benjamin...
View ArticlePost-quantum oblivious PRFs from shallow PRFs and TFHE
We – Alex Davidson, Amit Deo, Daniel Gardham and me – have updated our pre-print Crypto Dark Matter on the Torus: Oblivious PRFs from shallow PRFs and TFHE. It has been around for a while, but I am...
View ArticleA Surfeit of SIS with Hints Assumptions
After a “lattice-assumptions winter” (there, I coined it now!) because “knapsack”, the last few years have seen the introduction of a bunch of newfangled SIS-like assumptions along the lines of: Given...
View ArticlePostdoc Position(s)
I am recruiting a postdoc1 to work with me on “practical advanced post-quantum cryptography from lattices”, the title of my ERC selected, UKRI Frontier Research funded project: Standardisation efforts...
View ArticleSocial Foundations of Cryptography
I’m rather excited to report that EPSRC decided to fund our grant titled “Social Foundations of Cryptography”. Our project tries to do two things. First, we want to ground cryptographic security...
View ArticleSenior Research Scientist in Post-Quantum Cryptography at SandboxAQ
The post-quantum research team at SandboxAQ, i.e. the team I’m in, is looking to hire a full-time researcher to join our team. Currently, the PQC team consists of: Anand Kumar Narayanan Andreas...
View ArticlePostdoc Position in Lattice-Based Cryptography
We are recruiting a postdoc to work with us on “practical advanced post-quantum cryptography from lattices”, the title of my ERC selected, UKRI Frontier Research funded project: Standardisation...
View ArticleCryptography Postdoc Position in Social Foundations of Cryptography
We are looking for a postdoc to work with us on the social foundations of cryptography. This is a two-year full-time position based in London at a salary of £47,978 per annum. We. This postdoc...
View ArticleVerifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and...
Our paper (with Kamil Doruk Gur) “Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable” is now available on ePrint and will appear at Asiacrypt 2024. Doruk and...
View ArticlePhD Position in Lattice-Based Cryptography
We are inviting applications for a PhD studentship in the cryptography lab at King’s College London. Specifically, we are looking for an applicant to work with us in the area of lattice-based...
View ArticlePhD Position in Cryptography
We are inviting applications for a PhD studentship in the cryptography lab at King’s College London. Specifically, we are looking for an applicant to work with me and Benjamin Dowling. The PhD could,...
View ArticleRerandomising LWE
Our work, titled Hollow LWE: A New Spin — Unbounded Updatable Encryption from LWE and PCE, is now available on ePrint and will be presented at Eurocrypt 2025 in Madrid in May. It is joint work with...
View ArticleAnalysis of the Telegram Key Exchange
Together with Lenka Mareková, Kenny Paterson, Eyal Ronen and Igors Stepanovs, we have finally completed our (first, formal, in-depth, computational) analysis of the Telegram key exchange. This work is...
View Article