01 / Direzione di ricerca
Applicazioni e controlli di accesso
Filone in sviluppo: piccoli ambienti di prova per descrivere ruoli, confini di fiducia e verifiche delle correzioni.
03 / Laboratorio
Dare forma a ciò che si può verificare.
Il laboratorio è lo spazio in cui costruire esempi riproducibili, affinare il metodo e trasformare il lavoro tecnico in materiale leggibile.
02 / Direzione di ricerca
Smart contract e permessi
Filone in sviluppo: esempi di lettura del codice, invarianti e relazioni tra contratti, amministratori e interfacce.
03 / Direzione di ricerca
Dall’evidenza al rapporto
Filone in sviluppo: strutture per separare fatti osservati, impatto, ipotesi e raccomandazioni.
Le aree di ricerca sono in sviluppo. Eventuali esempi futuri saranno distinti dai risultati di incarichi reali.