Feedback

Faculté des Sciences appliquées
Faculté des Sciences appliquées
MASTER THESIS

Master thesis : Firewall polymorphism prototype architecture

Download
Faingnaert, Théo ULiège
Promotor(s) : Mathy, Laurent ULiège
Date of defense : 29-Jun-2026/30-Jun-2026 • Permalink : http://hdl.handle.net/2268.2/26116
Details
Title : Master thesis : Firewall polymorphism prototype architecture
Author : Faingnaert, Théo ULiège
Date of defense  : 29-Jun-2026/30-Jun-2026
Advisor(s) : Mathy, Laurent ULiège
Committee's member(s) : Leduc, Guy ULiège
Boigelot, Bernard ULiège
Language : English
Keywords : [en] firewall
[en] polymorphism
[en] XDP
[en] BPF
Discipline(s) : Engineering, computing & technology > Computer science
Institution(s) : Université de Liège, Liège, Belgique
Degree: Master : ingénieur civil en informatique, à finalité spécialisée en "computer systems security"
Faculty: Master thesis of the Faculté des Sciences appliquées

Abstract

[en] Modern firewall clusters provide redundancy against hardware failure but not against implementation-level attacks: a cluster of N identical instances is no harder to bypass than a single one. This thesis proposes firewall polymorphism, an architecture that addresses availability, throughput, and software diversity simultaneously.

The design encloses a set of heterogeneous, unmodified firewall instances inside a demilitarised zone bounded by two purpose-built components: a load balancer on the client side and a controller on the server side. The load balancer duplicates each incoming packet, forwarding a full copy to a hash-selected primary firewall and headers-only copies to all remaining instances. The controller collects the returning copies and implements a unanimity vote: a packet reaches the protected server only when every alive firewall has independently forwarded it. Because the firewalls share no state and may run different software or vendor implementations, an attacker must simultaneously bypass every instance to reach the server.

A heartbeat protocol detects firewall failures within a configurable timeout, adjusts the vote threshold dynamically, and reassigns flows to surviving instances without resetting connections. For established flows, an XDP kernel-level fast path bypasses AF_XDP userspace entirely, forwarding packets directly to the server interface via bpf_redirect.

The system is implemented using Linux XDP and AF_XDP and evaluated in a containerised topology. Correctness tests confirm that the voting and failover mechanisms behave as specified. Throughput measurements show the pipeline tracks a direct-path baseline closely up to approximately 500Mbit/s, a limit imposed by the single-threaded AF_XDP architecture of the prototype, with negligible overhead at lower rates.


File(s)

Document(s)

File
Access abstract_firewall_polymorphism.pdf
Description: Abstract of the master thesis
Size: 104.78 kB
Format: Adobe PDF
File
Access firewall_polymorphism_FAINGNAERT_Theo.pdf
Description: Report of the master thesis
Size: 2.52 MB
Format: Adobe PDF

Annexe(s)

File
Access git.txt
Description: link to code repository
Size: 40 B
Format: Text

Author

  • Faingnaert, Théo ULiège Université de Liège > Master ing. civ. inf. fin. spéc. comp. syst. secur

Promotor(s)

Committee's member(s)

  • Leduc, Guy ULiège Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
    ORBi View his publications on ORBi
  • Boigelot, Bernard ULiège Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique
    ORBi View his publications on ORBi








All documents available on MatheO are protected by copyright and subject to the usual rules for fair use.
The University of Liège does not guarantee the scientific quality of these students' works or the accuracy of all the information they contain.