Argomenti di tesi proposti dal docente.
Ultime tesi seguite dal docente
Tesi di Laurea
- Bilanciare Ottimalità e Privacy: un’Analisi della Privacy Differenziale nel Contesto Combinatorio
- Resource Estimation of Quantum Programs through Type Inference: QuRA and Shor’s Algorithm
- Structural Verification of Quantum Circuits: A Haskell Implementation via Hoare Logic
- Sulla Crittoanalisi Logica e il Cifrario Leggero SIMECK
Tesi di Laurea Magistrale
- Evaluating Quantum Algorithm Resource Requirements through the QuRA Toolset
- On Proving the Security of Message Authentication Codes Using Lambda-BLL and Hoare Logic
