Analisis Keamanan Protokol Kriptografi Pada Aplikasi Enkripsi Desktop Menggunakan Pendekatan V erifikasi Formal: Studi Keamanan pada Aplikasi ABC = Cryptographic Protocols Security Analysis in Desktop Encryption Application Using Formal Verification Approach: Security Studies in ABC Applications

Modifikasi Algoritma Advanced Encryption Standard (AES) Pada Proses SubBytes dan Mixcolumn Untuk Meningkatkan Performa dan Keamanan Pada Algoritma AES = Modification of Advanced Encryption Standard (AES) Algorithm on SubBytes and Mixcolumn Process to Improve Performance and Security in the AES Algorithm

Analisis Formal dan Perancangan Peningkatan Keamanan Protokol Kriptografi pada Aplikasi Manajemen Kunci XYZ = Formal Analysis and Design Security Improvement of Cryptographic Protocol in XYZ Key Management Applications

Analisis Komparatif dan Implementasi dari Sandi Blok AES dalam Bahasa C = Comparative Analysis and Implementation of AES Block Ciphers in C Language

Pengembangan Skema Baru Cryptographic Key Update untuk Meningkatkan Keamanan Protokol Long Range Wide Area Network (LoRaWAN) = The Development of New Cryptographic Key Updating Schemes to Improve the Security of Long Range Wide Area Network (LoRaWAN) Protocol