Fysikkbygningen øst (kart)
Sem Sælands vei 24
The Spring meeting is held on 15 May at the 5th floor (Kristen Nygaard room) of the Institute for Informatics (IFI) in the Ole-Johan Dahls building from 10:00 to 16:00. The program is below, as well as practical aspects.
The Autumn meeting is held on 28 Sugust 2017 at SINTEF from 10:00 to 16:00. The presentations are below.
The Spring meeting is held on 6 April at the 5th floor (Kristen Nygaard room) of the Institute for Informatics (IFI) in the Ole-Johan Dahls building from 10:00 to 16:00. The program is below, as well as practical aspects.
This topic involves developing IoT systems with a graphical language and development environment called ThingML and developed partly by SINTEF in collaboration with international partners in European projects. IoT involves many kinds of small devices with limited capabilities. In consequence different programming concerns are raised, as opposed to classic object-oriented programming. Many of the languages are more low-level, like C or nesC (of Contiki or TinyOS) and less easy to master. In this project you will use a different approach, based on graphical languages and automatic code generation.
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.
Previous work has established a Multi-Metrics (MM) Method for the analysis of measurable security and privacy. This MM approach is used in a.o. UNIK4750, and described more in IoTSec:T1.2. Some challenges of the method are related to the choice of metrics describing security functionality and their impact of the system. A further potential weakness is the dependency of system components, called "interconnection".
Embedded Systems (ES) becomes increasingly popular in modern times. This popularity increases the importance of the security for these systems. The reliable evaluation of the ES`s security is considered as a crucial requirement for the enhancement of its security.
Future Homes will have one or several gateways to information on the Internet. Norway will introduce Smart Meters by 2019, giving the opportunity to develop new services on top of this infrastructure. Current regulations suggest a reading of power values 1/hour, or in maximum every 15 min. Given a high-frequency reading of power consumption (1/s, 1/2s, 1/min) might give an opportunity to introduce new services. One of such services is the virtual fall sensor, establishing a probability of an abnormal situation with the readings from e.g. power consumption. Such an analysis, comparing the habits/profile of the user with the actual consumption, is suggested to be performed in the home of the user, and thus preserve privacy.
The Consumer Services of Norway (Forbrukerrådet) have established a report on privacy in Apps "App-Fail". In there they have found breach of privacy by apps. They identified a lack of "understandable privacy" as the main challenge.
The electric grid is undergoing changes. Natural resources like sun and wind contribute to the production of energy.
We have seen a variety of cities providing free wifi for their inhabitants. However, when providing the full Internet without authentication, you run the risk of criminal activities to happen using that free Wifi. When you run authentication, it makes access cumbersome. Thus, the idea is to provide free low-capacity Internet without authentication, which would allow you to only consume information (no file download, no gaming, no streaming/video). With the knowledge of risk assessment, the candidate should be able to evaluate the security of such an open access.
Within January 2019 all electricity customers in Norway will have to use smart meters. These smart meters will become part of the ”Avanserte Måle- og Styringssystemer” (Automatic Meter Systems - AMS), and include that users can have a better information on their electricity usage, a more accurate billing of their consumption and the opportunity for automatic controlling of the power consumption. Pilots have already been running at several places in Norway. Academia, Grid distributors, Industry, and Consumer Organisations have joined through the IoTSec.no initiative to discuss security and privacy related to the services and infrastructures in an AMS.
IoT involves many kinds of small devices with limited capabilities. In consequence different programming concerns are raised, as opposed to classic object-oriented programming. Many of the languages are more low-level, like C or nesC (of Contiki or TinyOS) and less easy to master. In this project you will use a different approach, based on modelling and automatic code generation. The tool that will be used is the QP-nano. This is specially designed for resource constrained systems. The tool is part of a tool suite coming from QuantumLeaps and has also a book written about it, which the student will study.