Results

Found results 25

Full data Concise data

Click the title to see full data and shelfmark of each item

Consultabilità delle tesi

Consultabile Consultabile
Non consultabile Non consultabile

Tesi presenti nel catalogo


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