The fifth generation wireless system (5G) is expected to handle an unpredictable number of heterogeneous connected devices and to guarantee at least the same level of security provided by the contemporary wireless standards, including the Authentication and Key Agreement (AKA) protocol. The current AKA protocol has not been designed to efficiently support a very large number of devices. Hence, a n

The fifth generation wireless system (5G) is expected to handle with an unpredictable number of heterogeneous connected devices while guaranteeing a high level of security. This paper advances a groupbased Authentication and Key Agreement (AKA) protocol that contributes to reduce latency and bandwidth consumption, and scales up to a very large number of devices. A central feature of the proposed p

This paper presents the first results from the ongoing research project HASPOC, developing a high assurance virtualization platform for the ARMv8 CPU architecture. Formal verification at machine code level guarantees information isolation between different guest systems (e.g. OSs) running on the platform. To use the platform in networking scenarios, we allow guest systems to securely communicate w

This paper addresses the problem of protecting distributed IoT units from network based attacks while still having a high level of availability. In particular we suggest a novel method where the IoT device execution state is modeled with a suitable high level application model and where the execution state of the application of the IoT device is 'mirrored' in a cloud executed machine. This machine

The infrastructure cloud (IaaS) service model offers improved resource flexibility and availability, where tenants-insulated from the minutiae of hardware maintenance-rent computing resources to deploy and operate complex systems. Large-scale services running on IaaS platforms demonstrate the viability of this model; nevertheless, many organizations operating on sensitive data avoid migrating oper

DTLS is a transport layer security protocol designed to provide secure communication over unreliable datagram protocols. Before starting to communicate, a DTLS client and server perform a specific handshake in order to establish a secure session and agree on a common security context. However, the DTLS handshake is affected by two relevant issues. First, the DTLS server is vulnerable to a specific

Software-Defined Networking (SDN) is a novel architectural model for cloud network infrastructure, improving resource utilization, scalability and administration. SDN deployments increasingly rely on virtual switches executing on commodity operating systems with large code bases, which are prime targets for adversaries attacking the network infrastructure. We describe and implement TruSDN, a frame

Background: Risky consumption of alcohol is a global problem. More than 3.3 million deaths annually are associated with risky use of alcohol, and global alcohol consumption continues to increase. People who have high alcohol consumption often require planned and emergency surgical procedures. Risky drinking is associated with increased postoperative complications such as infections, cardiopulmonar

In this study, we explicitly examine the aerodynamics of manoeuvring flight in animals. We studied brown long-eared bats flying in a wind tunnel while performing basic sideways manoeuvres. We used particle image velocimetry in combination with high-speed filming to link aerodynamics and kinematics to understand the mechanistic basis of manoeuvres. We predicted that the bats would primarily use the

Intraspecific variation can have important consequences for the structure and function of ecological communities, and serves to link community ecology to evolutionary processes. Differences between the sexes are an overwhelmingly common form of intraspecific variation, but its community-level consequences have never been experimentally investigated. Here, we manipulate the sex ratio of a sexually

Knowing whether a software feature will be completed in its planned iteration can help with release planning decisions. However, existing research has focused on predictions of only low-level software tasks, like bug fixes. In this paper, we describe a mixed-method empirical study on three large IBM projects. We investigated the types of iteration changes that occur. We show that up to 54% of high

Climate change is driving species to shift their distributions toward high altitudes and latitudes, while habitat loss and fragmentation may hamper species ability to follow their climatic envelope. These two drivers of change may act in synergy, with particularly disastrous impacts on biodiversity. Protected areas, PAs, may thus represent crucial buffers against the compounded effects of climate

Carbonic anhydrases are ubiquitously expressed enzymes that reversibly hydrate carbon dioxide to bicar-bonate and protons. While the main function of carbonic anhydrases is to regulate pH and osmotic balance, their involvement in other physiological processes remains to be explored. This study analysed changes in mRNA and protein levels of carbonic anhydrase II in human primary keratinocytes treat

The NP-hard maximum rooted resolved triplets consistency problem (MRTC) takes as input a set [Formula presented] of leaf labels and a set [Formula presented] of resolved triplets over [Formula presented] and asks for a rooted phylogenetic tree that is consistent with the maximum number of elements in [Formula presented]. This article studies the approximability of a generalization of the problem c

Loss and fragmentation of semi-natural grasslands have had negative consequences for grassland biodiversity, such as butterflies. Urban parks and other urban green spaces have so far largely been overlooked as suitable butterfly habitats, although they could potentially sustain diverse butterfly populations over time. We analysed the temporal change in butterfly species assemblages in urban green

Aims: We assessed the changes in short- and long-term outcomes and their relation to implementation of new evidence-based treatments in all patients with non-ST-elevation myocardial infarction (NSTEMI) in Sweden over 20 years. Methods and results: Cases with NSTEMI (n = 205 693) between 1995 and 2014 were included from the nationwide Swedish Web-System for Enhancement and Development of Evidence-B

Microstructure evolution in magnetic materials is typically a non-local effect, in the sense that the behaviour at a material point depends on the magnetostatic energy stored within the demagnetisation field in the entire domain. To account for this, we propose a finite element framework in which the internal state variables parameterising the magnetic and crystallographic microstructure are treat

Background: Whole grain (WG) intake is associated with reduced risk of obesity, type 2 diabetes and cardiovascular disease, whereas type 2 diabetes increases the risk of cognitive decline and dementia. The purpose of this study was to investigate the effects of short-term intervention with WG rye on cognitive functions, mood and cardiometabolic risk markers in middle-aged test subjects. Method: Ry