:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Alshnakat, Anoud, Ahmadian, Amir M., Balliu, Musard, Guanciale, Roberto, Dam, Mads
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2505.09221
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Why LLMs Fail: A Failure Analysis and Partial Success Measurement for Automated Security Patch Generation
by: Al-Maamari, Amir
Published: (2026)

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

Control-Flow Attestation: Concepts, Solutions, and Open Challenges
by: Sha, Zhanyu, et al.
Published: (2024)

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

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

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

Wireguard: An Efficient Solution for Securing IoT Device Connectivity
by: Jumakhan, Haseebullah, et al.
Published: (2024)

Secure Multi-User Linearly-Separable Distributed Computing
by: Jafarpisheh, Amir Masoud, et al.
Published: (2026)