Messages

Published Dec. 12, 2022 10:13 PM

I have managed to get the flue again. Good luck at the exam!

Published Nov. 27, 2022 11:00 AM

Only the old exams made available on the web-page for the 2022 version of IN5130 are relevant.

In earlier versions of the course the curriculum was different (including the CORAS rules).

Published Nov. 27, 2022 10:57 AM

Exam 2020 (pdf)

  • Solution proposal (pdf)

Exam 2021 (pdf)

  • Solution proposal (pdf)
Published Nov. 15, 2022 10:25 AM

Due to the late exam there will be an extra group session December 13. This session takes place 14.15-16.00 in Room C.

Published Nov. 9, 2022 11:40 AM

The teacher will be Katrine Feten.

Published Nov. 8, 2022 10:41 AM

I failed a Covid test this morning. The exercises and a proposed solution will be made available in a few minutes.

Published Nov. 2, 2022 12:39 PM

Oblig-III Security Risk Assessment (pdf)

Deadline November 16

Published Oct. 7, 2022 11:20 AM

Oblig-II Refinement (pdf)

Published Oct. 5, 2022 11:13 AM

On October 13, 10.00-14.00, I organize a free public seminar on the Metaverse in 澳门葡京手机版app下载sparken, next to IFI. You are welcome to register if you are interested. Please note that all talks will be in Norwegian.

See: Program

Published Sep. 26, 2022 4:59 PM

On October 7 there will be two guest lectures. Both will be given by SINTEF researchers. Hui Song will talk about DevOps for Security. Simeon Tverdal will present the CORAS tool that we will use in the third part of the course. He will introduce the tool, give a demo and present its design.

See the Course Schedule for more info (including abstracts).

Published Sep. 7, 2022 3:48 PM

Virtual Dinosaur Zoo (pdf)

Published Aug. 5, 2022 11:00 AM

There will be three compulsory exercises. The closing dates for submission are:

Oblig 1: September 22

Oblig 2: October 20

Oblig 3: November 16

All solutions should be sent to kst@sintef.no in the form of a pdf attachment.

Published Aug. 5, 2022 10:56 AM

Syllabus is all lectures, group exercises and compulsory exercises.

The books and articles made available via Leganto are support literature.