Makalah ini memperkenalkan model formal untuk integritas kanal pada keadaan yang dipilih sebagian, yang diterapkan pada serangan Terrapin di SSH. Makalah ini mengevaluasi delapan mode AEAD, dan menemukan AES-GCM aman di semua model, sedang…
Metode
Para penulis mengusulkan model formal untuk integritas kanal pada keadaan yang dipilih sebagian. Model ini mengabstraksi antarmuka enkripsi stateful, di mana keadaan (misalnya nom…
Hasil
Analisis formal menghasilkan batas keamanan konkret untuk delapan mode AEAD. Temuan utamanya adalah: - Ketiga mode Encrypt-then-MAC (EtM) dan ChaCha20-Poly1305 tidak aman pada model ciphertext-only (…
Karya ini memulai spatiotemporal MPC, di mana input bergantung pada fakta fisik seperti lokasi dan waktu. Karya ini memperkenalkan arguments of spatiotemporal knowledge dan mencapai konstruksi UC-secure dari asumsi post-quantum.
Metode
Penulis memformalkan spatiotemporal MPC dalam kerangka keamanan UC. Inovasi kuncinya adalah gagasan **arguments of spatiotemporal knowledge (AoSpK)**. Dalam AoSpK, prover meyakink…
Hasil
Makalah ini menyajikan hasil utama berikut: 1. **Definisi spatiotemporal MPC**: Definisi keamanan UC yang menangkap privasi input spatiotemporal, konsistensi fisik, dan komposabilitas. 2. **Arguments…
Arthur Cordeiro; Alberto Maria Mongardini; Emmanouil Vasilomanolakis
Ringkasan
Rouxii adalah kerangka penetration testing berbasis AI yang mengintegrasikan counter-deception ke dalam reconnaissance, menaikkan identifikasi honeypot yang benar dari 19% menjadi 97% pada 1.544 laporan serangan. Analisis white-box lebih l…
Metode
Desain eksperimen menggunakan kohort yang dipasangkan yang hanya berbeda pada prompt: konfigurasi Rouxii vanilla dan konfigurasi anti-deception. Keduanya dijalankan pada tiga mode…
Hasil
Antara kohort yang dipasangkan, counter-deception menaikkan identifikasi honeypot yang benar dari **19% menjadi 97%**. Efeknya paling kuat pada layanan OT, di mana identifikasi naik dari **11% menjad…
Xiaoyu Luo; Tao Ren; Wenrui Yu; Xiao Li; Qiongxiu Li; Johannes Bjerva
Ringkasan
Dengan mendaftarkan tool kustom sederhana melalui fitur API standar, penulis memicu model frontier untuk mengeksternalisasi penalaran antara, mengungkap bahwa jejak yang diekstraksi menyamai performa chain-of-thought native dan bahwa model…
Metode
Inti metodologisnya adalah intervensi pendaftaran tool: sebuah tool kustom sederhana didaftarkan melalui fitur API standar, menyebabkan model frontier mengeluarkan langkah penalar…
Hasil
Penalaran yang diekstraksi menyamai performa penalaran native dan secara substansial mengungguli baseline tanpa penalaran pada matematika kompetisi, sains, dan pembuatan kode. Hal ini berlaku baik un…
Studi ini menyajikan sistem LLM end-to-end yang mengubah kebijakan privasi mentah menjadi representasi terstruktur yang terperinci dan ukuran kuantitatif. Diterapkan pada 10.000 kebijakan situs web, sistem ini menghasilkan dataset paling k…
Metode
Penulis merancang pipeline end-to-end yang memanfaatkan LLM untuk mengubah teks kebijakan privasi yang tidak terstruktur menjadi representasi terstruktur yang dapat dibaca mesin. …
Hasil
Kerangka kerja ini diterapkan pada korpus 10.000 kebijakan privasi situs web, yang mencakup beragam sektor industri. Dataset yang dihasilkan, sejauh pengetahuan penulis, adalah yang paling komprehens…
Makalah ini meninjau lanskap penegakan kebijakan yang terfragmentasi dalam AI generatif, mengusulkan metodologi sistematis untuk menganalisis pendekatan yang ada, dan menawarkan rekomendasi untuk solusi yang terpadu dan patuh. Ini merupaka…
Metode
Makalah ini memperkenalkan metodologi berprinsip untuk menganalisis dan membedah pendekatan yang ada dalam mendefinisikan dan menegakkan kebijakan pada aplikasi GenAI secara siste…
Hasil
Makalah ini menyajikan temuan dari penerapan metodologi yang diusulkan, mengungkap keadaan penegakan kebijakan di GenAI saat ini. Makalah ini menyoroti "sisi baik, buruk, dan jelek": implementasi yan…
Om Nepal; Sushant Aryal; Oluseyi Olukola; Nick Rahimi
Ringkasan
Studi empiris ini menunjukkan compile rate adalah proksi yang tidak dapat diandalkan untuk perbaikan kerentanan fungsi tunggal berbasis LLM, dengan ~64% kegagalan kompilasi tidak terkait kualitas model dan flag standar kompilator menggeser…
Metode
Studi ini terstruktur sebagai lima eksperimen terkontrol yang dirancang untuk menyelidiki perilaku compile rate sebagai metrik evaluasi untuk perbaikan kerentanan berbasis LLM. **…
Hasil
Lima eksperimen terkontrol menghasilkan bukti konsisten bahwa compile rate adalah metrik yang tidak dapat diandalkan untuk perbaikan kerentanan fungsi tunggal. **1. Sensitivitas intervensi.** Compile…
A2M (Attraction-to-Manipulation) adalah serangan black-box dua tahap yang membajak agen MCP dengan mengoptimalkan metadata alat dan menyempurnakan kembalian alat adversarial menggunakan jejak eksekusi. Pada LiveMCPBench, serangan ini menca…
Metode
A2M menguraikan serangan menjadi dua tahap optimasi berurutan. **Fase Attraction.** Penyerang mengoptimalkan metadata alat berbahaya (nama, deskripsi, skema parameter) untuk memak…
Hasil
Pada LiveMCPBench, serangan langsung yang dioptimalkan dan dievaluasi pada GLM-4.6 menghasilkan hasil rata-rata makro berikut di empat skenario: - **Tingkat pemanggilan alat berbahaya:** 93,6% - **Bi…
Yue Xu; Zengde Deng; Mengdi Wang; Wenjun Xu; A. M. So; Shuguang Cui
Ringkasan
Digest ini mengkaji kerangka pembelajaran penguatan multiagen (MARL) berbasis voting untuk IoT skala besar, yang dirumuskan melalui bentuk pemrograman linear dari optimasi kebijakan dan diselesaikan dengan algoritma primal–dual. Mekanisme …
Metode
Inti metodologis makalah ini bertumpu pada reformulasi masalah optimasi kebijakan ke dalam **bentuk pemrograman linear (LP)**. Alih-alih mengoptimalkan secara langsung atas kebija…
Hasil
Bagian empiris makalah ini berlangsung dalam dua tahap, sejalan dengan dua klaim yang ditetapkan secara analitis. Pertama, para penulis **memverifikasi konvergensi algoritma yang diusulkan melalui si…
Makalah IEEE Access ini memperkenalkan kerangka holistik dan sepenuhnya terdistribusi untuk memodelkan dan mengoperasikan sistem tenaga listrik dan jaringan transportasi terlistriki yang saling bergantung sebagai network-of-networks. Denga…
Metode
Metodologi bertumpu pada latihan pemodelan holistik yang diikuti solusi algoritmik terdistribusi. Penulis terlebih dahulu mengidentifikasi, untuk setiap jaringan, fungsionalitas, …
Hasil
Luaran yang dilaporkan adalah kerangka yang berfungsi, bukan satu angka tolok ukur tunggal. Dengan menerapkan kerangka ini pada sistem tenaga listrik dan jaringan transportasi terlistriki yang saling…
