Extending the Formal Security Analysis of the HUBCAP sandbox

Tomas Kulik, Prasad Talasila, Pietro Greco, Giuseppe Veneziano, Angelo Marguglio, Lorenzo Franco Sutton, Peter Gorm Larsen, Hugo Daniel Macedo

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelProceedings of the 19th International Overture Workshop
RedaktørerHugo Daniel Macedo, Casper Thule, Ken Pierce
Antal sider15
Publikationsdato1 okt. 2021
Sider36-50
StatusUdgivet - 1 okt. 2021
Begivenhed19th International Overture Workshop - Aarhus University/Online, Aarhus, Danmark
Varighed: 22 okt. 202122 okt. 2021
Konferencens nummer: 19

Workshop

Workshop19th International Overture Workshop
Nummer19
LokationAarhus University/Online
Land/OmrådeDanmark
ByAarhus
Periode22/10/202122/10/2021

Citationsformater