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.



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
© Cristian Lepore