Primary tabs

Most recent publications

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 42 results:
2017

Talks, invited

O. Lysne

KommuneCERT...?

In NorSIS workshop om hendelseshåndtering i kommunesektoren, Norway, 2017.
Status: Published
O. Lysne

Lawful interception in Norway

In Huawei Norway, 2017.
Status: Published
O. Lysne

Digitalt grenseforsvar: Sikkerhet, grensekabler, menneskerettigheter og personvern

In Sikkerhet & Sårbarhet 2017, Trondheim, Norway, 2017.
Status: Published
O. Lysne

Digitalt grenseforsvar – sikkerhetsutfordringer og personvern

In Forsvarets høgskole, 2017.
Status: Published
O. Lysne

Digitalt grenseforsvar

In Stortinget, Høyres stortingsgruppe, Oslo, Norway, 2017.
Status: Published
O. Lysne

Digital vulnerability in Norway

In Telenor Group Public and Regulatory Affairs, Norway, 2017.
Status: Published
O. Lysne

Digital vulnerability in Norway

In MERIDIAN, Conference, 2017.
Status: Published
O. Lysne

Digitalt grenseforsvar

In Stortinget, Fremskrittspartiets stortingsgruppe, Oslo, Norway, 2017.
Status: Published
O. Lysne

Digital sårbarhet og risiko i det norske samfunnet

In Høyesterett, Norway, 2017.
Status: Published
O. Lysne

Digitalt Grenseforsvar

In Difis høstkonferanse, 2017.
Status: Published