Primary tabs

Most recent publications

A. Elmokashfi, O. Lysne and V. Naumova

Smittestopp − A Case Study on Digital Contact Tracing

In Simula SpringerBriefs on Computing. Vol. 11. Cham: Springer Nature, 2022.
Edited books
2022
View
K. Friis and O. Lysne

5G-sikkerhet: Norge mellom stormaktene

In Digitalisering og internasjonal politikk. Universitetsforlaget, 2022.
Book Chapter
2022
View
O. Lysne

Proof by Consistency in Constructive Systems With Final Algebra Semantics

In Proceedings 3rd International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Pisa (Italy), 1992.
Proceedings, refereed
1992
View
O. Lysne

Towards Mechanizing Proofs by Structural Induction

In Proceedings from NIK'92: Norsk Informatikk Konferanse. TAPIR,, 1992.
Proceedings, refereed
1992
View

News

16 July 2022

New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing

Simula in the media

11 April 2016

Simula@Bergen skal utdanne ein ny generasjon med kryptologar

Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
: 
Simula
På Høyden

Find publication

Status

Departments

Publication type

Year published

Export 23 results:
2022

Edited books

A. Elmokashfi, O. Lysne and V. Naumova

Smittestopp − A Case Study on Digital Contact Tracing

In Simula SpringerBriefs on Computing. Vol. 11. Cham: Springer Nature, 2022.
Status: Published

Book chapters

K. Friis and O. Lysne

5G-sikkerhet: Norge mellom stormaktene

In Digitalisering og internasjonal politikk. Universitetsforlaget, 2022.
Status: Published

Talks, invited

O. Lysne

Cyber Warfare: Supply- and Service Chains

In Multi-Modal Warfare, Safe House Global, Washington, DC, USA, 2022.
Status: Published
O. Lysne

Krig i Ukraina:  Hva har vi lært, og hva bør vi gjøre?

In IKT-Norge, 2022.
Status: Published
O. Lysne

Kommentarer til "Målbilder for Robuste ekomnett mot 2030"

In Nasjonal Kommunikasjonsmyndighet sin offentliggjøring av målbilder mot 2030. NKOM, 2022.
Status: Published
O. Lysne

Refleksjoner om Telenors kjerneinfrastruktur

In Kommunal- og distriktsdepartementet, Oslo, Norway, 2022.
Status: Published
O. Lysne

Tilrettelagt innhenting

In Oslo Tingrett, Norway, 2022.
Status: Published
O. Lysne

Vi må tenke sikkerhet på nytt

In Inside telecom, 2022.
Status: Published
O. Lysne

Digital risiko – hva er de sentrale utfordringene? Hva er mulige løsninger?

In Totalberedskapskommisjonen, Oslo, Norway. Totalberedskapskommisjonen, 2022.
Status: Published
O. Lysne

Teknologiutvikling, sikkerhet og kriminalitet

In Politiavdelingen, Justisdepartementet, Oslo, Norway, 2022.
Status: Published