Filetype
The Restricted Syndrome Decoding Problem (RSDP) is a variant of the well-known syndrome decoding problem. It has been recently turned into a post-quantum signature scheme named CROSS by Baldi et al.. It is a scheme highlighted for being computationally friendly and providing a compact signature and public key size. This paper investigates an Oracle-based definition of the RSDP that has already pro
We study an information design problem to reduce congestion in transportation networks. In presence of an uncertain network state, the central planner may sends private signals to the users, with the goal of steering the user equilibrium towards the system optimum flow. We consider private signals and provide sufficient conditions under which optimality may be achieved by information provision in
We deal with a control problem for a complex social network in which each agent has an action and an opinion, evolving according to a coevolutionary model. In particular, we consider a scenario in which a committed minority - a set of stubborn nodes - aims to steer a population, initially at a consensus, to a different consensus state. Our study focuses on determining the conditions under which su
Variance-reduced stochastic gradient methods have gained popularity in recent times. Several variants exist with different strategies for storing and sampling gradients, and this work concerns the interactions between these two aspects. We present a general proximal variance-reduced gradient method and analyze it under strong convexity assumptions. Special cases of the algorithm include SAGA, L-SV
In this technical note, we introduce a novel approach to studying consensus of continuous-time nonlinear systems with varying topology based on Hilbert metric. We demonstrate that this metric offers significant flexibility in analyzing consensus properties, while effectively handling nonlinearities and time dependencies. Notably, our approach relaxes key technical assumptions from some standard re
This thesis, comprising four research papers, contributes to the field of systematic and computer-aided analyses and design of first-order methods. The first two papers focus on developing new methodologies, while the remaining two apply these techniques to refine complexity and convergence results, as well as to design new methods. A central theme of the work is the use of Lyapunov-type analyses,
With the increase of devices connected to 5G services, the importance of tuning User Equipment (UE) to their assigned frequency slot becomes increasingly vital. This paper approached this issue by securing the control signals sent through a Serial Peripheral Interface (SPI) in digital beamforming radios. This was done by securing three distinct components: the transmitting end of the channel, the
When patients experience peripheral vestibular or certain central disorders causing dizziness or vertigo, this is sometimes associated with experiencing also disrupted spatial orientation, which may be accentuated by exposure to a distorted visual environment. This study explores the impact of sensorimotor factors and sex on spatial orientation in sitting and standing positions. In the Rod-and-Fra
We develop a Lyapunov-based analysis of Korpelevich’s extragradient method and show that it achieves an o(1/k) last-iterate convergence rate of the constructed Lyapunov function. This Lyapunov function simultaneously upper bounds several standard measures of optimality, which allows our analysis to sharpen existing last-iterate convergence guarantees for these measures. Moreover, the same analysis
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
In this work, we introduce novel techniques for adapting the SCA-LDPC framework to NTRU-style Key Encapsulation Mechanisms (KEMs). Our approach significantly reduces the required measurements compared to prior analyses under similar oracle noise, validated through extensive simulations, and shows robustness against decision errors in the constructed oracle. Furthermore, we present the first docume
In this work, we introduce novel techniques for adapting the SCA-LDPC framework to conduct efficient plaintext-checking (PC) oracle-based side-channel attacks on NTRU-style Key Encapsulation Mechanisms (KEMs). We specifically address the unique algebraic structure of the NTRU and NTRU Prime schemes, demonstrating how to extract information related to secret variables from side channels and modeled
As the Hamming Quasi-Cyclic (HQC) cryptosystem was recently selected by NIST for standardization, a thorough evaluation of its implementation security is critical before its widespread deployment. This paper presents single-trace side-channel attacks that recover the full long-term secret key of HQC, experimentally evaluated on a protected Cortex-M4 implementation. We introduce two distinct attack
This is the Replicated Computational Results (RCR) Report for the article “Testing Abstractions for Cyber-Physical Control Systems.” The article empirically studies how substituting different components in Cyber-Physical Systems (CPSs) testing with simulators impacts the fault-exposition. This RCR report describes the artefacts used in the article, how to use the testing setups used in the article
Quantum computing has attracted substantial attention from researchers across various fields. In case of the symmetric key cryptography, the main problem is posed by the application of Grover’s search. In this work, we focus on quantum analysis of the lightweight block cipher LED. This paper proposes an optimized quantum circuit for LED, minimizing the required number of qubits, quantum gates, and
In this paper, we investigate a Multi-layer Aerial system for GenAI inference at the Edge (MAGE). Therein, ground user equipments (UEs) request image synthesis services from a remote base station (BS) that leverages the Latent Diffusion Model (LDM) for image generation. Multiple Unmanned Aerial Vehicles (UAVs) are deployed to serve the UEs for relaying their images and prompts to the BS. To reduce
We explore mission assignment and task offloading in Open Radio Access Network (Open RAN)-enabled intelligent transportation systems (ITS), where autonomous vehicles utilize mobile edge computing for efficient processing. Existing studies often overlook mission dependencies and offloading costs, leading to suboptimal decisions. To address this, we formulate a novel optimization problem that integr
In computer graphics, there are numerous aspects that must be considered when rendering images of virtual scenes:What physical light-generating phenomena do we care about? How should object and material surfaces be described? And how should these be stored to ensure as fast and efficient image rendering as possible?As a part of this thesis, a method for rendering images of scenes lit by virtual at
