Cristian Lepore

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.

Contacts

Italy

CristianLepore24@gmail.com [Email]

Training

• 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

POSITIONS HELD

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

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

PROJECTS

Name	Summary
SecTeal [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.
dAirbnb [Archive]	• Designed a proof of concept of an online accommodation rental business model.
Authclick [Archive]	• 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 [Project]	• Main designer of the IBM tool for migrating cron and Windows tasks to Workload Automation.

AWARDS

2020

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

2019

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

PUBLICATIONS

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

• 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.
[Article]

GitHub - LinkedIn