Strand, M. 2022. Formalizing swarm security. Norsk IKT-konferanse for forskning og utdanning. 3 (Jan. 2022).