Imagen de Portada

Securing P4 Programs by Information Flow Control

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Alshnakat, Anoud, Ahmadian, Amir M., Balliu, Musard, Guanciale, Roberto, Dam, Mads
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Disjunctive Policies for Database-Backed Programs
por: Ahmadian, Amir M., et al.
Publicado: (2023)

Granite: Granular Runtime Enforcement for GitHub Actions Permissions
por: Moazen, Mojtaba, et al.
Publicado: (2025)

NodeShield: Runtime Enforcement of Security-Enhanced SBOMs for Node.js
por: Cornelissen, Eric, et al.
Publicado: (2025)

Sharing without Showing: Secure Cloud Analytics with Trusted Execution Environments
por: Birgersson, Marcus, et al.
Publicado: (2024)

GHunter: Universal Prototype Pollution Gadgets in JavaScript Runtimes
por: Cornelissen, Eric, et al.
Publicado: (2024)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
por: Lindner, Andreas, et al.
Publicado: (2023)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
por: Sorger, Tom, et al.
Publicado: (2026)

Securing AI Agents with Information-Flow Control
por: Costa, Manuel, et al.
Publicado: (2025)

Symbolic Quantitative Information Flow for Probabilistic Programs
por: Schröer, Philipp, et al.
Publicado: (2024)

LLM-IFT: LLM-Powered Information Flow Tracking for Secure Hardware
por: Mashnoor, Nowfel, et al.
Publicado: (2025)

Identifying Non-Control Security-Critical Data through Program Dependence Learning
por: Wang, Zhilong, et al.
Publicado: (2021)

Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
por: Rehms, Sebastian, et al.
Publicado: (2024)

Task Offloading in Fog Computing with Deep Reinforcement Learning: Future Research Directions Based on Security and Efficiency Enhancements
por: Pakmehr, Amir
Publicado: (2024)

Information Theoretically Secure Encryption Key Generation over Wireless Networks by Exploiting Packet Errors
por: Khandani, Amir K.
Publicado: (2024)

A Zero-overhead Flow for Security Closure
por: Eslami, Mohammad, et al.
Publicado: (2025)

Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
por: Wang, Changjie, et al.
Publicado: (2025)

Securing Federated Learning with Control-Flow Attestation: A Novel Framework for Enhanced Integrity and Resilience against Adversarial Attacks
por: Alsulaimawi, Zahir
Publicado: (2024)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
por: Tyler, Liam, et al.
Publicado: (2025)

A Robust Multi-Stage Intrusion Detection System for In-Vehicle Network Security using Hierarchical Federated Learning
por: Althunayyan, Muzun, et al.
Publicado: (2024)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
por: Yao, Siqiu, et al.
Publicado: (2024)

KubeFence: Security Hardening of the Kubernetes Attack Surface
por: Cesarano, Carmine, et al.
Publicado: (2025)

Securing an Application Layer Gateway: An Industrial Case Study
por: Cesarano, Carmine, et al.
Publicado: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
por: Thibault, Jérémy, et al.
Publicado: (2024)

A Quantization-based Technique for Privacy Preserving Distributed Learning
por: Colombo, Maurizio, et al.
Publicado: (2024)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
por: Boltz, Nicolas, et al.
Publicado: (2024)

QTFlow: Quantitative Timing-Sensitive Information Flow for Security-Aware Hardware Design on RTL
por: Reimann, Lennart M., et al.
Publicado: (2024)

Exploring the Techniques of Information Security Certification
por: Chen, Abel C. H.
Publicado: (2023)

An Information-theoretic Security Analysis of Honeyword
por: Su, Pengcheng, et al.
Publicado: (2023)

SoK: The Security-Safety Continuum of Multimodal Foundation Models through Information Flow and Global Game-Theoretic Analysis of Asymmetric Threats
por: Sun, Ruoxi, et al.
Publicado: (2024)

SoK: Security of Programmable Logic Controllers
por: López-Morales, Efrén, et al.
Publicado: (2024)

System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective
por: Wu, Fangzhou, et al.
Publicado: (2024)

Blockchain-Enhanced Framework for Secure Third-Party Vendor Risk Management and Vigilant Security Controls
por: Gupta, Deepti, et al.
Publicado: (2024)

P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
por: Bajaber, Osama, et al.
Publicado: (2024)

On the Virtues of Information Security in the UK Climate Movement
por: Brough, Mikaela, et al.
Publicado: (2025)

Secure compilation of rich smart contracts on poor UTXO blockchains
por: Bartoletti, Massimo, et al.
Publicado: (2023)

On the Verification of Control Flow Attestation Evidence
por: Caulfield, Adam, et al.
Publicado: (2024)

Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report
por: Malinka, Kamil, et al.
Publicado: (2024)

Quantum-safe Encryption: A New Method to Reduce Complexity and/or Improve Security Level
por: Khandani, Amir K.
Publicado: (2024)

HELO Cryptography: A Lightweight Cryptographic System for Enhancing IoT Security in P2P Data Transmission
por: Ahmed, Tahsin, et al.
Publicado: (2026)

Secure Information Embedding in Forensic 3D Fingerprinting
por: Wang, Canran, et al.
Publicado: (2024)