Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- 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
Second cycle degree programmes dissertations
- Evaluating Quantum Algorithm Resource Requirements through the QuRA Toolset
- On Proving the Security of Message Authentication Codes Using Lambda-BLL and Hoare Logic
