FOUNDATIONS OF DISTRIBUTED SYSTEMS, CRYPTOGRAPHY & BLOCKCHAIN PHYSICS
14:30 – 16:00
Session D1 – Distributed Systems Theory & Consensus Mechanisms
- PBFT vs HotStuff vs Istanbul BFT: fault tolerance boundaries
- Finality latency models & safety–liveness trade-offs
- Leader election physics & network partition behaviour
- Dag-based consensus (Avalanche, Hashgraph) – stochastic dynamics
- Interoperability protocols & cross-chain atomicity
Mathematical models:
- Byzantine fault thresholds
- Latency/finality equations
- Stochastic consensus convergence
- Network synchronization models
Scientific Value: define the mathematical physics of distributed consensus.
16:30 – 18:00
Session D2 – Advanced Cryptography & Post-Quantum Security
- Lattice-based cryptography (Kyber/Dilithium)
- Hash-based signatures (SPHINCS+)
- Isogeny-based protocols
- Implementation vulnerabilities (side-channel, timing, probing)
- Post-quantum transition for critical infrastructure
Mathematical/cryptographic content:
- LWE problem hardness
- Structured lattices & module-LWE
- Hash trees & multi-target security models
- Fault injection countermeasures
Scientific Value: costruire la sicurezza che sopravvive ai QPU.
