Found results 25 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |