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.)
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.
Check out BFP22 (ACNS) for our early results on this!
Recent and Ongoing:
- Homomorphic Signatures (LatinCrypt19, SCN18, ASIACRYPT16)
- Signatures with Advanced Properties (PKC22, ACNS22)
- Secure and Space-Smart Cloud Storage Solutions (CloudNet22,Cloud22,ICCC21, SCN20)
- Privacy-Preserving Location Proximity Testing (LPW22, ESORICS20, PETS19)
Previous Projects:
- Improving the Security of the Signal Protocol (IEEE S&P19)
- Biometric Authentication Systems (CANS17, Indocrypt14)
- Distance-Bounding Protocols (FGCS18, IEEE-TMC18)
‘My’ PhD Students
I have the honor to mentor and do research with some very impressive Ph.D. candidates.
On-going:
- Adrián Pérez Keilty (@Chalmers) : Progressive and Efficient Verification (🎩 I am the main advisor)
- Hanna Ek (@Chalmers) : Homomorphic Signatures and Differential Privacy (🎩 I am the main advisor)
- Ivan Oleynikov (@Chalmers) : Privacy-Preserving Location Proximity Testing (🎩 I am the main advisor)
- Joakim Brorsson (@LTH) : Privacy Enhancing Technologies
- Arthur Nijdam (@LTH) : Secure Machine Learning for the Medical Sector
🎓 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