Libri UniversitariApri il catalogo

Multimedia Data Security – Trento

Università di Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Giulia Boato 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 ›

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 FaridCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Barni – Watermarking systems engineeringCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Farid – Photo forensicsCerca 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.

Prof. Giulia Boato 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 ›

Manuali NuXmv e SAT/SMT solvers

Uno a scelta tra questi 4:

Clarke – Model checkingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Principles of Model CheckingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Clarke – Model checkingCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Baier – Principles of model checkingCerca 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 FaridCerca 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.