Showing 1 - 3 results of 3 for search 'Yongho Ko', query time: 0.01s Refine Results
  1. 1
    Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques

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

    Published 2024-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Fleet management for earthmoving operation in the phase of detail estimation using mixed integer nonlinear programming

    Fleet management for earthmoving operation in the phase of detail estimation using mixed integer nonlinear programming by Kheang Ngov, Yongho Ko, Jaeyun Noh, Sumin Lee, Seungwoo Han

    Published 2025-03-01
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option

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

    Published 2024-11-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: