:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Schröer, Philipp, Randone, Francesca, Pardo, Raúl, Wąsowski, Andrzej
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2412.00907
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Securing P4 Programs by Information Flow Control
by: Alshnakat, Anoud, et al.
Published: (2025)

A Quantitative Information Flow Analysis of the Topics API
by: Alvim, Mário S., et al.
Published: (2023)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

Exploiting AI for Attacks: On the Interplay between Adversarial AI and Offensive AI
by: Schröer, Saskia Laura, et al.
Published: (2025)

The Dark Side of the Web: Towards Understanding Various Data Sources in Cyber Threat Intelligence
by: Schröer, Saskia Laura, et al.
Published: (2025)

Threat-Informed Cyber Resilience Index: A Probabilistic Quantitative Approach to Measure Defence Effectiveness Against Cyber Attacks
by: Alevizos, Lampis, 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)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)

Divide and Conquer based Symbolic Vulnerability Detection
by: Scherb, Christopher, et al.
Published: (2024)

Probabilistic Atomic Swaps for Bitcoin and Friends
by: Gerhart, Paul, et al.
Published: (2026)

Symbolic Parallel Composition for Multi-language Protocol Verification
by: Nasrabadi, Faezeh, et al.
Published: (2025)

Probabilistic Counters for Privacy Preserving Data Aggregation
by: Bojko, Dominik, et al.
Published: (2020)

Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents
by: Cai, Yuandao, et al.
Published: (2026)

Symbolic verification of Apple's Find My location-tracking protocol
by: Sundararajan, Vaishnavi, et al.
Published: (2025)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
by: Dorfmeister, Daniel, et al.
Published: (2026)

Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
by: Yao, Shuangjie, et al.
Published: (2025)

Differential Privacy for Symbolic Trajectories via the Permute-and-Flip Mechanism
by: Benvenuti, Alexander, et al.
Published: (2026)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
by: Mächtle, Felix, et al.
Published: (2025)

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

Dynamic Probabilistic Noise Injection for Membership Inference Defense
by: Forough, Javad, et al.
Published: (2025)

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

AEX-NStep: Probabilistic Interrupt Counting Attacks on Intel SGX
by: Dutly, Nicolas, et al.
Published: (2025)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
by: Wang, Ruoxi, et al.
Published: (2025)

QRS: A Rule-Synthesizing Neuro-Symbolic Triad for Autonomous Vulnerability Discovery
by: Tsigkourakos, George, et al.
Published: (2026)

HunterAgent: Neuro-Symbolic Attack Trace Reconstruction under Anti-Forensics
by: Zhao, Guangze, et al.
Published: (2026)

Probabilistic Analysis and Empirical Validation of Patricia Tries in Ethereum State Management
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
by: Bailey, Joshua, et al.
Published: (2025)

Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
by: Marcus, Michiel, et al.
Published: (2025)

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

Quantitative analysis of attack-fault trees via Markov decision processes
by: Lopuhaä-Zwakenberg, Milan
Published: (2024)

Semantic Entanglement-Based Ransomware Detection via Probabilistic Latent Encryption Mapping
by: Eisa, Mohammad, et al.
Published: (2025)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

SCI-IoT: A Quantitative Framework for Trust Scoring and Certification of IoT Devices
by: Swami, Shreyansh, et al.
Published: (2025)

GECKO: Securing Digital Assets Through(out) the Physical World (Extended Technical Report)
by: Krähenbühl, Cyrill, et al.
Published: (2025)

Loaded Dice: Solving the Non-Selection Problem for Scalable Probabilistic RowHammer Defense
by: Woo, Jeonghyun, et al.
Published: (2026)

Hierarchical Entropic Diffusion for Ransomware Detection: A Probabilistic Approach to Behavioral Anomaly Isolation
by: Iskorohodov, Vasili, et al.
Published: (2025)

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

An Interdisciplinary Survey on Information Flows in Supply Chains
by: Pennekamp, Jan, et al.
Published: (2023)

EverTracer: Hunting Stolen Large Language Models via Stealthy and Robust Probabilistic Fingerprint
by: Xu, Zhenhua, et al.
Published: (2025)