Telusuri profil teknologi beserta ringkasan dan rujukannya.
Kriptografi multivariat pascakuantum akan mengeksplorasi sistem persamaan kuadrat atas medan hingga sekaligus mengembangkan algoritme kuantum untuk menguji batas kesulitannya.
ENCASE menggabungkan gate CMOS split-pole, routing sadar multipole, dan atenuasi tanda arus untuk menekan kebocoran side-channel elektromagnetik serta daya pada tingkat rangkaian.
Block memory model dan aturan Datalog menjadi dasar Blockbin untuk pointer analysis serta reverse engineering biner lintas bahasa, arsitektur, dan obfuscation.
Deteksi serangan infrastruktur terdesentralisasi menggabungkan differential privacy, model ketergantungan subsistem, dan blockchain untuk menjaga integritas parameter serta bukti hasil yang dapat diverifikasi publik.
Komputasi privat pada data daring menelaah algoritme privasi diferensial untuk pelepasan statistik berkelanjutan dengan dataset yang terus berubah.
Analisis typecasting selektif berdasarkan jalur dan fungsi memperjelas tipe C/C++ untuk mendeteksi type confusion serta mendukung pertahanan integritas program.
Analisis ruang–waktu channel state tanpa pelatihan dan manipulasi kanal diteliti untuk memahami serta mengurangi risiko inferensi informasi sensitif dari sinyal nirkabel.
Keamanan embedding akan diteliti terhadap manipulasi saat pelatihan dan inferensi serta kebocoran informasi dari representasi vektor yang dipakai sistem AI.
SLIQ mengembangkan pertahanan komputasi kuantum multi-tenant melalui penyaringan berbasis pembelajaran mesin, obfuscation, dan split compilation pada tingkat rangkaian serta sistem.
Anonimisasi sidik RF meneliti penyembunyian ketidaksempurnaan unik perangkat keras agar identitas radio sulit dilacak sambil mempertahankan komunikasi pengguna yang sah.
Keamanan parameter model yang tidak aktif diteliti sebagai tempat penyimpanan tersembunyi atau fungsi berbahaya tanpa mengubah akurasi dasar.
Embedding citra dengan privasi diferensial metrik diteliti agar layanan pembelajaran mesin tetap berguna tanpa mengungkap informasi pribadi tertentu dari masukan pengguna.
Desain sirkuit hibrida ASIC-TRAP menyembunyikan bagian sensitif sebelum fabrikasi dan memulihkannya melalui konfigurasi pada tingkat transistor.
SAVDS menampilkan data radar dan posisi pesawat dalam koridor separasi sebagai dukungan keputusan UAV, dengan pengembangan lanjutan menuju sense-and-avoid di sistem penerbangan onboard.
Tag sensor SAW pasif menggabungkan kode RFID dan transduser dispersif agar respons pantulan radio dapat mengidentifikasi perangkat sekaligus membaca impedansi sensor terhubung.
Sayap pesawat menghasilkan gaya aerodinamik saat berinteraksi dengan aliran udara. Gaya angkat, berat, dorong, dan hambat menentukan kondisi gerak keseluruhan pesawat.
Model optomekanis teleskop CubeSat divalidasi melalui korelasi analisis dengan uji termal sistem afocal tiga optik, untuk menyiapkan desain payload yang dapat disesuaikan bagi misi berbeda.
Optimasi global deterministik berakselerasi GPU dikembangkan dengan branch-and-bound paralel dan pembangkitan kode relaksasi agar masalah nonkonveks besar dapat diselesaikan secara terjamin.