This paper proposes a variable, behavior-based node-specific proof-of-work model for DAG-based distributed ledger networks to mitigate congestion caused by transaction spamming. Using a non-cooperative game formulation, the authors prove t…
Method
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…
Results
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 demonstrates that even fully passive adversaries can link temporary identifiers across LTE, WiFi, and BLE due to unsynchronized rotations, reconstructing full traces for 83% of users in large-scale simulations. This reveals that …
Method
CrossLink beroperasi dengan memodelkan ketidakpastian dalam lokasi dan mobilitas serta menghubungkan pengenal lintas protokol. Algoritma ini memanfaatkan fakta bahwa rotasi pengen…
Results
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 introduces an enclave-aware cache replacement policy for RISC-V cores running Keystone TEEs, providing deterministic protection against cache-based side-channel attacks with only 6% area overhead on the CVA6 core.
Method
HermiCache memodifikasi kebijakan penggantian cache agar sadar terhadap eksekusi enclave. Desain ini menyasar inti CVA6, prosesor RISC-V sumber terbuka, dan terintegrasi dengan Ke…
Results
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 and Tommasini certify an honest-decapsulation failure upper bound for ML-KEM-768 in an explicit ROM/CBD abstraction, achieving Pr[K' != K] <= P_* <= 2^-164.81 with a numerically tight exponent. The result preserves dependencies indu…
Method
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…
Results
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…
Adversarial transferability in deepfake detectors depends strongly on shared backbone, architecture family, pretraining regime, and training data, with attack-dependent effects. Multi-source oracle attacks expose far higher vulnerability t…
Method
Studi ini mengevaluasi transferabilitas adversarial menggunakan desain eksperimen terkontrol. Kumpulan detektor terdiri dari 60 model yang dibangun dari enam arsitektur backbone, …
Results
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 automates the translation of security assertions between RISC-V processor targets using a regex-based SystemVerilog signal extractor, a deterministic LLM prompt template, and JasperGold formal verification. It achieves 78% automa…
Method
AutoTrans terdiri atas tiga tahap utama: 1. **Ekstraksi Sinyal**: Ekstraktor sinyal SystemVerilog berbasis regex mengidentifikasi semua sinyal relevan dari RTL target. Langkah ini…
Results
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…
This paper introduces a distributed differentially private text synthesis framework that eliminates the need for a trusted curator by releasing a one-time DP summary in embedding space. A custom secure protocol enforces end-to-end DP guara…
Method
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…
Results
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) proposes a feasibility taxonomy of twenty inference-time AI governance mechanisms across monitoring, verification, and enforcement, rated on a four-point readiness scale against a four-vendor evidence base. Fifteen mechanisms…
Method
Studi ini adalah penilaian kelayakan terstruktur, bukan uji penyebaran empiris. Metodenya memiliki empat komponen. Pertama, enumerasi mekanisme. Dua puluh mekanisme waktu inferens…
Results
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
Summary
This paper formalizes obfuscation primitives to unify TEE-Shielded LLM Partition (TSLP) methods, characterizes their security boundary, and demonstrates a shared vulnerability across top-tier defenses. It then introduces two novel primitiv…
Method
Makalah ini memformalkan sekumpulan primitif obfuskasi, yang didefinisikan sebagai dual-tuple komputasi linear yang memenuhi sifat aljabar tertentu. Primitif ini berfungsi sebagai…
Results
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
Summary
ChameleonDisc is a dynamic link-discovery protocol that eliminates static LLDP signatures to prevent and detect topology-poisoning attacks in software-defined networks. Evaluated on OpenDaylight, it achieves median convergence of 1.37–4.53…
Method
ChameleonDisc diimplementasikan pada pengendali OpenDaylight. Protokol ini menggantikan pengenal LLDP statis dengan bidang teracak yang dihasilkan secara dinamis dan tidak membawa…
Results
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…
