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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 19th International Overture Workshop
EditorsHugo Daniel Macedo, Casper Thule, Ken Pierce
Number of pages15
Publication date1 Oct 2021
Pages36-50
Publication statusPublished - 1 Oct 2021
Event19th International Overture Workshop - Aarhus University/Online, Aarhus, Denmark
Duration: 22 Oct 202122 Oct 2021
Conference number: 19

Workshop

Workshop19th International Overture Workshop
Number19
LocationAarhus University/Online
Country/TerritoryDenmark
CityAarhus
Period22/10/202122/10/2021

Cite this