Academic year 2026/27

Current courses and paths towards research

This page gathers the current teaching offer documented in the official Roma Tre pages for the permanent members of the area. The courses are organised by subject so that students can find a natural entry point into logic, computer science or cryptography.

Course pages and staff profiles are the authoritative sources for schedules, enrolment information and updated teaching material.

Current teaching

Courses by area

Follow the links to the official course or teaching pages for the most recent information.

01

Logic courses

LM510 - Teorie Logiche 1

Roberto Maieli

TEORIE LOGICHE 1 - LM · 6 ECTS · second semester. Proof theory and contemporary research in logic, with a specific focus on Linear Logic.

Sequent calculus, natural deduction, cut elimination, focusing and proof nets.

Official course page · 20710091
02

Computer science courses

03

Cryptography courses

Cryptography and cybersecurity laboratory

Research training, internships, projects and seminars connect the course offer with practical work in cryptanalysis and information security.

Visit the laboratory

Thesis directions

From a course to a research question

Thesis projects are developed with a member of the area and tailored to the student's background. The following directions reflect the research themes documented in the group's profiles and in Marco Pedicini's curriculum.

Mathematical logicProof theory, linear logic and formal systems.
Computability and complexityAlgorithms, computational models and complexity theory.
Cryptography and securityCryptographic algorithms, cryptanalysis and information security.
Computational methodsAlgorithmic number theory and computational approaches to biology.

These are research directions, not a list of pre-assigned topics. A first conversation is the best way to identify a suitable supervisor, problem and timetable.

01Explore

Find a question that connects with your interests.

02Discuss

Meet a researcher and define a realistic scope.

03Develop

Read, experiment, prove and revise.

04Share

Write a thesis that makes the contribution visible.

Supervised thesis archive

Theses by research area

This archive contains 58 thesis projects from the supplied curriculum list, classified by their primary research theme. Titles are kept in their original language. Grades and other administrative fields are intentionally omitted.

The classification is thematic and retrospective. It describes completed projects and does not indicate that the same topics are currently available.

Cryptography and cybersecurity32 theses
  1. 2026Gaetano BrunoHigh-Performance Cryptanalysis: Security Analysis of small-pSquare via CUDA-accelerated Cube Attack
  2. 2025Tiziana LiberatiApplications of the Learning With Errors Problem to Post-Quantum Cryptography: Comparative Analysis of Parameters
  3. 2025Laura TrottaInvestigation of practical Quantum Key Distribution post-processing for space-based application
  4. 2025Augusta Gioia VallifuocoEstensione di uno Schema KP-ABE basato su Reticoli: Implementazione e Analisi di un Meccanismo di Revoca
  5. 2024Annalisa CimattiDynamic-FROST: firme di Schnorr a soglia con un committee flessibile
  6. 2024Lorenzo GaspariniAttribute-Based Encryption nell'Era Post-Quantum: un Benchmark Comparativo e un nuovo Schema Key-Policy ABE Revocabile
  7. 2024Alessio ProiettiMetodi di Intelligenza Artificiale nell'Analisi di Primitive Simmetriche
  8. 2024Leonardo VenturaCrittanalisi lineare da un punto di vista geometrico
  9. 2024Chiara AttoliniMiglioramento della Crittoanalisi Neurale-Differenziale integrando e ottimizzando architetture di reti neurali
  10. 2023Eliana De GiuseppeTrasformata di Walsh: Crittoanalisi Lineare e Differenziale
  11. 2022Andrea PelosiFunctional Encryption e Applicazioni
  12. 2022Francesca GiulianelliCrittografia Omomorfica: un'applicazione per la Regressione Lineare
  13. 2022Lorenzo PichettiLattice Cryptography, SVP, and Sieving Algorithms
  14. 2021Marco ParsiAn Introduction to Interactive and Non-Interactive Zero-Knowledge Proofs
  15. 2020Pierpaolo ColagèAttribute-Based Encryption: a kind of Pairing-Based Cryptography
  16. 2020Silvia OnofriAlmost Perfectly Non-Linear Functions in Finite Fields
  17. 2020Chiara CameriniLattice Based Cryptography in the Post-Quantum era
  18. 2020Elia OnofriA Computational Investigation of Cube Attack in General Finite Fields
  19. 2020Giulia CicconeUn'applicazione dei problemi di Mixed Integer Linear Programming alla crittoanalisi
  20. 2017Edoardo FasanoNeural Networks and cryptography
  21. 2017Gioia PierdomenicoMulti-party Computation and applications to authentication infrastructures
  22. 2017Giulia MaragnaniReticoli, Crittosistemi e l'Algoritmo LLL in Crittoanalisi
  23. 2016Raffaella CuomoCrittoanalisi Lineare e Differenziale e Resistenza di Funzioni Pseudorandom
  24. 2015Dario GianniniParallel Implementation of RSA Challenges
  25. 2013Stefania TodiscoAdvances in automatic cryptanalysis of block ciphers
  26. 2013Marco VargiuFast Algebraic Cryptanalysis in Finite Fields of Higher Order with the Cube Attack
  27. 2010Stefano GuarinoCiphertext-only reconstruction of LFSR-based stream ciphers
  28. 2009Simona GiovannettiCryptographic hash functions: algorithms for collision searching and lambda-calculus optimal reduction
  29. 2009Andrea AgnesseStream Ciphers: from Correlation Attacks to the Cube Attack
  30. 2006Rosina OtrantoCifrari a flusso e loro crittoanalisi
  31. 2005Mario MentoAdvanced Encryption Standard: punti di forza e debolezze
  32. 2005Giuseppe CioffiSicurezza informatica: algoritmi per la correlazione di eventi e loro implementazione
Theoretical computer science, algorithms and complexity10 theses
  1. 2026Melissa SordiAn estimate on the diameter of directed random sparse graphs
  2. 2022Laura Katalin PiovanoCombinatorica dei linguaggi di Dyck
  3. 2020Alessandra AmeriniComputable Functions in the Blockchain
  4. 2019Adriano Di GregorioSAT è NP-Completo
  5. 2017Emanuela MeianiUn Algoritmo per la Determinazione degli Attrattori nei Sistemi Dinamici Discreti
  6. 2016Manuel CapeceFibonacci-Heap
  7. 2016Valerio D'AmbrosioRinormalizzazione e Computazione
  8. 2012Luca ColangeloEvolving Algorithms and Computability
  9. 2006Anna Chiara LaiDevelopments in non-integer bases: representability of real numbers and uniqueness
  10. 2005Federica PreteAlgoritmi Paralleli per la FFT
Mathematical logic, lambda calculus and proof theory6 theses
  1. 2020Lucio ZaccardelliRiduzione ottimale e Lambda-calcolo probabilistico
  2. 2010Giulio PellittaAn Implementation of Lambda Calculus on Graphic Cards
  3. 2009Stefano MazziaThe read back problem in the distributed implementation of the geometry of interaction
  4. 2005Paolo TranquilliThe Typing Problem for Light Logics with Second Order
  5. 2003Doris Di MarcoUn'applicazione della geometria dell'interazione al calcolo distribuito
  6. 2001Carlo GiuffridaUna implementazione parallela di un riduttore ottimale per il lambda-calcolo
Quantum computing and quantum information4 theses
  1. 2024Sara GalatroSolving systems of equations through quantum computing: From Variational Quantum Algorithms to Quantum Annealing
  2. 2022Giancarlo StabileQuantum Computing: proposal of educational paths in secondary schools
  3. 2020Federico OnetoQuantum computing nel modello KLM
  4. 2014Silvia RognoneQuantum computing e porte logiche quantistiche
Computational biology, data and inference5 theses
  1. 2024Federica FerrettiModellazione del granuloma tubercolare : calibrazione dei parametri con l'approccio Approximate Bayesian Computation (ABC)
  2. 2023Pietro CestolaInformation Theoretic Methods of Inference for Gene Regulatory Networks
  3. 2020Luca PelagalliInformation theoretic measures for behaviour extraction from face video
  4. 2014Martina MilianiL'informazione attraverso i motori di ricerca. Giornalismo online tra SEO e profilazione
  5. 2010Adriano Di LauroGene Regulatory Networks: extracting models from formal specification
Information systems and communication1 thesis
  1. 2014Nina Molica FrancoLingua e comunicazione nell'era del web 2.5

Keep moving

Research begins before the thesis.

Attend a seminar, browse the research areas and talk to someone whose work interests you. The next step can be small and still be the right one.