News

Shukun

Shukun

16.3.2021 Disputation of Elahe Fazeldehkordi: Security and Privacy Solutions in IoT and Distributed Systems Design

19.2.2021 Disputation of Shukun Tokas: Analysis and Enforcement of GDPR-related Privacy Principles in Object-Oriented Distributed Systems

18.6.2020 Disputation of Antonio Burgueno: Formal Analysis for Security Ceremonies 

Published Mar. 16, 2021 11:26 AM

The final steps of the Ph.D process for Elahe Fazeldehkordi, the trial lecture and the public defense of her doctoral thesis, 16. March,  2021. Congratulations!

Published Feb. 19, 2021 10:36 AM

The final steps of the Ph.D process for Shukun Tokas, the trial lecture and the public defense of her doctoral thesis, 19. February 2021. Congratulations!

Published June 18, 2020 12:00 AM

The final steps of the Ph.D process for Antonio Burgueño, the trial lecture and the public defense of his doctoral thesis, 18. June 2020. Congratulations!

Published Oct. 22, 2019 12:36 PM

The final steps of the Ph.D process for Bjørnar Luteberget, the trial lecture and the public defense of his doctoral thesis, 18. October 2019. Congratulations!

Published Dec. 17, 2018 11:13 AM

Final step of the Ph.D process for Lars Vidar Magnusson, the trial lecture and the public defense of his doctoral thesis, 7. December 2018. Congratulations!

Published Nov. 26, 2018 4:03 PM

Final step of the Ph.D process for Dang Ha The Hien, the trial lecture and the public defense of his doctoral thesis, 23. November 2018. Congratulations!

Published Oct. 31, 2018 10:00 AM

Final step of the Ph.D process for Johanna Beate Stumpf, the trial lecture and the public defense of her doctoral thesis, 11. October 2018 (superivsed by ASR & PSY). Congratulations!

Published Sep. 25, 2017 9:01 PM

The presentation by Daniel Fava at the Doctoral Symposium of the 13th International  integrated Formal Methods (iFM 2017) won the award for  the symposium's best presentation (shared with a second winner). The presentation covers joint work with Martin Steffen, Volker Stolz, and Stian Valle, about   ``An Operational Semantics for a Weak Memory Model with Buffered Writes, Message Passing, and Goroutines''.

 

Published Apr. 3, 2016 1:52 PM

Whitfield Diffie and Martin Hellman receive the Turing Award for 2015 with the citation: "Diffie and Hellman’s groundbreaking 1976 paper, “New Directions in Cryptography,” introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today. The Diffie-Hellman Protocol protects daily Internet communications and trillions of dollars in financial transactions." Read more at ACM.

Published Dec. 17, 2015 5:10 PM

There are  three Ph.D positions in the area of formal methods for analyzing security properties in concurrent and distributed programs.

One Ph.D position is connected to the ConSeRNS initiative, targeting research challenges in security and robustness of ICT infrastructures.

The second Ph.D position is connected to the IoTSec project, targeting security in Internet-of-Things (IoT) for Smart Grids. Both positions have application deadline January 31st 2016.

A third PhD is targeting security in Internet-of-Things (IoT) for Smart Grids, being an Industrial PhD position, also connected to the  IoTSec project.  More information on the IoTSec positions is available at http://IoTSec.no/phd<http://iotsec.no/phd>

Application deadline: 31 January!

The deadline has expired.

Published June 15, 2015 9:19 AM

Final step of the Ph.D process for Lucian Bentea, the trial lecture and the public defense of his thesis, 12. June 2015. Congratulations!

Published Apr. 16, 2015 9:56 AM

Final step of the Ph.D process for Daniela Lepri, the trial lecture and the public defense of her thesis, 13. April 2015. Congratulations!