Filetype
In Brazil, the northeastern region (NEB) is considered one of the most vulnerable areas of the country in terms of precipitation variability due to frequent drought episodes during the rainy season. Differently from the Northern NEB (NNEB), where dry season is consistently dry, the Eastern NEB (ENEB) exhibits a high interannual variability of precipitation during the dry season, including years ex
The hippocampal formation has long been suggested to underlie both memory formation and spatial navigation. We discuss how neural mechanisms identified in spatial navigation research operate across information domains to support a wide spectrum of cognitive functions. In our framework, place and grid cell population codes provide a representational format to map variable dimensions of cognitive sp
Background: A crucial step in image fusion for intraoperative guidance during endovascular procedures is the registration of preoperative computed tomography angiography (CTA) with intraoperative Cone Beam CT (CBCT). Automatic tools for image registration facilitate the 3D image guidance workflow. However their performance is not always satisfactory. The aim of this study is to assess the accuracy
In this paper, we present the findings of a Universitas 21 (U21) Graduate Research Project collaboration between Pontificia Universidad Católica de Chile, the University of Nottingham, England, and Lund University, Sweden. This project brought together six doctoral candidates at various stages in their postgraduate careers. The students had conducted qualitative and quantitative inquiry into diver
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 fr
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
