I am a PhD student at the University of Florence, in consortium with the University of Perugia.
- 🔭 I’m working on formal analysis of network protocols, Self Sovereign Identity, Access Control Models...
- 🌱 I’m currently learning Tamarin.
- 📫 How to reach me: chiara.luchini(AT)collaboratori.unipg.it, chiara.luchini(AT)unifi.it
- 😄 Pronouns: she/her.
- 🐈⬛ I love cats.
- ☕ Coffee addicted.