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

Pengembangan Aplikasi Cloud Storage dengan Skema Proxy Re-encryption untuk Keamanan Data = Development of a Cloud Storage Application with Proxy Re-encryption Scheme for Data Security

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