S

security protocols

MeshCore is a modular, privacy-first infrastructure for managing digital identity, credentials, and secure authentication data across devices. Built as an encrypted, self-hostable system under the AGPL 3.0+ license, it unifies passwords, API keys, secure notes, and identity records into a connected identity graph. Designed with a strict modular architecture, MeshCore supports extensible components for autofill, sync, intelligence, and plugin-based expansion while keeping all sensitive data encrypted and under user control.

Second module for the Advanced Topics in Computer Science course held at the University of Padua. Course topic: verification of security protocol. The course required to (try to) prove with Proverif a simple security protocol

GitLab page collecting documentation and models of multi-factor authentication (MFA) implementations