Andrea Pelosi
MSc
Research Areas
- Blockchain Technology, Cybersecurity
Role
-
PreDoc Researcher
Security and Privacy, E192-06
Publications
-
BitVM: Quasi-Turing Complete Computation on Bitcoin
/
Aumayr, L., Avarikioti, Z., Woll, R. L., Maffei, M., Pelosi, A., Stefo, C., & Zamyatin, A. (2026). BitVM: Quasi-Turing Complete Computation on Bitcoin. In A. Kiayias & M. Kyropoulou (Eds.), 8th Conference on Advances in Financial Technologies (AFT 2026). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.AFT.2026.1
Download: BitVM Quasi-Turing Complete Computation on Bitcoin (1.15 MB)
Projects: BlockSec (2025–2030) / CROSS (2026–2030) / SCALE2 (2023–2027) / SFB SPyCoDe (2023–2030) -
Bridging Bitcoin to Second Layers via BitVM2
/
Woll, R. L., Aumayr, L., Avarikioti, Z., Maffei, M., Pelosi, A., Thyfronitis Litos, O. S., Stefo, C., Tse, D., & Zamyatin, A. (2026). Bridging Bitcoin to Second Layers via BitVM2. In Proceedings of the 35th USENIX Security Symposium (pp. 969–988). https://doi.org/10.34726/12785
Download: Woll PDF (725 KB)
Projects: Browsec (2018–2024) / CDL-BOT (2020–2026) / SCALE2 (2023–2027) / SFB SPyCoDe (2023–2030)