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 area of homomorphic cryptographic primitives, data authentication, and user privacy. I am particularly fascinated by cryptographic applications of mathematical objects and new construction that may derive from it.

I am actively working on: multi-key and homomorphic cryptosystems, signatures with advanced properties, private & compact digital storage solutions, verifiable computation, and privacy-enhancing technologies. Below is a visual overview of my lines of research (Titles and references written in black color refer to papers published or accepted for publication. Titles and authors’ initials in blue correspond to work under submission or in progress. Icons identify collaborations with Industrial partners.) My Image

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 tech­niques 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.

Check out BFP22 (ACNS) for our early results on this!

Recent and Ongoing:

Previous Projects:

‘My’ PhD Students

I have the honor to mentor and do research with some very impressive Ph.D. candidates.

On-going:

🎓 Graduated

2023.03.21 - Martin Gunnarsson (@LTH) : Efficient Security Protocols for Constrained Devices 📖 2023.02.23- Hadi Sehat (@Aarhus) : Dual Deduplication in Multi-Client Setting and its Applications 📖

in co-supervision with :user: as main advisor

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