About
I'm a backend engineer at SICPA, where I've spent the last three years designing distributed, event-driven systems for payments, digital identity, and product traceability. Alongside that I do applied research into cryptography and privacy-preserving technology, prototyping ideas before they become products.
I hold an MSc in Cyber Security from ETH Zürich, jointly with EPFL, where I focused on applied cryptography, distributed systems, and formal verification. My master's thesis on distributed transaction protocols was awarded the ETH Medal, and the work continued into three papers written with my former advisors, on protocol design and formal verification of database isolation guarantees.
Day to day I write Java, Kotlin, Rust, and Python most often, though I've worked in C, C++, and Scala too. Outside of work I build small systems software for fun, most recently a terminal text editor in Rust, and I keep experimenting with data science and machine learning applied to security problems.
Experience
-
Backend Engineer & Applied Researcher
2023 — presentSICPA, Switzerland
- Design and build backend systems for payments, digital identity, and product traceability, mostly in Java and Spring Boot, on Kafka and gRPC.
- Do applied research in cryptography and privacy-preserving technology, and help turn early prototypes into production designs.
- Apply data science and machine learning to security and fraud-detection problems.
-
MSc Cyber Security, minor in Data Management Systems
2021 — 2023ETH Zürich, joint degree with EPFL
GPA 5.49/6. Coursework in applied cryptography, security engineering, distributed systems, and formal verification. Master's thesis on distributed transaction protocols, awarded the ETH Medal for outstanding thesis work.
-
BSc Computer Engineering
2018 — 2021Politecnico di Torino
Graduated 110/110 with honours.
-
Applied Cryptography Specialisation
2025University of Colorado, certification
Research
Work from my time at ETH Zürich, with David Basin's group, on the correctness and performance of distributed database transactions.
-
VerIso: Verifiable Isolation Guarantees for Database Transactions
Read paper -
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions
Read paper -
NOC-NOC: Towards Performance-optimal Distributed Transactions
Read paper -
NOCS-Optimal Distributed Transactions and Beyond
Read thesis
Skills
Languages
Java, Kotlin, Rust, Python, C, C++, Scala
Backend & distributed systems
Spring Boot, Kafka, gRPC, REST, microservices, event-driven architecture
Cryptography & security
Applied cryptography, digital identity, privacy-preserving technology, Keycloak, OAuth 2.0, OpenID Connect
Data & machine learning
Data science, machine learning, OSINT, fraud detection
Databases & infrastructure
PostgreSQL, Oracle, Neo4j, GraphQL, AWS, CI/CD, Jenkins
Projects
A few things I've built outside of work.
-
Jqln
GitHubA terminal text editor for long-form writing, written in Rust.
-
Verifying compiler for Rattlesnake
GitHubAdded pre/post-condition checking to a small imperative language's compiler, written in Scala, for a formal verification course.
-
Road segmentation classifier
GitHubA convolutional neural network that labels satellite image patches as road or not, for a machine learning course.
Contact
I'm happy to hear from people working on distributed systems or applied cryptography, or anyone who just wants to say hello. The fastest way to reach me is email.
- Emaillcmultazzu@gmail.com
- LinkedInin/luca-multazzu
- GitHub@lucamul
- Phone+41 076 709 5522