#import "@preview/polylux:0.3.1": *
#import "unipd.typ": *

#show: unipd-theme.with(author: "<NAME>", date: "22/02/2024", supervisore: "Supervisore: <NAME>", cosupervisore: "Cosupervisore: <NAME>", ccs:"Tutor CCS: <NAME>")

#set text(font: (
  "Noto Sans",
  "Segoe UI",
  "roboto",
  "Helvetica Neue",
  "Cantarell",
  "sans-serif",
))

#title-slide(
  title: "Formalizzazione di una Architettura per Robot Sociali in un Contesto di Assistenza Sanitaria Domiciliare",
  subtitle: "Discussione Tesi di Laurea in Informatica",
)

#centered-slide(
  title: "Indice",
)[
  #side-by-side(columns: (1fr, 1fr),
    [
      #v(1em)
      #set text(size: 28pt)
      #enum(tight: false, indent: 4em)
      + Il Proponente
      + Il Progetto
      + SSRA: A Secure Social Robot Architecture
      + Studio di Fattibilità
      + Conclusioni
    ],
    [
      #align(center, image("images/content-structure.svg", height: 80%))
    ]
  )
]

#centered-slide(
  title: "Il Proponente",
)[
  #v(1em)
  #set text(size:20pt)
  #side-by-side([
  #align(center, image("images/LogoSpritz.png", height: 6em))
  Nato nel 2011 e guidato dal Prof. <NAME>.

  Gruppo di ricercatori nell'ambito della sicurezza.
  ],
  [
    #align(center, image("images/LogoOmitech.png", height: 6em))
    Omitech Robot, parte del gruppo Omitech.

    Nato nel 2018, opera nel campo R&S robotico.
  ]
  )
]

#centered-slide(
  title: "Nascita del Progetto",
  new-section: "Il Progetto",
)[
  #set text(size:20pt)
  #side-by-side(columns: (3fr, 1fr),[
    Il gruppo SPRITZ dell'Università di Padova ha numerosi progetti di ricerca sulla sicurezza dei sistemi cyber-fisici, tra cui una collaborazione con Omitech sui robot sociali
  ],
  [
    #align(center, image("images/sanbotElf.png", height: 6em))
  ]
  )
  #align(center, image("images/arrow-down.svg", height: 2em))

  #side-by-side(columns: (1fr, 2fr),[
    #align(center, image("images/unipd-logo.png", height: 6em))
  ],
  [
    Il progetto di stage è stato presentato alla conclusione del corso di _Cybersecurity_, dove ho deciso di candidarmi.
  ]
  )
]

#centered-slide(
  title: "Cos'è un Social Robot?"
)[
  #side-by-side(
[
    #align(center, image("images/sanbotElf.png", height: 15em))
  ],[
  #list(tight: false)
  #v(7%)
  - Robot umanoidi
  #v(15%)
  - Interazione naturale (_Human Robot Interaction_)
  #v(15%)
  - Due _layer_ fondamentali: automatico e deliberativo
]
  )
]


#centered-slide(
  title: "La Letteratura a Riguardo"
)[
  #set text(size:20pt)
  #side-by-side([
    #one-by-one(
  [- Utilizzo delle Blockchain],
  [- Sicurezza del singolo robot],
  [- Robot sociali in ambito sanitario],
  [- Scarsità architetture di rete _privacy-preserving_],
  [- Scarsità di studi sulla sicurezza complessiva di una architettura],
  [- Assente crittografia con accesso granulare]
    )
  ],
  [
    #align(center, image("images/pepper.png", height: 20em))
  ]
  )
]



// DA DECIDERE SE TENERE O MENO
#centered-slide(
  title: "Threat Model",
  new-section: "SSRA",
)[
  #set text(size:17pt)
  #side-by-side([
    #uncover("1-")[
      Presupposto fondamentale è la possibilità di stabilire una connessione sicura tra utenti e server.
    ]

    #uncover("2-")[
      L'attaccante può compromettere o un nodo o un collegamento tra nodi.
    ]
    
    #uncover("3-")[
      _Master key_ in _Trusted Platform Module_. 
    ]

    #uncover("4-")[
      Attaccante incapace di violare schemi di crittografia approvati dal _NIST_. 
    ]

    #uncover("5-")[
      Non tratteremo della sicurezza dei dispositivi di _Mobile Health_.
    ]
  ],
  [
    #align(center, image("images/Cybersecurity.jpg", width: 20em))
  ]
  )
]

#centered-slide(
  title: "Security Requirements",
)[
  #set text(size:20pt)
  #side-by-side(
  [
    #align(center, image("images/Crypto.png", height: 10em))
    ],
  [*7 requisiti fondamentali:*

  #uncover("1-")[
    1: Integrità dei dati
  ]

  #uncover("2-")[
    2: Confidenzialità dei dati
  ]

  #uncover("3-")[
    3: Controllo dei danneggiamenti
  ]

  #uncover("4-")[
    4: Resistenza all'impersonificazione
  ]

  #uncover("5-")[
    5: Continuità
  ]

  #uncover("6-")[
    6: Assenza di tracciabilità
  ]

  #uncover("7-")[
    7: Protezione dai _replay attacks_
  ]]
  )
]

#centered-slide(
  title: "Diagrammi (1/3)"
)[
    #align(center, image("images/ArchBaseNew.drawio.png", height: 12em))
]

#centered-slide(
  title: "Diagrammi (2/3)"
)[
    #set text(size:20pt)
    #side-by-side(
      [
        Flusso di Setup

        #align(center, image("images/setup.drawio.png", height: 15.5em))
      ],
      [
        Operazioni Base

        #align(center, image("images/base.drawio.png", height: 15.5em))
      ]
    )
]

#centered-slide(
  title: "Diagrammi (3/3)"
)[
  #set text(size:20pt)
  Flusso di Aggiunta Utente

    #align(center, image("images/AggiuntaNewUser.drawio.png", height: 12em))
]

#slide(
  title: "Studio di Fattibilità",
  new-section: "Studio di Fattibilità",
)[
  #set text(size:17pt)
  Scenario: Ente di sanità pubblica fornisce robot per il monitoraggio dei pazienti a domicilio o nelle strutture sanitarie.

  #underline[*Adattamento*]
  #side-by-side([
    #only("1")[
    - *Modifica delle entità*
    ]

    #only("2")[
      - Modifica delle entità
      - *Modifica della sottostruttura del server*
    ]

    #only("3-")[
      - Modifica delle entità
      - Modifica della sottostruttura del server
    ]
  ],
  [
    #only("1")[
      - Operatore (assimilabile al Tutore)
      - Terze Parti (assimilabili agli Utenti)
    ]

    #only("2")[
      - Server cuscinetto per comunicazioni
      - Access Control System
      - Modulo CP-ABE
    ]
  ]
  )

  #uncover("4-")[#underline[*Implementazione*]]
  #side-by-side([
    #only("5")[
      - *Definizione delle risorse per l'accesso al sistema*
    ]

    #only("6")[
      - Definizione delle risorse per l'accesso al sistema
      - *Definizione dei processi*
    ]

    #only("7")[
      - Definizione delle risorse per l'accesso al sistema
      - Definizione dei processi
      - *Implementazione della crittografia*
    ]
  ],
  [
    #only("5")[
      - Username + Password (accesso al sistema)
      - OTP (registrazione di un nuovo paziente)
    ]

    #only("7")[
      - Utilizzo del modulo open-source RABE (_Rust ABE_)
    ]
  ]
  )
]

#centered-slide(
  title: "Il Paper IEEE",
    new-section: "Conclusioni",
)[
  #set text(size:20pt)
  #side-by-side(
    [

        #align(center, image("images/IEEE.png", height: 5em))

        #align(center, image("images/JBHI.png", height: 8em))
    ],
    [
      Raggiunti tutti gli altri obiettivi preventivati, assieme al <NAME> abbiamo iniziato la stesura di un _paper_ denominato *SSRA: A Secure Social Robot Architecture*, con l'obiettivo di inviarlo al _Journal of Biomedical & Health Informatics_, facente parte della _IEEE_. 
    ]
  )
]

#slide(
  title: "Raggiungimento Obiettivi",

)[
  #set text(size:20pt)
  #uncover("1-")[
    *Obbligatori*:

    #box(image("images/checkmark.svg", height: 1em)) Conoscenza degli argomenti fulcro dello stage

    #box(image("images/checkmark.svg", height: 1em)) Progettazione di una architettura sicura
    
    #box(image("images/checkmark.svg", height: 1em)) Studio di fattibilità per la architettura proposta
  ]

  #uncover("2-")[
    *Desiderabili*:

    #box(image("images/checkmark.svg", height: 1em)) Analisi dei flussi dati derivanti dalla architettura proposta
  ]

  #uncover("3-")[
    *Facoltativi*:

    #box(image("images/checkmark.svg", height: 1em)) Formalizzazione dei flussi di dati generati dalla architettura proposta
    
    #box(image("images/checkmark.svg", height: 1em)) Stesura di un _paper_ di ricerca 
  ]
]

#focus-slide(
)[
  *#align(center, "Grazie per l'Attenzione!")*
]