Here’s a link to my CV and full list of publications with pointers to open access full-texts versions of my works and video recordings when available. Alternatively, visit dblp, or GoogleScholar.
The Research I Like
My research interests lie in the design of advanced public key cryptographic primitives and new cryptographic protocols, mainly for authentication or transparency. I am particularly fascinated by cryptographic applications of mathematical objects and new construction that may derive from it.
Below is a visual overview of my lines of research where black (resp. blue) text refers to published papers (resp. work in progress/under submission). Icons identify collaborations with Industrial partners / grant-sponsored research.
Recent and Ongoing Research Directions:
- Signatures with Advanced Properties (CiC24, CTRSA22, ACNS22)
- Progressive Verification of Cryptographic Schemes (JoCE, ACNS22)
- Homomorphic Signatures (LatinCrypt19, SCN18, ASIACRYPT16)
- Improving the Security/Privacy of the Signal Protocol (IEEE S&P24, IEEE S&P19)
Research Projects
VR starting grant on Progressive Verification of Cryptographic Schemes (4M SEK / 4 years)
Computational devices are ever more present in our lives. As we shift towards smart cities, we will see an increased deployment of embedded devices to support ubiquitous payments, assisted driving, smart-locks and much more. To ensure the safety of digitalized societies, devices that collect and process (sensitive) data need to do so in a secure and efficient way. This often involves verification mechanisms, e.g., to check the validity of digital signatures, certificates, credentials, but also to verify data and process integrity. Modern post-quantum secure schemes are not designed to run on resource constrained devices. The main obstacles are efficiency and storage. This project focuses on the design and study of progressive verification mechanisms. Unlike standard verification techniques that return a binary output (accept/reject) only at the very end of the execution, progressive verification builds confidence on the validity of an instance step-by-step, and can early reject fallacious inputs. This frame work opens the possibility for verifiers that are computationally weak, with limited storage available, or running out of battery, to dynamically adjust their soundness (accuracy of the verification outcome) to their current performance.
Previous Projects:
- Secure and Space-Smart Cloud Storage Solutions (CloudNet22,Cloud22,ICCC21, SCN20)
- Privacy-Preserving Location Proximity Testing (LPW22, ESORICS20, PETS19)
- Biometric Authentication Systems (CANS17, Indocrypt14)
- Distance-Bounding Protocols (FGCS18, IEEE-TMC18)
My Research Ethics
I believe that good research is a combination of real-world questions, innovative ideas, and fruitful collaborations. In the last period, I had the chance to work with several bright minds and inspiring researchers including Dario Fiore, Andrei Sabelfeld, Diego Aranha, Sophia Yakoubov.
Dissemination
Below I collect talks, research seminars, and popular presentations available on the web. Enjoy!
2023 - Seminar on Progressive and Efficient Verification of Cryptographic Schemes at BARC - KU
2022 - Speaker at CRYPTO for the Panel Discussion on Allyship and Inclusion
2022 - Invited Speaker at TII CRC Seminar Series On Progressive and Efficient Verification of Digital Signatures
2022 - Invited Speaker at Protocol Lab’s Extendable Threshold Ring Signatures
2021 - Speaker at the ‘Researchers’ Grand Prix’ in Helsingborg: watch my short talk on Security and Privacy in the Digital Era
2020 - Invited Speaker at ‘Framtidsveckan’: watch my short talk on contact tracing apps and their security dilemmas