Risultati

Risultati trovati 25

Dati completi Dati sintetici

Clicca sul titolo per vedere i dati completi di ogni documento e la segnatura con la quale richiederlo.

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Modalità di consultazione e contatti


Consultabile ABATE CARMINE, SECURE COMPILATION VIA ROBUST (HYPER)PROPERTY PRESERVATION, Rel. ZUNINO ROBERTO, AA 2017/2018
Autore: ABATE CARMINE
Titolo: SECURE COMPILATION VIA ROBUST (HYPER)PROPERTY PRESERVATION
Relatore: ZUNINO ROBERTO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-300
Richiedi la consultazione
Consultabile ABRAM DAMIANO, OBLIVIOUS TLS, Rel. DAMGARD IVAN BJERRE, AA 2018/2019
Autore: ABRAM DAMIANO
Titolo: OBLIVIOUS TLS
Relatore: DAMGARD IVAN BJERRE
Correlatore: ZUNINO ROBERTO
Secondo Correlatore: TRIEFLINGER SVEN
Anno accademico: 2018/2019
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-407
Richiedi la consultazione
Consultabile AGOSTINI RICCARDO, SUL POTERE ESPRESSIVO DI ALCUNE LOGICHE COTRUTTIVE, Rel. ZUNINO ROBERTO, AA 2013/2014
Autore: AGOSTINI RICCARDO
Titolo: SUL POTERE ESPRESSIVO DI ALCUNE LOGICHE COTRUTTIVE
Relatore: ZUNINO ROBERTO
Anno accademico: 2013/2014
Corso: Corso di Laurea - Matematica [0515G]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0515G-167
Richiedi la consultazione
Consultabile ALLEGRONE RICCARDO, ON CROSS-BLOCKCHAIN ATOMIC SWAPS BETWEEN BITCOIN AND MONERO, Rel. ZUNINO ROBERTO, AA 2020/2021
Autore: ALLEGRONE RICCARDO
Titolo: ON CROSS-BLOCKCHAIN ATOMIC SWAPS BETWEEN BITCOIN AND MONERO
Relatore: ZUNINO ROBERTO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-539
Richiedi la consultazione
Consultabile BERTOZZI FRANCESCO, COHERENT MODELS OF SYSTEM F, Rel. ZUNINO ROBERTO, AA 2015/2016
Autore: BERTOZZI FRANCESCO
Titolo: COHERENT MODELS OF SYSTEM F
Relatore: ZUNINO ROBERTO
Anno accademico: 2015/2016
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-240
Richiedi la consultazione
Consultabile FORACCHIA LUCA, A FORMAL EASYCRYPT PROOF FOR A ZERO-KNOWLEDGE PROTOCOL , Rel. ZUNINO ROBERTO, AA 2019/2020
Autore: FORACCHIA LUCA
Titolo: A FORMAL EASYCRYPT PROOF FOR A ZERO-KNOWLEDGE PROTOCOL
Relatore: ZUNINO ROBERTO
Anno accademico: 2019/2020
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-440
Richiedi la consultazione
Consultabile GIRARDI MARCO, AN OVERVIEW OF HOMOTOPY TYPE THEORY AND THE UNIVALENCE AXIOM, Rel. ZUNINO ROBERTO, AA 2017/2018
Autore: GIRARDI MARCO
Titolo: AN OVERVIEW OF HOMOTOPY TYPE THEORY AND THE UNIVALENCE AXIOM
Relatore: ZUNINO ROBERTO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-321
Richiedi la consultazione
Consultabile LEONI DAVID, AUTOMATED DISCOVERY OF FAIR GAMES IN BLENX., Rel. PRIAMI CORRADO, AA 2009/2010
Autore: LEONI DAVID
Titolo: AUTOMATED DISCOVERY OF FAIR GAMES IN BLENX.
Relatore: PRIAMI CORRADO
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2009/2010
Corso: Corso di Laurea - Informatica (triennale) [0507C]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: QC336
Richiedi la consultazione
Consultabile MADDALON LORENZO ANTONIO, TEORIA DELLA CALCOLABILITÀ E TEOREMI D'INCOMPLETEZZA, UN APPROCCIO ELEMENTARE E DIDATTICAMENTE SPENDIBILE, Rel. ZUNINO ROBERTO, AA 2017/2018
Autore: MADDALON LORENZO ANTONIO
Titolo: TEORIA DELLA CALCOLABILITÀ E TEOREMI D'INCOMPLETEZZA, UN APPROCCIO ELEMENTARE E DIDATTICAMENTE SPENDIBILE
Relatore: ZUNINO ROBERTO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-324
Richiedi la consultazione
Consultabile MADDALONI DARIO, OFF-CHAIN SMART CONTRACTS ON BITCOIN: AN OPTIMISTIC APPROACH, Rel. ZUNINO ROBERTO, AA 2022/2023
Autore: MADDALONI DARIO
Titolo: OFF-CHAIN SMART CONTRACTS ON BITCOIN: AN OPTIMISTIC APPROACH
Relatore: ZUNINO ROBERTO
Correlatore: MARCHESIN RICCARDO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-664
Richiedi la consultazione
Non consultabile MAGAGNA ANDREA, IOTA PROTOCOL: ANALYSIS AND TESTING OF THE SIGNATURE SCHEME, Rel. VISCONTI ANDREA, AA 2017/2018
Autore: MAGAGNA ANDREA
Titolo: IOTA PROTOCOL: ANALYSIS AND TESTING OF THE SIGNATURE SCHEME
Relatore: VISCONTI ANDREA
Correlatore: ZUNINO ROBERTO
Anno accademico: 2017/2018
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-340
Consultabile MARCHESIN RICCARDO, RECURSIVE SMART CONTRACTS WITH BITCOIN COVENANTS, Rel. ZUNINO ROBERTO, AA 2021/2022
Autore: MARCHESIN RICCARDO
Titolo: RECURSIVE SMART CONTRACTS WITH BITCOIN COVENANTS
Relatore: ZUNINO ROBERTO
Anno accademico: 2021/2022
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-565
Richiedi la consultazione
Consultabile MARCHI ENRICO, INTERACTIVE EXPLANATION OF TYPE ERRORS IN FUNCTIONAL PROGRAMMING, Rel. ZUNINO ROBERTO, AA 2020/2021
Autore: MARCHI ENRICO
Titolo: INTERACTIVE EXPLANATION OF TYPE ERRORS IN FUNCTIONAL PROGRAMMING
Relatore: ZUNINO ROBERTO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-726
Richiedi la consultazione
Non consultabile ORRÙ MICHELE, UNIVERSAL COMPOSABILITY, MPC, OBLIVIOUS TRANSFER: AN INQUIRY INTO SECURE COMPUTATION, Rel. ZUNINO ROBERTO, AA 2015/2016
Autore: ORRÙ MICHELE
Titolo: UNIVERSAL COMPOSABILITY, MPC, OBLIVIOUS TRANSFER: AN INQUIRY INTO SECURE COMPUTATION
Relatore: ZUNINO ROBERTO
Anno accademico: 2015/2016
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-214
Consultabile PASINI JACOPO, RING SIGNATURES AND MONERO, Rel. SALA MASSIMILIANO, AA 2018/2019
Autore: PASINI JACOPO
Titolo: RING SIGNATURES AND MONERO
Relatore: SALA MASSIMILIANO
Correlatore: ZUNINO ROBERTO
Secondo Correlatore: LONGO RICCARDO
Anno accademico: 2018/2019
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-355
Richiedi la consultazione
Non consultabile PENCO SALVI GIACOMO FILIPPO, THE OUROBOROS BLOCKCHAIN CONSENSUS PROTOCOL WITH STATIC STAKE, Rel. ZUNINO ROBERTO, AA 2022/2023
Autore: PENCO SALVI GIACOMO FILIPPO
Titolo: THE OUROBOROS BLOCKCHAIN CONSENSUS PROTOCOL WITH STATIC STAKE
Relatore: ZUNINO ROBERTO
Anno accademico: 2022/2023
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-633
Non consultabile RACANELLI ROSANNA, ON FORMAT PRESERVING ENCRYPTION AND ITS APPLICATIONS TO SECURITY AND PRIVACY, Rel. SALA MASSIMILIANO, Rel. ZUNINO ROBERTO, AA 2018/2019
Autore: RACANELLI ROSANNA
Titolo: ON FORMAT PRESERVING ENCRYPTION AND ITS APPLICATIONS TO SECURITY AND PRIVACY
Relatore: SALA MASSIMILIANO
Secondo Relatore: ZUNINO ROBERTO
Correlatore: MENEGHETTI ALESSIO
Anno accademico: 2018/2019
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-354
Consultabile RIZZETTO SIMONE, A PROTEOME-WIDE SIMULATION TO DETECT PROTEIN COMPLEXES IN YEAST, Rel. PRIAMI CORRADO, AA 2012/2013
Autore: RIZZETTO SIMONE
Titolo: A PROTEOME-WIDE SIMULATION TO DETECT PROTEIN COMPLEXES IN YEAST
Relatore: PRIAMI CORRADO
Correlatore: CSIKASZ-NAGY ATTILA
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2012/2013
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione
Formato: digitale
Segnatura: 0517H-159
Richiedi la consultazione
Consultabile ROCCHI RICCARDO, CUBICAL TYPE THEORY: AN INTRODUCTION, Rel. ZUNINO ROBERTO, AA 2020/2021
Autore: ROCCHI RICCARDO
Titolo: CUBICAL TYPE THEORY: AN INTRODUCTION
Relatore: ZUNINO ROBERTO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-519
Richiedi la consultazione
Consultabile SCIPIONI ALESSANDRO, USING SEMANTIC WEB TECHNOLOGIES FOR REASONING WITH TEMPORAL DATA IN THE DOMAIN OF BREAST CANCER, Rel. CASATI FABIO, AA 2010/2011
Autore: SCIPIONI ALESSANDRO
Titolo: USING SEMANTIC WEB TECHNOLOGIES FOR REASONING WITH TEMPORAL DATA IN THE DOMAIN OF BREAST CANCER
Relatore: CASATI FABIO
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0517H-40
Richiedi la consultazione
Consultabile SELLA NADIR, UN TRADUTTORE AUTOMATICO DA SYSTEM BIOLOGY MARKUP LANGUAGE A UN LINGUAGGIO IMPERATIVO STOCASTICO, Rel. PRIAMI CORRADO, AA 2010/2011
Autore: SELLA NADIR
Titolo: UN TRADUTTORE AUTOMATICO DA SYSTEM BIOLOGY MARKUP LANGUAGE A UN LINGUAGGIO IMPERATIVO STOCASTICO
Relatore: PRIAMI CORRADO
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2010/2011
Corso: Corso di Laurea - Informatica [0514G]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0514G-19
Richiedi la consultazione
Consultabile SPADETTO MATTEO, GENERALISED GLUING AND EXACT COMPLETION OF PATH CATEGORIES, Rel. VAN OOSTEN JAAP, AA 2018/2019
Autore: SPADETTO MATTEO
Titolo: GENERALISED GLUING AND EXACT COMPLETION OF PATH CATEGORIES
Relatore: VAN OOSTEN JAAP
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2018/2019
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-395
Richiedi la consultazione
Consultabile SPENNATO CHRISTOPHER, A PROTOCOL FOR PROVING CORRECT REMOTE COMPUTATION, Rel. ZUNINO ROBERTO, AA 2018/2019
Autore: SPENNATO CHRISTOPHER
Titolo: A PROTOCOL FOR PROVING CORRECT REMOTE COMPUTATION
Relatore: ZUNINO ROBERTO
Anno accademico: 2018/2019
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-394
Richiedi la consultazione
Consultabile TIZIANEL SARA, BYZANTINE FAULT TOLERANT CONSENSUS PROTOCOLS, Rel. ZUNINO ROBERTO, AA 2020/2021
Autore: TIZIANEL SARA
Titolo: BYZANTINE FAULT TOLERANT CONSENSUS PROTOCOLS
Relatore: ZUNINO ROBERTO
Correlatore: CHIRICO FRANCESCO
Anno accademico: 2020/2021
Corso: Corso di Laurea Magistrale - MATEMATICA [0519H]
Struttura didattica: Dipartimento di Matematica
Formato: digitale
Segnatura: 0519H-529
Richiedi la consultazione
Consultabile TOSS FABRIZIA, TIMED SAGAS - A FORMAL LANGUAGE FOR WEB TRANSACTIONS, Rel. QUAGLIA PAOLA, AA 2010/2011
Autore: TOSS FABRIZIA
Titolo: TIMED SAGAS - A FORMAL LANGUAGE FOR WEB TRANSACTIONS
Relatore: QUAGLIA PAOLA
Controrelatore: ZUNINO ROBERTO
Anno accademico: 2010/2011
Corso: Corso di Laurea Magistrale - INFORMATICA [0517H]
Struttura didattica: Facoltà di Scienze
Formato: digitale
Segnatura: 0517H-42
Richiedi la consultazione