Adi Shamir: Membangun Fondasi Kriptografi Kunci Publik Modern
Adi Shamir adalah seorang kriptografer dan periset asal Israel yang karyanya turut membangun keamanan informasi modern. Setelah meraih gelar matematika dari Tel Aviv University dan menyelesaikan gelar pascasarjana di bidang ilmu komputer di Weizmann Institute, ia melakukan penelitian di University of Warwick dan Massachusetts Institute of Technology.
Membangun RSA dan Kriptografi Perusahaan
Pada tahun 1982, Shamir bergabung dengan Rivest dan Adleman untuk mendirikan RSA Security, sebuah perusahaan yang berdedikasi mengembangkan standar enkripsi dan dekripsi. Berkantor pusat di Burlington, Massachusetts, perusahaan ini menciptakan produk keamanan komersial yang banyak digunakan, termasuk token autentikasi SecurID dan pustaka kriptografi BSAFE. Jejak korporat RSA juga berekspansi secara global, dengan mendirikan kantor regional di Bracknell, Inggris Raya, dan di Singapura. Perusahaan ini menarik minat komersial yang substansial pada dekade-dekade berikutnya: EMC Corporation mengakuisisi RSA pada tahun 2006 senilai 2,1 miliar dolar, diikuti oleh integrasinya ke dalam Dell Technologies pada tahun 2016, dan akuisisi senilai 2,1 miliar dolar pada tahun 2020 oleh kelompok investasi yang mencakup Symphony Technology Group, Ontario Teachers' Pension Plan Board, dan AlpInvest Partners.
Menemukan Protokol dan Membobol Sandi
Sambil mempertahankan posisi akademisnya di Weizmann Institute mulai tahun 1980 dan kemudian bergabung dengan École Normale Supérieure di Paris, Shamir terus menciptakan perangkat matematis esensial untuk kriptografi. Ia memperkenalkan skema pembagian rahasia Shamir (Shamir secret sharing scheme) dan, pada tahun 1984, mengusulkan kriptografi berbasis identitas (identity-based cryptography), yang memungkinkan kunci publik diturunkan secara langsung dari pengenal pribadi seperti alamat surel. Pada tahun 1986, bekerja sama dengan Amos Fiat, ia merancang heuristik Fiat-Shamir, sebuah pendekatan yang mengubah protokol identifikasi interaktif menjadi tanda tangan digital. Kontribusi kolaboratifnya juga menghasilkan skema identifikasi Feige-Fiat-Shamir dan, pada tahun 2001, konsep tanda tangan dering (ring signatures), yang mengizinkan anggota suatu kelompok untuk menandatangani catatan tanpa mengungkap identitas individu.
Selain membangun pertahanan baru, Shamir berulang kali mengevaluasi sistem yang sudah ada. Pada akhir tahun 1980-an, bersama Eli Biham, ia mengembangkan kriptanalisis diferensial (differential cryptanalysis), sebuah metode komprehensif untuk menganalisis sandi blok (block ciphers). Ia juga berhasil membobol kriptosistem ransel Merkle-Hellman. Pada tahun 2000, Shamir, Alex Biryukov, dan David Wagner mengungkap serangan waktu nyata (real-time attack) pada A5/1, sandi alir (stream cipher) yang mengamankan komunikasi seluler GSM. Setahun kemudian, bersama Scott Fluhrer dan Itsik Mantin, ia mendemonstrasikan serangan Fluhrer-Mantin-Shamir terhadap sandi alir RC4, yang mengekspos kerentanan kritis dalam protokol Wired Equivalent Privacy yang digunakan oleh jaringan Wi-Fi awal.
Menyelidiki Implementasi Fisik dan Saluran Samping
Shamir memperluas investigasi kriptanalitik melampaui rumusan matematis dengan menargetkan lingkungan fisik tempat algoritma dieksekusi. Ia menciptakan konsep perangkat keras seperti perangkat pemfaktoran TWINKLE dan TWIRL, mengembangkan kriptografi visual, serta menyelidiki kerentanan saluran samping (side-channel vulnerabilities), termasuk serangan berbasis tembolok (cache-based attacks). Pada tahun 2014, bekerja sama dengan Daniel Genkin dan Eran Tromer, ia membuktikan bahwa kunci kriptografi dapat dikumpulkan melalui analisis akustik. Dengan memantau sinyal akustik yang dihasilkan oleh laptop selama prosedur dekripsi, tim tersebut mengekstrak kunci RSA 4096-bit secara penuh, yang menggambarkan bagaimana emisi operasional dapat melemahkan perangkat lunak yang aman.
Teori Komputasi dan Kecerdasan Buatan
Shamir juga telah memajukan ilmu komputer fundamental dan sistem komputasi yang sedang berkembang. Penelitian teoretisnya menghasilkan algoritma waktu linier pertama untuk 2-kepuasan (2-satisfiability) dan menetapkan ekuivalensi matematis dari kelas kompleksitas PSPACE dan IP. Sejak akhir tahun 2010-an, ia mengalihkan fokusnya ke ketahanan pembelajaran mesin (machine learning robustness), meneliti contoh-contoh adversarial dan merumuskan Model Manifold Berlekuk (Dimpled Manifold Model) untuk menjelaskan bagaimana batas-batas jaringan saraf tiruan berubah selama pelatihan. Timnya juga merumuskan pendekatan kriptanalitik untuk merekonstruksi parameter internal jaringan saraf tiruan. Kontribusinya yang luas memberinya Penghargaan ACM Turing pada tahun 2002 bersama Rivest dan Adleman, diikuti oleh penghargaan utama lainnya termasuk Penghargaan Israel, Penghargaan Jepang, Penghargaan Wolf dalam bidang Matematika, dan Penghargaan Levchin.