Filetype
Human physiology is the study of how organisms, organ systems, and individual organs function under normal circumstances. As a consequence of its paramount importance to medicine, physiology has been studied since ancient times, but the models studied in this book follow the tradition of modern physiology pioneered by Claude Bernard in the mid 1800s.The focus of the book lies on how dynamical mech
Pharmacometric modeling plays an important role in drug development and personalized medicine. Pharmacometric covariate models can be used to describe the relationships between patient characteristics (such as age and weight) and pharmacokinetic (PK) parameters. Traditionally, the functional structure of these relationships are obtained manually. This is a time-consuming task, and consequently lim
We present a methodology for establishing the existence of quadratic Lyapunov inequalities for a wide range of first-order methods used to solve convex optimization problems. In particular, we consider (i) classes of optimization problems of finite-sum form with (possibly strongly) convex and possibly smooth functional components, (ii) first-order methods that can be written as a linear system on
By measuring brain activity, through techniques such as electroencephalography (EEG), it is possible to decode which sound source a person is listening to, called auditory attention decoding (AAD). This can either be done investigating the relation between speech sources and corresponding brain responses over time, or by discrimi-natively estimating directions to which auditory attention is focuse
This paper serves as a first identification step in a two-step model-based control synthesis problem of switched linear systems (SLSs). More precisely, we present an algorithm that addresses the realization of the multi-input/multi-output MIMO-SLSs from Markov parameters under mild assumptions on the dwell-times and the submodels. A key point of the proposed approach is the introduction of the for
In this paper, we propose a framework to iden-tify discrete-time, multi-input/multi-output (MIMO), switched-linear systems (SLSs) from input-output data. The key step is an observer-based transformation to a switched auto-regressive with exogenous input (SARX) model. This transformation has a nontrivial kernel complicating identification, but converts the state-space identification problem to SARX
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
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
In the last column, we promised to return to one of the inevitable challenges that vibe coding leaves us with. At the AI Engineer World’s Fair 2025, OpenAI’s Sean Grove claimed that whoever writes the specification is now the programmer since AI can take it from there. Sounds amazing, but what gets lost along the way? To explore this, I’m joined by Jan-Philipp Steghöfer, a researcher at XITASO and
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 construct
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
It is a common practice for symmetric-key ciphers is to encode a cryptanalysis problem as an instance of the Mixed Integer Linear Programming (MILP) and then run the instance with an efficient solver. For this purpose, it is essential to model the components in a way that is compatible with the MILP formulation while preserving the characteristics of the cipher. In this work, we look at the proble
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
