Cristian Lepore

Profle picture

Cyber Security Fellow
M.Sc. & B.Sc. Comp. Science (Univ. of Milan)

• Main developer of the SecTeal compiler [tool] since 2020, still active maintainer.
• Original architect of AuthclicK [webpage], still active in development but no longer the primary maintainer.

Specialties: Cryptography and Digital Identity.


Italy [Email]


• Oregon Progr. Lang. Summer School, 2021

University of Oregon, United States

• Cyber Security Incident Management, 2018

University of Toronto, Canada

• Computer Network Security, 2018

Ryerson University, Canada


Latest (1 year)

• Research assistant, Univ. of Stirling, UK.

2019 (8 months)

• Cryptography engineer, AuthclicK.

Earlier (2013-2017)

• Partner Business Evangelist.  Microsoft
• Infrastructure Analyst.  Oracle
• Software Engineer.  IBM

Fig.1. Me at the Crypto Lab UniMI - 2019


Name Summary
[Tool] [Archive]

• A compiler tool for developing blockchain smart contracts.

Formal Model of Algorand
[Video] [Experiments]

• Exploited the formal model of Algorand to prove fundamental properties and highlight major design patterns.

Digital Identity

• Assessed the communication protocol of the verifiable credential model.


• Designed a proof of concept of an online accommodation rental business model.


• A decentralized user-centric platform that deals with digital copyrights.

TLS Secure Standard

• Vulnerability assessement of the TLS standard, and presented the results at the UniMI workshop.

IBM Job Migration

• Main designer of the IBM tool for migrating cron and Windows tasks to Workload Automation.



• Tested Algorand ASC2 at the Encode Algorand Club, Oxford, UK. [anncmnt]


Europen grant at the Cryptography Group, Univ. of Milan, Italy.


• Bartoletti, M., Bracciali, A., Lepore, C., Scalas, A., & Zunino, R. (2021).
A formal model of Algorand smart contracts.

• Lepore, C., Ceria, M., Visconti, A., Rao, U. P., Shah, K. A., & Zanolini, L. (2020).
A Survey on Blockchain Consensus with a Performance Comparison of PoW, PoS and Pure PoS.

GitHub - LinkedIn
© Cristian Lepore