Extending the Formal Security Analysis of the HUBCAP sandbox

Autor:	Tomas Kulik, Prasad Talasila, Pietro Greco, Giuseppe Veneziano, Angelo Marguglio, Lorenzo Franco Sutton, Peter Gorm Larsen, Hugo Daniel Macedo
Přispěvatelé:	Macedo, Hugo Daniel, Thule, Casper, Pierce, Ken
Zdroj:	Aarhus University Kulik, T, Talasila, P, Greco, P, Veneziano, G, Marguglio, A, Sutton, L F, Larsen, P G & Macedo, H D 2021, Extending the Formal Security Analysis of the HUBCAP sandbox . in H D Macedo, C Thule & K Pierce (eds), Proceedings of the 19th International Overture Workshop . pp. 36-50, 19th International Overture Workshop, Aarhus, Denmark, 22/10/2021 . < https://arxiv.org/abs/2110.09371 >
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de6f7ccd6f7ace32c2a639605687e8af https://pure.au.dk/portal/en/publications/extending-the-formal-security-analysis-of-the-hubcap-sandbox(40f841bb-5dd0-4f8e-bb1a-b051d45fc651).html Zobrazit plný text záznamu