Strand, Martin. 2022. “Formalizing Swarm Security”. Norsk IKT-Konferanse for Forskning Og Utdanning, no. 3 (January). https://www.ntnu.no/ojs/index.php/nikt/article/view/5511.