I am a postdoctoral researcher at the CISPA Helmholtz Center for Information Security in the group of Prof. Dr. Cas Cremers. Previously, I received my DSc (Tech.) in Computer Science from Aalto University, where I worked in the Secure Systems Group under the supervision of Prof. Tuomas Aura.

My research interests include security protocols, formal verification, and standardization. I use tools like the Tamarin prover and ProVerif to analyze security protocols in the symbolic model of cryptography. I am also interested in the development and standardization of new protocols.

You can find a complete list of my publications, standards, and preprints under Publications and on Google Scholar.

You can contact me at aleksi.peltonen[at]cispa.de.