fix hirarchy of data in sp26 results data

Author: vahldiek

_conferences/sp2026/results.md

@@ -9,172 +9,172 @@ reproduced_img: spbadges-reproduced.png
 reproduced_name: Artifacts Reproduced
 artifacts:
 - title: 'The Secrets Must Not Flow: Scaling Security Verification to Large Codebases'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.17099763
 - title: 'Leafblower: a Leakage Attack Against TEE-Based Encrypted Databases'
-  badges: available
+  badges: "available"
   artifact_url: https://doi.org/10.5281/zenodo.17114340
 - title: 'Towards Practical Zero-Knowledge Proof for PSPACE'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.17381317
 - title: 'Bridge: High-Order Taint Vulnerabilities Detection in Linux-based IoT Firmware'
-  badges: available
+  badges: "available"
   artifact_url: https://zenodo.org/records/17232400
 - title: 'SeqAss: Using Sequential Associative Caches to Mitigate Conflict-Based Cache Attacks With Reduced Cache Misses and Performance Overhead'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.17248489
 - title: 'Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing'
-  badges: available
+  badges: "available"
   artifact_url: https://doi.org/10.48804/JTDMSJ
 - title: 'AEX-NStep: Probabilistic Interrupt Counting Attacks on Intel SGX'
-  badges: available
+  badges: "available"
   artifact_url: https://zenodo.org/records/17338383
 - title: 'Fizzle: A Framework for Deterministic and Reproduced Network Fuzzing'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://archive.softwareheritage.org/browse/origin/directory/?origin_url=https://github.com/determsim/fizzle-artifact
 - title: 'WebCloak: Characterizing and Mitigating Threats from LLM-Driven Web Agents as Intelligent Scrapers'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17374123
 - title: 'deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17115101
 - title: 'Transient Architectural Execution: From Weird Gates to Weird Programs'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17364183
 - title: 'Practical Covert Channel across Isolated Browser Instances via GPU Command Queue Contention'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.17368240
 - title: 'VMSCAPE: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.17376076
 - title: 'KeyTAR: Practical Keystroke Timing Attacks and Input Reconstruction'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17254163
 - title: 'Mechanized Safety and Liveness Proofs for the Mysticeti Consensus Protocol under the LiDO-DAG Framework'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17345693
 - title: 'Cosseter: GitHub Actions Permission Reduction Using Demand-Driven Static Analysis'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.17345506
 - title: 'InsPIRe: Communication-Efficient PIR with Server-side Preprocessing'
-  badges: available
+  badges: "available"
   artifact_url: https://zenodo.org/records/17361471
 - title: 'SoK: Robustness in Large Language Models against Jailbreak Attacks'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17163312
 - title: 'Phoenix: Rowhammer Attacks on DDR5 with Self-Correcting Synchronization'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.17369838
 - title: '2FiA: Towards WiFi Sensing-Based Authentication with Unique Biometrics'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17361618
 - title: 'EnchTable: Unified Safety Alignment Transfer in Fine-tuned Large Language Models'
-  badges: available
+  badges: "available"
   artifact_url: https://zenodo.org/records/17230472
 - title: 'Practical Anonymous Two-Party Gradient Boosting Decision Tree'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17373936
 - title: 'GHost in the SHELL: A GPU-to-Host Memory Attack and Its Mitigation'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17364307
 - title: 'Artifact for "Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis"'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.17348614
 - title: 'CenRL: A Framework for Performing Intelligent Censorship Measurements'
-  badges: available
+  badges: "available"
   artifact_url: https://doi.org/10.5281/zenodo.17382167
 - title: 'Sealing the Window: Efficient Tamper Protection for Provenance Logs'
-  badges: available
+  badges: "available"
   artifact_url: https://doi.org/10.5281/zenodo.17283436
 - title: 'Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/17366780
 - title: 'On the (In)Security of Loading Machine Learning Models'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19224108
 - title: 'Chorus: Secret Recovery with Ephemeral Client Committees'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19480357
 - title: 'GPUBreach: Privilege Escalation Attacks on GPUs using Rowhammer'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19004741
 - title: 'Fractal: An Operating System Designed for Microarchitecture Reverse Engineering'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19556693
 - title: 'NanoTag: Systems Support for Efficient Byte-Granular Overflow Detection on ARM MTE'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://zenodo.org/records/19490033
 - title: 'KeyChaser: Unveiling API Keys in Browser Extensions'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.6084/m9.figshare.31859023
 - title: 'The Interplay of Effective Model Checking and Secure Processor Design: From Insights to Practice'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19270883
 - title: 'AESpoly: Symmetric-Key Cryptographic Designs Using Instruction-Level Parallelism between AES and Polynomial Hash'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.18993067
 - title: 'xDup: Privacy-Preserving Deduplication for Humanitarian Organizations using Fuzzy PSI'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19480020
 - title: 'APEX: Accurate Parallel Expressive Homomorphic Execution for Encrypted Databases'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19015208
 - title: 'Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19565490
 - title: 'On the Detectability of Active Gradient Inversion Attacks in Federated Learning'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.19479725
 - title: 'GDDR: Greatly Disturbing DRAM Rows — Cross-Component Rowhammer Attacks from Modern GPUs'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.19488504
 - title: 'Hijacking Large Audio-Language Models via Context-Agnostic and Imperceptible Auditory Prompt Injection'
-  badges: available
+  badges: "available"
   artifact_url: https://zenodo.org/records/19309781
 - title: 'Papers, Please: A First Look at Age Verification on the Web'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19515393
 - title: 'SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19478814
 - title: 'Crashing Through Defenses: Exploiting Segfaults and Chaining around Intel CET'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19518987
 - title: 'PLATYPUS: Restricting Cross-Module Transitions to Mitigate Code-Reuse Attacks'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19501267 
 - title: 'Scalable Registration-Based Encryption from Lattices'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19479490
 - title: 'Acoustic Hijacking Attacks on Gimbal-Stabilized Visual Tracking Systems'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.19372980
 - title: 'The Person Behind the Sound: Demystifying Audio Private Attribute Profiling via Multimodal Large Language Models'
-  badges: available
+  badges: "available"
   artifact_url: https://zenodo.org/records/19103789
 - title: 'TREVEX: A Black-Box Detection Framework For Generic Transient Execution Vulnerabilities'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19489147
 - title: 'Crucible: Retrofitting Commodity CPUs with Vulnerabilities via Transparent Software Emulation'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19498819
 - title: 'TDXRay: Microarchitectural Side-Channel Analysis of Intel TDX for Real-World Workloads'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19476314
 - title: 'RISCy Cache Coherence: Timer-Free Architectural Cache Attacks via Instruction/Data Cache Incoherence'
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.19127138
 - title: 'Efficient Fuzzy Private Set Intersection from Secret-shared OPRF'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://zenodo.org/records/19478220
 - title: 'One Tap to Hijack Them All: A Security Analysis of the Google Fast Pair Protocol'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://rdr.kuleuven.be/dataset.xhtml?persistentId=doi:10.48804/CD30CC
 - title: 'Sealing the Window: Efficient Tamper Protection for Provenance Logs'
-  badges: reproduced
+  badges: "available, functional, reproduced"
   artifact_url: https://doi.org/10.5281/zenodo.19371297
 - title: "It's a Feature, Not a Bug: Secure and Auditable State Rollback for Confidential Cloud Applications"
-  badges: functional
+  badges: "available, functional"
   artifact_url: https://doi.org/10.5281/zenodo.19009015
 ---
 
@@ -217,12 +217,12 @@ artifacts:
         {% endif %}
       </td>
       <td width="62px">
-        {% if artifact.badges contains "available" or artifact.badges contains "functional"  or artifact.badges contains "reproduced"  %}
+        {% if artifact.badges contains "available" %}
         <img alt="{{ page.available_name }}" src="{{ site.baseurl }}/images/{{ page.available_img }}">
         {% endif %}
       </td>
       <td width="62px">
-        {% if artifact.badges contains "functional"  or artifact.badges contains "reproduced" %}
+        {% if artifact.badges contains "functional" %}
         <img alt="{{ page.functional_name }}" src="{{ site.baseurl }}/images/{{ page.functional_img }}">
         {% endif %}
       </td>