Nettsider med emneord «security»

Publisert 14. apr. 2015 12:54

Dat Tien Le is a PhD student in the ConSeRNS group under the supervision of Audun Jøsang, Einar Broch Johnsen, and Frank Eliassen.

In this talk, we will about the concept of design patterns but applied to security problems. Just think of how popular the concept of design pattern has become, i.e., look at the classic GOF book that won the Dahl-Nygaard prize. Now we see this applied to security problems. (See Abstrat in the long description.)

Publisert 13. nov. 2017 12:10

Compiler security is an important field. This thesis wants to do groundwork to reproduce a known technique known as{Diverse Double-Compiling (DDC) in an new environment. Potentially with a secondary focus on writing a compiler for a mainstream language.

 

Publisert 7. sep. 2016 21:40

This project aims at developing models and tools for automated or semi-automated classification and discovery of cyberthreats based on ontologies and semantic reasoning.

Publisert 27. sep. 2023 13:15

The task is to dependently typed programming for certification (especially in the area of security)

Image may contain: text, font.
Publisert 26. aug. 2019 07:13

The paper "Language-based mechanisms for Security-by-Design'' by Shukun Tokas, Olaf Owe, and Toktam Ramenzanifarkhani got the award for the "Best Paper" of the IFIP IFIP Summer School on Privacy and Identity Management.

 

Publisert 7. okt. 2020 14:36

The task is to design and implement a radmomization concept for Rust compilation

Publisert 10. mars 2011 08:02
Publisert 22. sep. 2023 15:13
Publisert 20. sep. 2017 18:43

This projects involves a cases study and analysis of human users of a modern information system, like IoT. This topic is at the border of computer science, psychology, cognitive sciences, and AI.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 20. juli 2020 10:49

Semantic Attribute Based Access Control (SABAC) – Developing an Access Control solution for IoT Gateways applied to Smart Home Care

Publisert 4. okt. 2016 11:55

In this thesis, the author attempt to design a process that will help web application development companies produce more secure services. This is achieved by using a security standard relevant to the services these applications provide. Throughout the course of this thesis, the author attempts to highlight why this is needed, and how it will be achieved.

Publisert 10. aug. 2023 21:24

In this project, we plan to answer this question "do we have some strangely and maliciously constructed images that if they are given to contrastive-based SSL methods and the training is done securely and faithfully, the final features become useless like random features" building on our recent work on robust and secure deep learning [8].  The question is  how much corrupted data is needed. Say if a malicious user uploads 1-2% corrupted data and breaks the learning process (features become like random features), it could be very alarming. But if a lot of corrupt images are needed, then it means that the current systems are quite robust.

Publisert 19. aug. 2018 13:07

This projects involves a cases study and analysis of human users of a security ceremony; i.e., security protocol or procedure where the human is part of the protocol. The current on-line banking is an example, or the recent electronic voting procedure used in Norway. This topic is at the border of security and psychology. Your work will start from a recent paper [28] originating from the group of Ann Blandford.

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Image may contain: Font, Crest, Emblem, Symmetry, Symbol.
Publisert 8. juni 2023 09:26
Publisert 8. mai 2017 13:36
Publisert 9. sep. 2020 11:44