Mitigating Security Vulnerabilities in 6G Networks: A Comprehensive Analysis of the DMRN Protocol Using SVO Logic and ProVerif von You, Ilsun, Kim, Jiyoon, Pawana, I Wayan Adi Juliawan, Ko, Yongho

Volltext

Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option von Ko, Yongho, Pawana, I Wayan Adi Juliawan, Won, Taeho, Astillo, Philip Virgil, You, Ilsun

Volltext

Developing Mathematical Devices with Characteristics Realistic Mathematics Education von Wewe, Melkior, Juliawan, I Wayan

Volltext

Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques von Ko, Yongho, I Wayan Adi Juliawan Pawana, You, Ilsun

Volltext

Harnessing GAN to Create Realistic FBS(False Base Station) Attack Data in 5G von Park, Yeongshin, Pawana, I Wayan Adi Juliawan, Kim, Bonam, You, Ilsun

Volltext

Identifikasi Kandidat Microservices Dengan Analisis Domain Driven Design von Juliawan Pawana, I Wayan Adi, Wiharta, Dewa Made, Sastra, Nyoman Putra

Volltext