Telusuri profil teknologi beserta ringkasan dan rujukannya.
Pentimenti meneliti kebocoran analog antarpengguna FPGA awan akibat bias temperature instability meskipun bitstream dan memori telah dihapus secara digital.
PRIVIPHY mengembangkan anonimisasi biosinyal dengan model generatif berpandu pembelajaran penguatan untuk menyeimbangkan perlindungan identitas dan informasi yang diperlukan analisis klinis.
Refinement types, analisis statis, dan sandboxing ringan mengamankan lapisan foreign function interface antara Rust dan C/C++ pada perangkat lunak multi-bahasa.
Battery-based Vehicle Immobilizer memakai tegangan serta arus baterai sebagai kanal autentikasi dan mengubah kapasitas daya untuk membatasi atau memulihkan akses kendaraan secara adaptif.
Secure Intermittent-Robust Computation diteliti dengan perangkat spin nonvolatile dan logika rekonfigurabel ringan untuk menjaga komputasi simpul pemanen energi saat daya terputus.
Transformer waktu-frekuensi dan pelatihan adversarial adaptif derau dikembangkan untuk pengenalan modulasi radio, bersama kendali daya berbasis penguatan pada tingkat jaringan.
Algoritme evolusioner berpanduan gradien dan pelokalan berbasis kausalitas dikembangkan untuk menemukan kerentanan denial-of-service serta kanal samping pada pustaka pembelajaran mesin.
Data plane terprogram menggabungkan inspeksi paket, pemulihan pengukuran, dan penjadwalan lalu lintas untuk menelaah pertahanan jaringan komunikasi sistem tenaga.
ERADICATOR menggabungkan sensor, randomisasi, dan respons tamper untuk pertahanan berlapis terhadap probing laser yang mengekstrak informasi samping dari chip.
Analisis kebocoran akibat kompetisi akses memori bersama dikembangkan untuk perangkat mobile multiprosesor, disertai penjadwalan controller dan randomisasi sebagai perlindungan arsitektur-sistem.
Remanensi data SRAM diteliti lintas teknologi dan kondisi penggunaan, disertai sanitasi berbasis iradiasi energi tinggi untuk mengurangi pemulihan informasi dari chip bekas.
Logika modal dengan semantik Kripke menyatukan tingkat assurance dari pengujian, analisis statis, dan verifikasi, lalu memakai penalaran kontrafaktual untuk memperbaiki perangkat lunak.
Keamanan dan ketahanan mengemudi otonom kolaboratif diteliti pada interaksi kendaraan terhubung, unit tepi jalan, serta subsistem persepsi berbasis kecerdasan buatan.
Deteksi akun dan narasi tidak autentik dikembangkan sebagai pipeline terpadu yang mengikuti perubahan perilaku serta konten kampanye berbahaya lintas platform.
Desain hardware-software bersama dikembangkan untuk melindungi model pembelajaran mesin pada FPGA awan multitenant dari gangguan fisik saat parameter berpindah ke buffer chip.
Pertahanan audio IoT meneliti perturbasi adversarial tanpa sinkronisasi, distorsi propagasi ruang, serta denoiser dan deteksi liveness susunan mikrofon untuk sistem kendali suara.
SHIELD mengembangkan pembelajaran federasi multimodal UAV melalui penyesuaian gradien, privasi per modalitas, agregasi robust, serta mobilitas yang tahan gangguan radio.
Rekomendasi aplikasi mobile menggabungkan analisis statis dan interaksi tersimulasi untuk menyeimbangkan fungsi yang dibutuhkan dengan harapan privasi pengguna.