Master thesis : Firewall polymorphism prototype architecture
Faingnaert, Théo
Promoteur(s) :
Mathy, Laurent
Date de soutenance : 29-jui-2026/30-jui-2026 • URL permanente : http://hdl.handle.net/2268.2/26116
Détails
| Titre : | Master thesis : Firewall polymorphism prototype architecture |
| Auteur : | Faingnaert, Théo
|
| Date de soutenance : | 29-jui-2026/30-jui-2026 |
| Promoteur(s) : | Mathy, Laurent
|
| Membre(s) du jury : | Leduc, Guy
Boigelot, Bernard
|
| Langue : | Anglais |
| Mots-clés : | [en] firewall [en] polymorphism [en] XDP [en] BPF |
| Discipline(s) : | Ingénierie, informatique & technologie > Sciences informatiques |
| Institution(s) : | Université de Liège, Liège, Belgique |
| Diplôme : | Master : ingénieur civil en informatique, à finalité spécialisée en "computer systems security" |
| Faculté : | Mémoires de la Faculté des Sciences appliquées |
Résumé
[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.
Fichier(s)
Document(s)
abstract_firewall_polymorphism.pdf
Description: Abstract of the master thesis
Taille: 104.78 kB
Format: Adobe PDF
firewall_polymorphism_FAINGNAERT_Theo.pdf
Description: Report of the master thesis
Taille: 2.52 MB
Format: Adobe PDF
Annexe(s)
Citer ce mémoire
L'Université de Liège ne garantit pas la qualité scientifique de ces travaux d'étudiants ni l'exactitude de l'ensemble des informations qu'ils contiennent.

Master Thesis Online

