Nettsider med emneord «security»

Publisert 8. des. 2021 14:32
Publisert 8. des. 2021 14:31
Publisert 22. okt. 2021 08:19
Publisert 21. des. 2020 10:28
Publisert 14. okt. 2020 15:40

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

Publisert 7. okt. 2020 14:36

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

Publisert 9. sep. 2020 11:44
Publisert 9. sep. 2020 11:44
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

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 5. feb. 2019 13:12
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.

Publisert 13. juni 2018 13:05
Publisert 16. feb. 2018 14:40

Evaluation of added energy requirements for network security protocols (e.g. TLS).

Publisert 12. feb. 2018 16:23
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 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 8. mai 2017 13:36
Publisert 22. mars 2017 13:52
Publisert 22. mars 2017 13:52
Publisert 1. feb. 2017 09:12

The future electricity network is based on components, which are state-of-the-art from some years back in time. As an example, the SCADA system consists of network interfaces, browser sessions..., which all can be hacked using standard vulnerabilities.