Cristian Lepore

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Security Patterns

Home Environments

Predicate Calculus

Top Venues

Financial Cryptography (1)

Publications

Cristian Lepore, Romain Laborde, Jessica Eynard
Aligning eIDAS and Trust Over IP: A Mapping Approach. ARES (2024)
Cristian Lepore, Romain Laborde, Jessica Eynard, Mohamed Ali Kandi, Giorgia Macilotti, Afonso Ferreira, Michelle Sibilla
A Model for Assessing the Adherence of E-Identity Solutions to Self-Sovereign Identity. WorldCIST (1) (2024)
Romain Laborde, Afonso Ferreira, Cristian Lepore, Mohamed Ali Kandi, Michelle Sibilla, Abdelmalek Benzekri
The Interplay Between Policy and Technology in Metaverses: Towards Seamless Avatar Interoperability Using Self-Sovereign Identity. MetaCom (2023)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) (2021)
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino
A formal model of Algorand smart contracts. CoRR (2020)