Filtyp
Navigation with terrestrial wireless infrastructure is appealing to overcome geometrical limitations of satellite navigation for users in environments with limited sky views. However, terrestrial signals are also prone to multipath that can result in angular and range estimates that are not representative of actual transmitter-receiver geometry. In this paper, some of these propagation effects a
The Internet of Things (IoT) is a large network of connected devices. In IoT, devices can communicate with each other or back-end systems to transfer data or perform assigned tasks. Communication protocols used in IoT depend on target applications but usually require low bandwidth. On the other hand, IoT devices are constrained, having limited resources, including memory, power, and computational
Data analytics is regarded as an important function of 5G networks. The Network Data Analytics Function (NWDAF) is standardized in 3GPP to enhance 5G network performance by analyzing data from network functions and user equipment. Abnormal behavior detection, which is part of the NWDAF framework, has the potential to be a powerful tool to improve 5G network security. Despite this, only limited res
This thesis delves into integrating control systems into cloud environments, leading to the emergence of what is commonly referred to as cloud control systems (CCSs). These systems represent a paradigm shift, leveraging the cloud’s expansive storage and computing capabilities to optimize industrial operations. However, while promising in terms of efficiency and scalability, this transition introdu
Streaming applications, such as MPEG video encoders or sensor processing pipelines, are increasing in complexity as well as the diversity of platforms that they run on. The toolchains handling these applications must keep up with this increase at all levels of abstraction. The Actor Machine (AM) is an intermediate representation in the toolchain that we make use of. Large AMs are difficult to work
In this thesis, we address three main security problems related to cryptography andcloud storage. To tackle the challenge posed by a quantum computer, we needencryption that is resistant to quantum computers. This category of cryptographyis called post-quantum cryptography. In the first paper, we solve a challengein one of the lattice-based cryptographic protocols called Nth-degree Truncatedpolyno
We study the notion of anonymous credentials with Publicly Auditable Privacy Revocation (PAPR). PAPR credentials simultaneously provide conditional user privacy and auditable privacy revocation. The first property implies that users keep their identity private when authenticating unless and until an appointed authority requests to revoke this privacy, retroactively. The second property enforces th
This book constitutes the refereed proceedings of the 14th International Workshop on Post-Quantum Cryptography, PQCrypto 2022, held in College Park, MD, USA, in August 14–18, 2023.The 25 full papers presented in this book were carefully reviewed and selected from 51 submissions. They are categorized in the following topical sections: code-based cryptography; group-action-based cryptography; isogen
Pseudo-random functions are a fundamental building block in many cryptographic applications. In certain scenarios, a weaker notion (where security is restricted to uniformly random input), but more computationally efficient, called weak pseudo-random functions, is sufficient. In this work, we present new differential attacks on the main binary weak pseudo-random function constructions, namely the
This paper explores acceleration of the finite element-boundary integral hybrid method using the adaptive cross approximation. Our code implementing the hybrid method in Python based on open source packages is briefly presented. A simple one-level version of the adaptive cross approximation is described and it is used to accelerate the boundary integral matrices. We present results for scattering
We designed and simulated a 1 GHz planar dipole antenna that is cloaked in a band around 10 GHz. Relative to an uncloaked antenna it has a reduced extinction cross-section for the co-antenna polarization, at the cost of an increased cross-polarization. This reduced extinction cross-section characterizes a reduction in scattering and absorption, and so reduced interference to electromagnetic waves
Connected and automated vehicles (CAVs) will be a key component of future cooperative intelligent transportation systems (C-ITS). Since the adoption of C-ITS is not foreseen to happen instantly, not all of its elements are going to be connected at the early deployment stages. We consider a scenario where vehicles approaching a traffic light are connected to each other, but the traffic light itself
The rapid development of containerization technology comes with remarkable benefits for developers and operation teams. Container solutions allow building very flexible software infrastructures. Although lots of efforts have been devoted to enhancing containerization security, containerized environments still have a huge attack surface. Completely avoiding severe security issues have so far not be
We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erdős-Rényi random graphs, are 3-colourable.
We prove that unary Sherali-Adams requires proofs of size nΩ(d) to rule out the existence of an nΘ(1)-clique in Erdős-Rényi random graphs whose maximum clique is of size d ≤ 2 log n. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be of independent interest. The technique involves
This thesis embarks on a journey in the advancement of urban traffic management, centering around the innovative integration of Autonomous Intersection Management (AIM) systems. The research encompasses a comprehensive exploration of various facets of AIM implementation, significantly contributing to the evolution of a more efficient and safer urban transport system.The research investigates the d
Electromagnetic vector spherical waves have been used recently to model antenna-channel interaction and the available degrees of freedom in multiple-input-multiple-output (MIMO) systems. However, there are no previous accounts of a method to estimate spherical wave coefficients from channel measurements. One approach for this, using a 3-D positioner, is presented and analyzed in this letter. Measu
