Cover Image

DigiVax: Protocol-Level Computational Integrity via Invariant Execution and Behavioral Pressure

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Harper, Mylon
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DigiForest: Digital Analytics and Robotics for Sustainable Forestry
by: Camurri, Marco, et al.
Published: (2026)

VaxPulse: Active Global Vaccine Infodemic Risk Assessment
by: Dimaguila, Gerardo Luis, et al.
Published: (2025)

MetaDigiHuman: Haptic Interfaces for Digital Humans in Metaverse
by: Jagatheesaperumal, Senthil Kumar, et al.
Published: (2024)

github.com/broadinstitute/TAG-public/NeoVax_PackageData
by: broadinstitute
Published: (2025)

AI-VaxGuide: An Agentic RAG-Based LLM for Vaccination Decisions
by: Zeggai, Abdellah, et al.
Published: (2025)

MCIP: Protecting MCP Safety via Model Contextual Integrity Protocol
by: Jing, Huihao, et al.
Published: (2025)

DiffVax: Optimization-Free Image Immunization Against Diffusion-Based Editing
by: Ozden, Tarik Can, et al.
Published: (2024)

DigiData: Training and Evaluating General-Purpose Mobile Control Agents
by: Sun, Yuxuan, et al.
Published: (2025)

Securing LLM Agents Need Intent-to-Execution Integrity
by: Qu, Wenjie, et al.
Published: (2026)

EILID: Execution Integrity for Low-end IoT Devices
by: Jakkamsetti, Sashidhar, et al.
Published: (2025)

Digi2Real: Bridging the Realism Gap in Synthetic Data Face Recognition via Foundation Models
by: George, Anjith, et al.
Published: (2024)

Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
by: Li, Runming, et al.
Published: (2025)

VaxPulse: Monitoring of Online Public Concerns to Enhance Post-licensure Vaccine Surveillance
by: Javed, Muhammad, et al.
Published: (2025)

DigiRL: Training In-The-Wild Device-Control Agents with Autonomous Reinforcement Learning
by: Bai, Hao, et al.
Published: (2024)

DigiT4TAF -- Bridging Physical and Digital Worlds for Future Transportation Systems
by: Zipfl, Maximilian, et al.
Published: (2025)

Digi-Q: Learning Q-Value Functions for Training Device-Control Agents
by: Bai, Hao, et al.
Published: (2025)

Ruledger: Ensuring Execution Integrity in Trigger-Action IoT Platforms
by: Fan, Jingwen, et al.
Published: (2024)

“No Vax, No Visit”: Psychosocial Impacts of Vaccination‐Based Visitation Boundaries Among Australian Parents of Newborns
by: Krysten Blackford, et al.
Published: (2026)

Post‐COVID‐19 Vaccination (or Long Vax) Syndrome: Putative Manifestation, Pathophysiology, and Therapeutic Options
by: Shin Jie Yong, et al.
Published: (2025)

D3.2_DigiMedFor Data Traceability System_v1.0_
by: Ascione, Vincenzo Maria, et al.
Published: (2026)

The Persistence Protocol: Structural Integrity in a Regime of Total Selection
by: Collins, Guy
Published: (2025)

WhatsApp Vaccine Discourse (WhaVax): An Expert-Annotated Dataset and Benchmark for Health Misinformation Detection
by: Santos, Jônatas H. dos, et al.
Published: (2026)

Spurenlese: Resultate digitaler Methoden in hermeneutischen Praxen am Beispiel SchulbuchEvolution & DigiRel
by: Dombrowski, Fabian
Published: (2026)

DigiArm: An Anthropomorphic 3D-Printed Prosthetic Hand with Enhanced Dexterity for Typing Tasks
by: Zadok, Dean, et al.
Published: (2026)

Gistify! Codebase-Level Understanding via Runtime Execution
by: Lee, Hyunji, et al.
Published: (2025)

Behavioral Integrity Verification for AI Agent Skills
by: Wu, Yuhao, et al.
Published: (2026)

The Squalene Oil‐in‐Water Nanoemulsion Vaccine Carrier AddaVax Potentiates TLR ‐Induced B‐Cell Responses
by: Egest J. Pone, et al.
Published: (2026)

MyDigiTwin: A Privacy-Preserving Framework for Personalized Cardiovascular Risk Prediction and Scenario Exploration
by: Cadavid, Héctor, et al.
Published: (2025)

Digital display of a Process Management with the Software DigiCon using the Project Risk Twin as an Example
by: Carl Philipp Friedinger, et al.
Published: (2025)

A Study of Proxemic Behavior: Toward a Predictive Model
by: Eastman, Charles M., et al.
Published: (1971)

VaxGuard: A Multi-Generator, Multi-Type, and Multi-Role Dataset for Detecting LLM-Generated Vaccine Misinformation
by: Ahmad, Syed Talal, et al.
Published: (2025)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
by: Norris, David C., et al.
Published: (2024)

Blockchain for Academic Integrity: Developing the Blockchain Academic Credential Interoperability Protocol (BACIP)
by: Moya, Juan A. Berrios
Published: (2024)

Synthesizing Inductive Invariants for Distributed Protocols via IC3 and Large Language Models
by: Cao, Weining, et al.
Published: (2026)

Revisiting Computational Storage for Data Integrity and Security
by: Shi, Chao, et al.
Published: (2025)

Shortcut Flow Matching for Speech Enhancement: Step-Invariant flows via single stage training
by: Zhou, Naisong, et al.
Published: (2025)

TGIU Core Calculus: The Informational Invariant Validation Protocol
by: Virtosu, Sebastian
Published: (2026)

HEBERSaVax immunotherapy combined with first‐line chemotherapy in advanced ovarian cancer: Phase II CENTAURO ‐4 trial results
by: Francisco Hernández‐Bernal, et al.
Published: (2025)

Toward Executable Repository-Level Code Generation via Environment Alignment
by: Pan, Ruwei, et al.
Published: (2026)

Computing the Skyscraper Invariant
by: Fersztand, Marc, et al.
Published: (2026)