Study and implementation of a verified solution in Go for dealing with SPID authentication.

  1. Home
  2. Research
  3. Projects
  4. Study and implementation of a verified solution in Go for dealing with SPID authentication.
Starting date
April 20, 2022
Duration (months)
8
Departments
Computer Science
Managers or local contacts
Spoto Nicola Fausto

The project studies the existing FoxDocs Go software, for storing documents in blockchain, with the goal of a verified integration of that software with the SPID authentication system

Sponsors:

Tradenet Services SRL
Funds: assigned and managed by the department
Syllabus: Ricerca commissionata

Project participants

Nicola Fausto Spoto
Associate Professor
Research areas involved in the project
Ingegneria del Software e Sicurezza
Software organization and properties

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share