Update students

Author: NetBender

_data/members.yml

@@ -28,14 +28,7 @@ current:
   students:
     - personId: FilippoGrilli
       type: M
-      topic: Security Analysis of Identity Managament Protocols
-      institution: University of Trento
-      yearFrom: 2025
-      yearTo: 2025
-
-    - personId: NizarNadif
-      type: B
-      topic: Context-free grammar for TLS validation
+      topic: Security Analysis of Identity Management Protocols
       institution: University of Trento
       yearFrom: 2025
       yearTo: 2025
@@ -463,6 +456,14 @@ former:
     - personId: AndreaBissoli
       thesisId: AndreaBissoli_B
 
+    - personId: NizarNadif
+      type: B
+      topic: Context-free grammar for TLS validation
+      institution: University of Trento
+      yearFrom: 2025
+      yearTo: 2025
+      thesisId: NizarNadif_B
+
   junior:
     - personId: YuriTomasini
       topic: Cybersecurity 101

_data/theses.yml

@@ -1059,4 +1059,15 @@
     - LauraCristiano
     - PietroDeMatteis
   year: 2025
+  institution: University of Trento
+
+- id: NizarNadif_B
+  title: "Validating TLS Implementations via Bytestream Parsing - A Context-Free Language Approach"
+  type: B
+  author: NizarNadif
+  supervisor: SilvioRanise
+  co-supervisor:
+    - SalvatoreManfredi
+    - RiccardoGermenia
+  year: 2025
   institution: University of Trento

_topics/TLS.md

@@ -21,6 +21,7 @@ theses:
     - FedericoCucino_B
     - RiccardoGermenia_B
     - AlessandroFontana_B
+    - NizarNadif_B
 ---
 
 Transport Layer Security (TLS) is a suite of cryptographic protocols designed to provide confidentiality, integrity and authentication to the parties communicating via an unsecure channel.