Filtyp
Faults and errors are common in the execution of digital controllers on top of embedded hardware. Researchers from the embedded system domain devised models to understand and bound the occurrence of these faults. Using these models, control researchers have demonstrated robustness properties of control systems, and of their corresponding digital implementations. In this paper, we build a framework
System level synthesis is a promising approach that formulates structured optimal controller synthesis problems as convex problems. This work solves the distributed linear-quadratic regulator problem under communication constraints directly in infinite-dimensional space, without the finite-impulse response relaxation common in related work. Our method can also be used to construct optimal distribu
Social influence is largely recognized as a key factor in opinion formation processes. Recently, the role of external forces in inducing opinion displacement and polarization in social networks has attracted significant attention. This is in particular motivated by the necessity to understand and possibly prevent interference phenomena during political campaigns and elections. In this paper, we fo
We present a new, scalable alternative to the structured singular value, which we call v, provide a convex upper bound, study their properties and compare them to l1 robust control. The analysis relies on a novel result on the relationship between robust control of dynamical systems and non-negative constant matrices.
Whereas theoretical attacks on standardized crypto primitives rarely lead to actual practical attacks, the situation is different for side-channel attacks. Improvements in the performance of side-channel attacks are of utmost importance.In this paper, we propose a framework to be used in key-recovery side-channel attacks on CCA-secure post-quantum encryption schemes. The basic idea is to construc
Hard learning problems are central topics in recent cryptographic research. Many cryptographic primitives relate their security to difficult problems in lattices, such as the shortest vector problem. Such schemes include the possibility of decryption errors with some very small probability. In this paper we propose and discuss a generic attack for secret key recovery based on generating decryption
BACKGROUND: The Xpert MTB/RIF Ultra (Xpert-Ultra) assay provides timely results with good sensitivity and acceptable specificity with stool specimens in children for bacteriological confirmation of tuberculosis (TB). This study aims to optimize the Simple One-Step (SOS) stool processing method for testing stool specimens using the Xpert-Ultra in children and adults in selected health facilities in
Human activities in coastal areas have intensified over the last 200 years, impacting also high-latitude regions such as the Baltic Sea. Benthic foraminifera, protists often with calcite shells (tests), are typically well preserved in marine sediments and known to record past bottom-water conditions. Morphological analyses of marine shells acquired by microcomputed tomography (µCT) have made signi
STOFFENMANAGER® and the Advanced REACH Tool (ART) are recommended tools by the European Chemical Agency for regulatory chemical safety assessment. The models are widely used and accepted within the scientific community. STOFFENMANAGER® alone has more than 37 000 users globally and more than 310 000 risk assessment have been carried out by 2020. Regardless of their widespread use, this is the first
This work proposes a novel design for secure cloud storage systems using a third party to meet three seemingly opposing demands: reduce storage requirements on the cloud, protect against erasures (data loss), and maintain confidentiality of the data. More specifically, we achieve storage cost reductions using data deduplication without requiring system users to trust that the cloud operates honest
Neural implicit representations have recently shown encouraging results in various domains, including promising progress in simultaneous localization and mapping (SLAM). Nevertheless, existing methods produce over- smoothed scene reconstructions and have difficulty scaling up to large scenes. These limitations are mainly due to their simple fully-connected network architecture that does not incorp
Low-dimensional parametric models are the de-facto standard in computer vision for intrinsic camera calibration. These models explicitly describe the mapping between incoming viewing rays and image pixels. In this paper, we explore an alternative approach which implicitly models the lens distortion. The main idea is to replace the parametric model with a regularization term that ensures the latent
Firekite is a synchronous stream cipher using a pseudo-random number generator (PRNG) whose security is conjectured to rely on the hardness of the Learning Parity with Noise (LPN) problem. It is one of a few LPN-based symmetric encryption schemes, and it can be very efficiently implemented on a low-end SoC FPGA. The designers, Bogos, Korolija, Locher and Vaudenay, demonstrated appealing properties
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
Side-channel resilience is a crucial feature when assessing whether a postquantum cryptographic proposal is sufficiently mature to be deployed. In this paper, we propose a generic and efficient adaptive approach to improve the sample complexity (i.e., the required number of traces) of plaintext-checking (PC) oracle-based sidechannel attacks (SCAs), a major class of key recovery chosen-ciphertext S
