Prof. Giulia Boato

Università di Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Giulia Boato

Engineering – Enabling Digital Assets Security and Other Applications,… – Deepfake Detection And Multimedia Security (Computer Science – sede di Trento, esame facoltativo · ICT Innovation · 6 CFU)
Photo Forensics – By Farid – Deepfake Detection And Multimedia Security (Computer Science – sede di Trento, esame facoltativo · ICT Innovation · 6 CFU)
Barni – Watermarking systems engineering – Deepfake Detection And Multimedia Security (Computer Science – sede di Trento, esame facoltativo · ICT Innovation · 6 CFU)
Farid – Photo forensics – Deepfake Detection And Multimedia Security (Computer Science – sede di Trento, esame facoltativo · ICT Innovation · 6 CFU)
Engineering – Enabling Digital Assets Security and Other Applications,… – Multimedia Data Security (Information Engineering – sede di Trento, 2º anno · 1º semestre · Computer Engineering · 6 CFU)
Photo Forensics – By Farid – Multimedia Data Security (Information Engineering – sede di Trento, 2º anno · 1º semestre · Computer Engineering · 6 CFU)
Barni – Watermarking systems engineering – Multimedia Data Security (Information Engineering – sede di Trento, 2º anno · 1º semestre · Computer Engineering · 6 CFU)
Farid – Photo forensics – Multimedia Data Security (Information Engineering – sede di Trento, 2º anno · 1º semestre · Computer Engineering · 6 CFU)
Erto – Probabilità e statistica per le scienze e… – Calcolo delle Probabilità (Ingegneria informatica, delle comunicazioni ed elettronica – sede di Trento, esame facoltativo · 6 CFU)
Clarke – Model checking – Multimedia Data Security (Mathematics – sede di Trento, esame facoltativo · Cryptography · 6 CFU)
Principles of Model Checking – Multimedia Data Security (Mathematics – sede di Trento, esame facoltativo · Cryptography · 6 CFU)
Baier – Principles of model checking – Multimedia Data Security (Mathematics – sede di Trento, esame facoltativo · Cryptography · 6 CFU)

Materie del prof. Giulia Boato

Trends And Applications Of Computer Vision Canale unico

Corso di laurea: Artificial Intelligence Systems – sede di Trento · Laurea magistrale (LM-32) · 2º anno · 1º semestre · 6 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Le lezioni si basano su recenti articoli di ricerca pubblicati in occasione di importanti conferenze/riviste di Computer Vision e Signal Processing. Le slide saranno messe a disposizione degli studenti.

Argomenti del programma: Il corso introdurrà i concetti chiave, discuterà gli approcci tecnici e le questioni aperte su due tendenze principali nella visione artificiale, Vision and Language (ad esempio, il riconoscimento composizionale) e Multimedia Forensics (ad esempio, l'autenticazione di immagini/video, il rilevamento dei deepfake).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Deepfake Detection And Multimedia Security Canale unico

Corso di laurea: Computer Science – sede di Trento · Laurea magistrale (LM-18) · esame facoltativo · ICT Innovation · 6 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 6 CFU · apri nel catalogo · Computer Science – sede di Trento · 1º anno · 1º semestre ›

Il docente indica 4 testi · da studiare tutti

Engineering – Enabling Digital Assets Security and Other Applications,…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Photo Forensics – By Farid Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Barni – Watermarking systems engineering Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Farid – Photo forensics Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Slides del corso, articoli di riferimento e materiale dei laboratori saranno disponibili per tutti gli studenti iscritti al corso nel Moodle On Line.

Argomenti del programma: Dopo un'introduzione ai concetti e ai modelli di Digital Rights Management per la protezione di dati multimediali, il corso affronta nello specifico watermarking digitale e digital forensics. L'analisi generale di questi concetti introduce la descrizione e la valutazione di tecniche specifiche applicate ai dati multimediali. 1. Introduzione al problema della protezione dei dati 2.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Multimedia Data Security Canale unico

Corso di laurea: Information Engineering – sede di Trento · Laurea magistrale (LM-27) · 2º anno · 1º semestre · Computer Engineering · 6 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 6 CFU · apri nel catalogo · Information Engineering – sede di Trento · 2º anno · 1º semestre ›

Il docente indica 4 testi · da studiare tutti

Engineering – Enabling Digital Assets Security and Other Applications,…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Photo Forensics – By Farid Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Barni – Watermarking systems engineering Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Farid – Photo forensics Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Slides del corso, articoli di riferimento e materiale dei laboratori saranno disponibili per tutti gli studenti iscritti al corso nel Moodle On Line.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Calcolo delle Probabilità Canale unico

Corso di laurea: Ingegneria informatica, delle comunicazioni ed elettronica – sede di Trento · Laurea triennale (L-8) · esame facoltativo · 6 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 6 CFU · apri nel catalogo · Ingegneria informatica, delle comunicazioni ed elettronica – sede di Trento · 1º anno · 2º semestre ›

Il docente indica 1 testo

Erto – Probabilità e statistica per le scienze e…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Concetto di probabilità Calcolo combinatorio Eventi Spazi di probabilità Probabilità condizionate Variabili aleatorie Distribuzioni e funzioni di densità Funzioni a 1 variabile Media e varianza Momenti Funzioni caratteristiche Funzioni a 2 variabili Distribuzione bivariata Variabili aleatorie discrete: Bernoulli, Binomiale, Poisson Variabili aleatorie continue: Uniforme, Esponenziale, Normale Teorema del Limite…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Multimedia Data Security Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Cryptography · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 1º semestre ›

Il docente indica 1 testo (4 libri tra cui scegliere)

Manuali NuXmv e SAT/SMT solvers

Uno a scelta tra questi 4:

Clarke – Model checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Principles of Model Checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Clarke – Model checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Baier – Principles of model checking Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Libri consigliati nell'a.a. 2025/2026

Engineering – Enabling Digital Assets Security and Other Applications,…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Photo Forensics – By Farid Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

appunti personali dello studente dalle lezioni

Argomenti del programma: Per il Modulo/corso "Automated Reasoning" gli argomenti principali saranno (non necessariamente in ordine): Teoria: * Ragionamento Booleano E Soddisfacibilità Proposizionale (SAT) * Ordered Binary Decision Diagrams * Tecniche moderne di SAT Solving (CDCL) * Funzionalità Estese per SAT * Satisfacibilità Modulo Teorie (SMT) * Funzionalità Estese per SMT * Logiche temporali: LTL, CTL e CTL* * Modelli di Kripke e Model…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Giulia Boato per Deepfake Detection And Multimedia Security?

Engineering – Enabling Digital Assets Security and Other Applications,…; Photo Forensics – By Farid; Barni – Watermarking systems engineering; Farid – Photo forensics

Quali libri consiglia il prof. Giulia Boato per Multimedia Data Security (Information Engineering – sede di Trento, canale unico)?

Engineering – Enabling Digital Assets Security and Other Applications,…; Photo Forensics – By Farid; Barni – Watermarking systems engineering; Farid – Photo forensics

Quali libri consiglia il prof. Giulia Boato per Calcolo delle Probabilità?

Erto – Probabilità e statistica per le scienze e…

Quali libri consiglia il prof. Giulia Boato per Multimedia Data Security (Mathematics – sede di Trento, canale unico)?

Clarke – Model checking; Principles of Model Checking; Clarke – Model checking; Baier – Principles of model checking