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

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

Domain specific high-level synthesis for cryptographic workloads

Fault analysis in cryptography

Secure end-to-end encryption protokol komunikasi IoT dengan kriptografi lightweight berbasis block cipher = A novel secure end-to-end encryption scheme on IoT communication protocol with lightweight cryptography based on block cipher