Makalah ini mengusulkan model proof-of-work variabel, berbasis perilaku, dan spesifik per node untuk jaringan ledger terdistribusi berbasis DAG guna memitigasi kongesti yang disebabkan oleh spamming transaksi. Dengan formulasi permainan no…
Metode
Model yang diusulkan memperkenalkan penyesuaian kesulitan PoW yang spesifik per node dan berbasis perilaku. Berbeda dengan PoW tradisional di mana kesulitan bersifat global dan me…
Hasil
Penulis mengevaluasi model yang diusulkan melalui simulasi dan analisis teori permainan. Mereka membandingkan kinerja jaringan di bawah PoW berbasis perilaku yang diusulkan dengan PoW tradisional dan…
CrossLink menunjukkan bahwa bahkan penyerang yang sepenuhnya pasif dapat menghubungkan pengenal sementara lintas LTE, WiFi, dan BLE akibat rotasi yang tidak tersinkronisasi, merekonstruksi jejak lengkap untuk 83% pengguna dalam simulasi sk…
Metode
CrossLink beroperasi dengan memodelkan ketidakpastian dalam lokasi dan mobilitas serta menghubungkan pengenal lintas protokol. Algoritma ini memanfaatkan fakta bahwa rotasi pengen…
Hasil
Dalam simulasi mobilitas skala besar, CrossLink merekonstruksi jejak lengkap untuk 83% pengguna, dibandingkan hanya 22% untuk baseline protokol tunggal terbaik. Perbedaan mencolok ini menunjukkan kek…
HermiCache memperkenalkan kebijakan penggantian cache sadar enclave untuk inti RISC-V yang menjalankan TEE Keystone, memberikan perlindungan deterministik terhadap serangan side-channel berbasis cache dengan hanya 6% overhead area pada int…
Metode
HermiCache memodifikasi kebijakan penggantian cache agar sadar terhadap eksekusi enclave. Desain ini menyasar inti CVA6, prosesor RISC-V sumber terbuka, dan terintegrasi dengan Ke…
Hasil
Implementasi HermiCache pada inti CVA6 menunjukkan overhead area sebesar 6% pada inti prosesor. Overhead ini mencakup logika tambahan untuk pelacakan domain dan kebijakan penggantian yang dimodifikas…
Duriez dan Tommasini mensertifikasi batas atas kegagalan dekapsulasi jujur untuk ML-KEM-768 dalam abstraksi ROM/CBD yang eksplisit, mencapai Pr[K' != K] <= P_* <= 2^-164.81 dengan eksponen yang ketat secara numerik. Hasil ini mempertahanka…
Metode
Analisis ini membangun rantai terminal dengan tiga komponen. Pertama, referensi full-ideal yang tergandeng graf secara eksak untuk residual gabungan c_u/c_v ditetapkan. Kedua, tra…
Hasil
Hasil utama adalah batas atas tersertifikasi pada probabilitas kegagalan dekapsulasi jujur untuk ML-KEM-768 dalam abstraksi ROM/CBD. Secara spesifik, sertifikat rasional tereduksi menghasilkan: $$ \P…
Transferabilitas adversarial pada detektor deepfake sangat bergantung pada backbone bersama, keluarga arsitektur, rezim prapelatihan, dan data pelatihan, dengan efek yang bergantung pada jenis serangan. Serangan oracle multi-sumber mengung…
Metode
Studi ini mengevaluasi transferabilitas adversarial menggunakan desain eksperimen terkontrol. Kumpulan detektor terdiri dari 60 model yang dibangun dari enam arsitektur backbone, …
Hasil
Perbandingan berpasangan mengungkap transfer yang jauh lebih tinggi ketika sumber dan target berbagi backbone persis, keluarga arsitektur, rezim prapelatihan, atau data pelatihan. Struktur kompatibil…
AutoTrans mengotomatiskan terjemahan security assertion antar target prosesor RISC-V menggunakan ekstraktor sinyal SystemVerilog berbasis regex, templat prompt LLM deterministik, dan verifikasi formal JasperGold. Kerangka ini mencapai 78% …
Metode
AutoTrans terdiri atas tiga tahap utama: 1. **Ekstraksi Sinyal**: Ekstraktor sinyal SystemVerilog berbasis regex mengidentifikasi semua sinyal relevan dari RTL target. Langkah ini…
Hasil
Eksperimen terjemahan security assertion dari NS31A ke IBEX menggunakan Deepseek V4 menunjukkan bahwa AutoTrans mencapai 78% Auto Translation Acceptance Rate (TAR) secara otomatis, tanpa intervensi m…
Makalah ini memperkenalkan kerangka kerja sintesis teks terdistribusi yang diferensial-privat dengan menghilangkan kebutuhan akan kurator tepercaya melalui pelepasan ringkasan DP sekali pakai di ruang embedding. Protokol aman khusus menega…
Metode
Metodologi yang diusulkan terdiri dari dua komponen utama: 1. **Algoritma sintesis DP yang ramah terdistribusi**: Algoritma ini melepaskan ringkasan DP sekali pakai di ruang embed…
Hasil
Penulis mengevaluasi pendekatan mereka pada empat tolok ukur, membandingkannya dengan metode sintesis DP terpusat mutakhir. Hasilnya menunjukkan bahwa metode terdistribusi yang diusulkan mencapai uti…
Ansari (2026) mengusulkan taksonomi kelayakan atas dua puluh mekanisme tata kelola AI waktu inferensi yang mencakup pemantauan, verifikasi, dan penegakan, dinilai pada skala kesiapan empat tingkat terhadap basis bukti empat vendor. Lima be…
Metode
Studi ini adalah penilaian kelayakan terstruktur, bukan uji penyebaran empiris. Metodenya memiliki empat komponen. Pertama, enumerasi mekanisme. Dua puluh mekanisme waktu inferens…
Hasil
Hasil kelayakan utamanya adalah lima belas dari dua puluh mekanisme memiliki substrat teknis komersial dalam produksi saat ini. Ini berarti blok bangunan teknis mentah untuk tata kelola waktu inferen…
Hanyi Zhou; Chenyang Li; Yuanzhe Pang; Ke Xu; Mingwei Xu; Zhuotao Liu
Ringkasan
Makalah ini memformalkan primitif obfuskasi untuk menyatukan metode TEE-Shielded LLM Partition (TSLP), mencirikan batas keamanannya, dan menunjukkan kerentanan bersama pada pertahanan kelas atas. Makalah ini kemudian memperkenalkan dua pri…
Metode
Makalah ini memformalkan sekumpulan primitif obfuskasi, yang didefinisikan sebagai dual-tuple komputasi linear yang memenuhi sifat aljabar tertentu. Primitif ini berfungsi sebagai…
Hasil
Penulis menunjukkan efektivitas $\text{SysAttack}$ dengan menerapkannya pada beberapa metode TSLP terkemuka yang diterbitkan di forum kelas atas: ArrowCloak (Security'25), TSQP (S&P'25), dan LoRO (Ne…
Mingming Chen; Teryl Taylor; Frederico Araujo; Benjamin E. Ujcich; Thomas La Porta; Trent Jaeger
Ringkasan
ChameleonDisc adalah protokol penemuan tautan dinamis yang menghilangkan tanda tangan LLDP statis untuk mencegah dan mendeteksi serangan peracunan topologi di jaringan software-defined. Diuji pada OpenDaylight, protokol ini mencapai konver…
Metode
ChameleonDisc diimplementasikan pada pengendali OpenDaylight. Protokol ini menggantikan pengenal LLDP statis dengan bidang teracak yang dihasilkan secara dinamis dan tidak membawa…
Hasil
Pada topologi 252 tautan, ChameleonDisc mencapai konvergensi median 1,37–4,53 s untuk perubahan tautan yang sah dan 4,06 s untuk deteksi relay berbahaya. Overhead CPU rata-rata tambahan adalah 13,0 p…
