Filtyp
After the COVID-19 pandemic, during which teachers developed a lot of online course material, teachers worldwide are challenged with how to combine online teaching with classroom teaching in an efficient way. This paper presents Discussion seminars, a teaching activity that structures discussions clearly, making it easy for students and teachers to follow the discussion. The paper puts Discussion
We study the problem of obtaining lower bounds for polynomial calculus (PC) and polynomial calculus resolution (PCR) on proof degree, and hence by [Impagliazzo et al.'99] also on proof size. [Alekhnovich and Razborov'03] established that if the clause-variable incidence graph of a conjunctive normal form (CNF) formula F is a good enough expander, then proving that F is unsatisfiable requires high
The analysis of interconnected systems is a large and growing field, with successful applications in a wide range of natural and synthesized systems. Biomolecular networks, power grids and human social dynamics have all been the subject of study through the lens of network dynamics, with impressive results. The work presented in this thesis takes the form of four research papers all focusing in di
In this paper we propose a technique to enhance the performance of a Proportional-Integral-Derivative (PID)-based control structure for Depth-of-Hypnosis control in total intravenous anesthesia when set-point changes are required during the maintenance phase. In particular, the PID controller, tuned for disturbance rejection, is integrated with a feedforward action based on Model Predictive Contro
Effective preprocessing of electroencephalography (EEG) data is fundamental for deriving meaningful insights. Independent component analysis (ICA) serves as an important step in this process by aiming to eliminate undesirable artifacts from EEG data. However, the decision on which and how many components to be removed remains somewhat arbitrary, despite the availability of both automatic and manua
In this paper, we introduce OT-PCA, a novel approach for conducting Plaintext-Checking (PC) oracle based side-channel attacks, specifically designed for Hamming Quasi-Cyclic (HQC). By calling the publicly accessible HQC decoder, we build offline templates that enable efficient extraction of soft information for hundreds of secret positions with just a single PC oracle call. Our method addresses cr
In this thesis, we provide a number of novel algebraic means of certifying stability and performance for linear systems constrained in various ways by cones. The purpose is mainly threefold: to provide mathematical statements with applicative potential, to unify seemingly dissimilar results in the literature and thereby increase understanding, and to advance the state of the art on dynamical syste
Two-view estimation is a fundamental problem in 3D computer vision, and an important sub-task of multi-view estimation pipelines such as Structure-from-Motion (SfM) and Simultaneous Localization and Mapping (SLAM). In recent years, the main focus in the field has been on keypoint-based methods, where interest points are first detected and matched across the two images, followed by robust estimatio
Exceptional are the instances where explicit solutions to optimal control problems are obtainable. Of particular interest are the explicit solutions derived for minimax problems, as they provide a framework for addressing challenges involving adversarial conditions and uncertainties. This thesis presents explicit solutions to a novel class of minimax optimal control problems for positive linear sy
In this paper, we introduce an oracle version of the Restricted Syndrome Decoding Problem (RSDP) and propose novel authentication protocols based on the hardness of this problem. They follow the basic structure of the HB-family of authentication protocols and later improvements but demonstrate several advantages.An appropriate choice of multiplicative subgroup and ring structure gives rise to a ve
The evolution of the fifth-generation network (5G) increases the demand and use of Internet of Things (IoT) devices extensively. The increased number of IoT devices increases the possibility of new attack surfaces, and thus even resource-constrained IoT devices need secure communication. In this work, we consider the Julia Key Agreement (JKA) protocol, which has been proposed as a secure and effic
This thesis investigates scalable control design for networked dynamical systems, which are of great importance due to their wide range of practical applications, including large-scale formation control. A central challenge in such systems is enabling agents to coordinate effectively based only on local and relative information, particularly as the system size increases. To address this, the thesi
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
This thesis discusses novel results in the area of code-based cryptography, ranging from cryptanalyses on several code-based cryptographic constructions to proposing a code-based authentication scheme based on a novel Syndrome Decoding variant.To address the looming threat of large-scale quantum computers that wouldbreak many widely-used public-key cryptosystems, the National Institute of Stan-dar
Aerosols from volcanic eruptions impact our climate by influencing the Earth's radiative balance. The degree of their climate impact is determined by the location and injection altitude of the volcanic SO2. To investigate the importance of utilizing correct injection altitudes, we ran climate simulations of the June 2009 Sarychev eruptions with three SO2 datasets in the Community Earth System Mode
We study dynamics in a network of interacting agents updating their binary states according to a time-varying threshold rule. Specifically, agents revise their state asynchronously by comparing the weighted average of the current states of their neighbors in the interaction network with possibly heterogeneous time-varying threshold values. Such thresholds are determined by an exogenous signal repr
We propose and study a weakly convergent variant of the forward-backward algorithm for solving structured monotone inclusion problems. Our algorithm features a per-iteration deviation vector, providing additional degrees of freedom. The only requirement on the deviation vector to guarantee convergence is that its norm is bounded by a quantity that can be computed online. This approach offers great
Cyber-physical Systems (CPSs) are often safety-critical and deployed in uncertain environments. Identifying scenarios where CPSs do not comply with requirements is fundamental but difficult due to the multidisciplinary nature of CPSs. We investigate the testing of control-based CPSs, where control and software engineers develop the software collaboratively. Control engineers make design assumption
New particle formation via the ion-mediated sulfuric acid and ammonia molecular clustering mechanism remains the most widely observed and experimentally verified pathway. Recent laboratory and molecular level observations indicate iodine-driven nucleation as a potentially important source of new particles, especially in coastal areas. In this study, we assess the role of iodine species in particle
