F.A. Kuipers
Please Note
49 records found
1
The motivation for MoMQ stems from the limitations of single-path transport for emerging real-time media applications. High-resolution video, ultra-low-latency cloud gaming, and high-frame-rate video conferencing increasingly approach the performance limits of a single network path. Multipath QUIC provides a standards-compliant transport substrate that can aggregate heterogeneous network resources and improve resilience, making it a necessary building block for future real-time media systems.
However, transport-layer-only multipath scheduling is insufficient to meet the strict latency and quality requirements of real-time media without guidance from application semantics.
MoMQ bridges this gap by exposing a controlled interface through which applications can express delivery preferences, while preserving MoQT’s decoupled relay architecture. As a result, MoMQ can flexibly support diverse real-time applications, including live streaming and video conferencing, without binding relays to specific application logic.
To evaluate the proposed design, this thesis analyzes the stringent requirements of video conferencing under advanced encoding strategies such as Scalable Video Coding (SVC) and derives MoMQ scheduling policies accordingly. A prototype system is implemented and deployed in a real-world multipath environment consisting of a terrestrial WiFi link (representative of typical 4G LTE characteristics) and a Low Earth Orbit (LEO) satellite link. Transport-only baseline measurements confirm that existing multipath schedulers fail to improve upon single-path tail latency, motivating the need for application-level scheduling guidance. Four declarative MoMQ rules addressing P-frame interleaving, reconfiguration avoidance, dependency co-location, and cost-sensitive path preference collectively reduce P99.9 frame completion time by 39% compared to the best single-path baseline and by 63% compared to the best transport-only multipath scheduler, while routing only approximately 8% of traffic over the metered backup path. ...
The motivation for MoMQ stems from the limitations of single-path transport for emerging real-time media applications. High-resolution video, ultra-low-latency cloud gaming, and high-frame-rate video conferencing increasingly approach the performance limits of a single network path. Multipath QUIC provides a standards-compliant transport substrate that can aggregate heterogeneous network resources and improve resilience, making it a necessary building block for future real-time media systems.
However, transport-layer-only multipath scheduling is insufficient to meet the strict latency and quality requirements of real-time media without guidance from application semantics.
MoMQ bridges this gap by exposing a controlled interface through which applications can express delivery preferences, while preserving MoQT’s decoupled relay architecture. As a result, MoMQ can flexibly support diverse real-time applications, including live streaming and video conferencing, without binding relays to specific application logic.
To evaluate the proposed design, this thesis analyzes the stringent requirements of video conferencing under advanced encoding strategies such as Scalable Video Coding (SVC) and derives MoMQ scheduling policies accordingly. A prototype system is implemented and deployed in a real-world multipath environment consisting of a terrestrial WiFi link (representative of typical 4G LTE characteristics) and a Low Earth Orbit (LEO) satellite link. Transport-only baseline measurements confirm that existing multipath schedulers fail to improve upon single-path tail latency, motivating the need for application-level scheduling guidance. Four declarative MoMQ rules addressing P-frame interleaving, reconfiguration avoidance, dependency co-location, and cost-sensitive path preference collectively reduce P99.9 frame completion time by 39% compared to the best single-path baseline and by 63% compared to the best transport-only multipath scheduler, while routing only approximately 8% of traffic over the metered backup path.
In these environments where traffic patterns change rapidly, signal qualities fluctuate unpredictably and cost/availability of resources is uncertain, it becomes apparent that static control rules and legacy mechanisms built on heuristics are poorly suited. In this context, the evolution of mobile network architectures, particularly the emergence of open Radio Access Network (RAN), represents a necessary and enabling change. The O-RAN Alliance, for example, is a global initiative aimed at softwarizing and standardizing RANs to improve their performance, reduce costs, and lower the entry barrier for a broader vendor ecosystem. It enables scalable, datadriven control loops that can be implemented centrally by intelligent controllers and enforced at different time scales, namely, near-real-time (near-RT) and non-real-time (non-RT). In this way, it becomes possible to embed online learning solutions in the RAN itself, where data are collected and used for effective and robust learning.
This dissertation responds to these challenges by developing online (meta-) learning algorithms for two coupled control layers in O-RAN: (i) mobility management (via user-cell association and traditional/conditional handovers) and (ii) resource allocation (via threshold, non-RT policies) for virtualized base stations. Online learning provides a principled way to make sequential decisions under uncertainty, and online meta-learning enables the system to combine various (online) learners, each tailored for different environments, achieving both effectiveness, which translates to high performance under all conditions, as well as robustness, which ensures this high performance without knowing precisely the conditions. All proposed methods deliver operation guarantees under all conditions (from stationary to even adversarial dynamics), as well as practical gains on country-scale operator data and O-RAN-compatible testbeds.
...
In these environments where traffic patterns change rapidly, signal qualities fluctuate unpredictably and cost/availability of resources is uncertain, it becomes apparent that static control rules and legacy mechanisms built on heuristics are poorly suited. In this context, the evolution of mobile network architectures, particularly the emergence of open Radio Access Network (RAN), represents a necessary and enabling change. The O-RAN Alliance, for example, is a global initiative aimed at softwarizing and standardizing RANs to improve their performance, reduce costs, and lower the entry barrier for a broader vendor ecosystem. It enables scalable, datadriven control loops that can be implemented centrally by intelligent controllers and enforced at different time scales, namely, near-real-time (near-RT) and non-real-time (non-RT). In this way, it becomes possible to embed online learning solutions in the RAN itself, where data are collected and used for effective and robust learning.
This dissertation responds to these challenges by developing online (meta-) learning algorithms for two coupled control layers in O-RAN: (i) mobility management (via user-cell association and traditional/conditional handovers) and (ii) resource allocation (via threshold, non-RT policies) for virtualized base stations. Online learning provides a principled way to make sequential decisions under uncertainty, and online meta-learning enables the system to combine various (online) learners, each tailored for different environments, achieving both effectiveness, which translates to high performance under all conditions, as well as robustness, which ensures this high performance without knowing precisely the conditions. All proposed methods deliver operation guarantees under all conditions (from stationary to even adversarial dynamics), as well as practical gains on country-scale operator data and O-RAN-compatible testbeds.
Gen-AI Meets Domain Expertise: LLMs for Domain Specific Code Generation
A study conducted at the ASML leveling department
Simulating and Analyzing the Performance of TCP Under Extreme Conditions
Impact of SDN-induced routing changes on TCP BBR
Simulating and Analyzing the Performance of TCP Under Extreme Conditions
Evaluating the Impact of L4S on TCP Performance
scalable ECN-based congestion control (e.g., TCP Prague) with a Dual-Queue AQM such as DualPI2 to separate low-latency and classic traffic.
This paper evaluates how L4S behaves under stressful network conditions using an extended ns-3
testbed with DualPI2, TCP Prague, and ECNenabled BBRv3. We test five scenarios: RTT jitter, bandwidth shifts, mixed traffic, wireless loss, and scalable-to-scalable coexistence.
Our results show that TCP Prague consistently delivers low delay and stable throughput, whereas
legacy TCP Cubic shows elevated and more variable delay—especially under jitter and in shared
queues. ECN-BBRv3 coexists cleanly with Prague, but when Cubic and Prague share a queue, Prague dominates bandwidth. L4S thus meets its latency goals, but fairness with classic TCP remains an open issue.
...
scalable ECN-based congestion control (e.g., TCP Prague) with a Dual-Queue AQM such as DualPI2 to separate low-latency and classic traffic.
This paper evaluates how L4S behaves under stressful network conditions using an extended ns-3
testbed with DualPI2, TCP Prague, and ECNenabled BBRv3. We test five scenarios: RTT jitter, bandwidth shifts, mixed traffic, wireless loss, and scalable-to-scalable coexistence.
Our results show that TCP Prague consistently delivers low delay and stable throughput, whereas
legacy TCP Cubic shows elevated and more variable delay—especially under jitter and in shared
queues. ECN-BBRv3 coexists cleanly with Prague, but when Cubic and Prague share a queue, Prague dominates bandwidth. L4S thus meets its latency goals, but fairness with classic TCP remains an open issue.
An experimental evaluation of TCP startup algorithms
How do flow startup mechanisms impact the performance of TCP?
Investigating the Impact of ACK Aggregation on TCP Performance using ns-3
Evaluation of Transport and MAC-Layer Aggregation Techniques
mechanisms with congestion control strategies carefully. ...
mechanisms with congestion control strategies carefully.
...
HSTS-Enforced
Enhancing HTTP Strict Transport Security through Secure-by-Default Principles
In this thesis, we present HSTS-Enforced, an alternative to traditional HSTS. HSTS-Enforced effectively prevents downgrade attacks by employing a Secure-by-Default approach. Website administrators can explicitly opt out of security by specifying an HTTP-Required indicator. We propose two indicators: a new DNSSEC record and the HTTP-Required Preload list.
We demonstrate the effectiveness of HSTS-Enforced, through the creation and validation of a protocol implementation encompassing both client and server-side components. Our evaluation reveals that HSTS-Enforced eliminates the vulnerabilities found in conventional HSTS. Additionally, we show that while enhancing security, HSTS-Enforced imposes a minimal load on all involved components (i.e., client, network, and server). ...
In this thesis, we present HSTS-Enforced, an alternative to traditional HSTS. HSTS-Enforced effectively prevents downgrade attacks by employing a Secure-by-Default approach. Website administrators can explicitly opt out of security by specifying an HTTP-Required indicator. We propose two indicators: a new DNSSEC record and the HTTP-Required Preload list.
We demonstrate the effectiveness of HSTS-Enforced, through the creation and validation of a protocol implementation encompassing both client and server-side components. Our evaluation reveals that HSTS-Enforced eliminates the vulnerabilities found in conventional HSTS. Additionally, we show that while enhancing security, HSTS-Enforced imposes a minimal load on all involved components (i.e., client, network, and server).
Addressing this challenge, we propose in this work the concept of differentiated deployment, which allows online games to selectively manage and scale online-game systems with fine granularity in response to changes in available resources. We design Polka, a framework for online games which supports differentiated deployment. We then implement PolkaDOTS, an open-source proof of concept of the Polka framework built in an industry standard game development ecosystem.
We evaluate our approach using Dither, a custom-built experiment runner for large scale distributed experiments on online games. We use Dither to perform real-world experiments on a representative Minecraft-like Game, Opencraft 2, built on the PolkaDOTS stack, and analyze the impact of various differentiated deployment scenarios. From these experiments, we find that differentiated deployment can decrease performance variability of online-game servers, and decrease the response time experienced by players by up to 32%. Most importantly, we show that differentiated deployment enables novel deployment techniques, including switching from local rendering to cloud-based rendering (i.e., cloud gaming) at runtime. ...
Addressing this challenge, we propose in this work the concept of differentiated deployment, which allows online games to selectively manage and scale online-game systems with fine granularity in response to changes in available resources. We design Polka, a framework for online games which supports differentiated deployment. We then implement PolkaDOTS, an open-source proof of concept of the Polka framework built in an industry standard game development ecosystem.
We evaluate our approach using Dither, a custom-built experiment runner for large scale distributed experiments on online games. We use Dither to perform real-world experiments on a representative Minecraft-like Game, Opencraft 2, built on the PolkaDOTS stack, and analyze the impact of various differentiated deployment scenarios. From these experiments, we find that differentiated deployment can decrease performance variability of online-game servers, and decrease the response time experienced by players by up to 32%. Most importantly, we show that differentiated deployment enables novel deployment techniques, including switching from local rendering to cloud-based rendering (i.e., cloud gaming) at runtime.
Providing this control is the aim of this thesis. Users can control their route by specifying requirements that their route has to fulfill. This thesis defines the Maximum Path Requirement Intersection (MPRI) problem as the problem of finding the route that satisfies as many of the user’s requirements as possible, and this thesis proves that MPRI is NP-hard. Subsequently, both a heuristic to solve the problem in a reasonable amount of time as well as an exact algorithm that guarantees to find the globally best path are introduced. The performance of the heuristic is measured relative to the globally optimal solution given by the exact algorithm. Results show that less features allow the heuristic to have a larger search space, which improves the results; that the runtime of the heuristic scales polynomially in the number of hops between the start and end node; that the heuristic is most effective in graphs that have a power-law degree distribution and least effective in grid-like graphs; and that in a realistic setting the heuristic runs quickly while performing close to optimal. ...
Providing this control is the aim of this thesis. Users can control their route by specifying requirements that their route has to fulfill. This thesis defines the Maximum Path Requirement Intersection (MPRI) problem as the problem of finding the route that satisfies as many of the user’s requirements as possible, and this thesis proves that MPRI is NP-hard. Subsequently, both a heuristic to solve the problem in a reasonable amount of time as well as an exact algorithm that guarantees to find the globally best path are introduced. The performance of the heuristic is measured relative to the globally optimal solution given by the exact algorithm. Results show that less features allow the heuristic to have a larger search space, which improves the results; that the runtime of the heuristic scales polynomially in the number of hops between the start and end node; that the heuristic is most effective in graphs that have a power-law degree distribution and least effective in grid-like graphs; and that in a realistic setting the heuristic runs quickly while performing close to optimal.
The first protocol, "Lightweight security protocol instantiated using ASCON", leverages the ASCON family of cryptographic functions to ensure essential security properties while adhering to the constraints of ambient IoT devices. The protocol’s effectiveness is evaluated through simulations, focusing on computational efficiency compared to existing solutions.
The second protocol, "Data container-based security protocol", adopts a container-based approach to enhance interoperability and standardization across diverse ambient IoT device applications. This protocol facilitates seamless integration and compatibility among ambient IoT systems by encapsulating authentication and communication data within generic containers. The benefits of this approach are analyzed theoretically, highlighting its potential for standardization in heterogeneous 5G environments.
Together, these lightweight security protocols contribute to developing a secure and efficient ecosystem for ambient IoT devices within 5G networks. By addressing the challenges posed by resource-constrained devices and promoting interoperability, this thesis aims to enhance security and facilitate the widespread adoption of ambient IoT technologies in our increasingly connected world. ...
The first protocol, "Lightweight security protocol instantiated using ASCON", leverages the ASCON family of cryptographic functions to ensure essential security properties while adhering to the constraints of ambient IoT devices. The protocol’s effectiveness is evaluated through simulations, focusing on computational efficiency compared to existing solutions.
The second protocol, "Data container-based security protocol", adopts a container-based approach to enhance interoperability and standardization across diverse ambient IoT device applications. This protocol facilitates seamless integration and compatibility among ambient IoT systems by encapsulating authentication and communication data within generic containers. The benefits of this approach are analyzed theoretically, highlighting its potential for standardization in heterogeneous 5G environments.
Together, these lightweight security protocols contribute to developing a secure and efficient ecosystem for ambient IoT devices within 5G networks. By addressing the challenges posed by resource-constrained devices and promoting interoperability, this thesis aims to enhance security and facilitate the widespread adoption of ambient IoT technologies in our increasingly connected world.
Program Synthesis for Programmable Data Planes
Generating P4 code by input-output examples
The next step was brought by the emergence of the programmable switch architecture and P4, a language specifically designed for defining the behaviour of programmable network devices. P4 is a remarkably powerful language that allows the software developer to define almost any packet-processing functionality, all while abstracting away from the specifics of the target’s hardware architecture.
Despite its many benefits, P4 brings with it an additional layer of complexity for the network administrators, which may find themselves overwhelmed by having to learn a new programming language.
This report tackles this issue by presenting a prototype that is capable of synthesizing small P4 programs from pairs of input & output packets. Under the hood, the proposed solution uses a bottom-up enumerative synthesizer called Probe. This synthesizer was re-implemented, improved, and tailored to leverage the particularities of the problem domain.
...
The next step was brought by the emergence of the programmable switch architecture and P4, a language specifically designed for defining the behaviour of programmable network devices. P4 is a remarkably powerful language that allows the software developer to define almost any packet-processing functionality, all while abstracting away from the specifics of the target’s hardware architecture.
Despite its many benefits, P4 brings with it an additional layer of complexity for the network administrators, which may find themselves overwhelmed by having to learn a new programming language.
This report tackles this issue by presenting a prototype that is capable of synthesizing small P4 programs from pairs of input & output packets. Under the hood, the proposed solution uses a bottom-up enumerative synthesizer called Probe. This synthesizer was re-implemented, improved, and tailored to leverage the particularities of the problem domain.
While the open flash storage interface of ZNS presents a plethora of opportunity in software optimization, current software support is in its early stages, leaving much of its potentials yet to be explored. In this work, we present msF2FS (multi-streamed F2FS), a file system with optimized ZNS integration, based on the de facto standard flash file system F2FS. msF2FS enhances the ZNS integration by leveraging the parallelism capabilities of ZNS SSD, and increasing the coordination between the file system and applications for data placement decision-making. The data placement coordination between file system and application reduces the sub-optimal data placement decisions made by the file system. Evaluations of msF2Fs show the benefit of the application and file system coordination, with the RocksDB application achieving up to 23.19% higher throughput as a result of optimized data placement. We make all developed code of msF2FS publicly available at https://github.com/nicktehrany/msF2FS.
...
While the open flash storage interface of ZNS presents a plethora of opportunity in software optimization, current software support is in its early stages, leaving much of its potentials yet to be explored. In this work, we present msF2FS (multi-streamed F2FS), a file system with optimized ZNS integration, based on the de facto standard flash file system F2FS. msF2FS enhances the ZNS integration by leveraging the parallelism capabilities of ZNS SSD, and increasing the coordination between the file system and applications for data placement decision-making. The data placement coordination between file system and application reduces the sub-optimal data placement decisions made by the file system. Evaluations of msF2Fs show the benefit of the application and file system coordination, with the RocksDB application achieving up to 23.19% higher throughput as a result of optimized data placement. We make all developed code of msF2FS publicly available at https://github.com/nicktehrany/msF2FS.
The main question this research attempts to answer, is whether a single compromised P4 switch can corrupt the entire (P4) network. In this scenario the attacker already has access to the compromised switch, and the assumption is made that all devices blindly trust each other. Two load balancing schemes are investigated, Clove-ECN and HULA. The former performs load balancing on the hosts, and results show that switches can transparently influence traffic flow by manipulating the ECN bits. The latter is designed for implementation on the data-plane, e.g. using P4, and we can conclude that HULA is susceptible to attacks by spoofing probe packets with false data. ...
The main question this research attempts to answer, is whether a single compromised P4 switch can corrupt the entire (P4) network. In this scenario the attacker already has access to the compromised switch, and the assumption is made that all devices blindly trust each other. Two load balancing schemes are investigated, Clove-ECN and HULA. The former performs load balancing on the hosts, and results show that switches can transparently influence traffic flow by manipulating the ECN bits. The latter is designed for implementation on the data-plane, e.g. using P4, and we can conclude that HULA is susceptible to attacks by spoofing probe packets with false data.
This paper describes certain attacks and mitigation techniques for them, such as DoS attacks and SYN-flood attacks. The paper will list existing defence techniques and enumerate their advantages and drawbacks. There will be two proof of concept detection and mitigation techniques in P4, and these implementations will be compared to already existing ones. The P4 implementations will be provided as well as comparison and performance graphs. ...
This paper describes certain attacks and mitigation techniques for them, such as DoS attacks and SYN-flood attacks. The paper will list existing defence techniques and enumerate their advantages and drawbacks. There will be two proof of concept detection and mitigation techniques in P4, and these implementations will be compared to already existing ones. The P4 implementations will be provided as well as comparison and performance graphs.