:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schröer, Philipp, Randone, Francesca, Pardo, Raúl, Wąsowski, Andrzej
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	https://arxiv.org/abs/2412.00907
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Securing P4 Programs by Information Flow Control
von: Alshnakat, Anoud, et al.
Veröffentlicht: (2025)

A Quantitative Information Flow Analysis of the Topics API
von: Alvim, Mário S., et al.
Veröffentlicht: (2023)

Model-Checking the Implementation of Consent
von: Pardo, Raúl, et al.
Veröffentlicht: (2024)

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

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

Threat-Informed Cyber Resilience Index: A Probabilistic Quantitative Approach to Measure Defence Effectiveness Against Cyber Attacks
von: Alevizos, Lampis, et al.
Veröffentlicht: (2024)

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

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

Divide and Conquer based Symbolic Vulnerability Detection
von: Scherb, Christopher, et al.
Veröffentlicht: (2024)

Probabilistic Atomic Swaps for Bitcoin and Friends
von: Gerhart, Paul, et al.
Veröffentlicht: (2026)

Symbolic Parallel Composition for Multi-language Protocol Verification
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)

Probabilistic Counters for Privacy Preserving Data Aggregation
von: Bojko, Dominik, et al.
Veröffentlicht: (2020)

Ghost in the Agent: Redefining Information Flow Tracking for LLM Agents
von: Cai, Yuandao, et al.
Veröffentlicht: (2026)

Symbolic verification of Apple's Find My location-tracking protocol
von: Sundararajan, Vaishnavi, et al.
Veröffentlicht: (2025)

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

Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
von: Yao, Shuangjie, et al.
Veröffentlicht: (2025)

Differential Privacy for Symbolic Trajectories via the Permute-and-Flip Mechanism
von: Benvenuti, Alexander, et al.
Veröffentlicht: (2026)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
von: Mächtle, Felix, et al.
Veröffentlicht: (2025)

LLM-IFT: LLM-Powered Information Flow Tracking for Secure Hardware
von: Mashnoor, Nowfel, et al.
Veröffentlicht: (2025)

Dynamic Probabilistic Noise Injection for Membership Inference Defense
von: Forough, Javad, et al.
Veröffentlicht: (2025)

Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
von: Rehms, Sebastian, et al.
Veröffentlicht: (2024)

AEX-NStep: Probabilistic Interrupt Counting Attacks on Intel SGX
von: Dutly, Nicolas, et al.
Veröffentlicht: (2025)

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
von: Tharindu, Dakshina, et al.
Veröffentlicht: (2026)

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
von: Wang, Ruoxi, et al.
Veröffentlicht: (2025)

QRS: A Rule-Synthesizing Neuro-Symbolic Triad for Autonomous Vulnerability Discovery
von: Tsigkourakos, George, et al.
Veröffentlicht: (2026)

HunterAgent: Neuro-Symbolic Attack Trace Reconstruction under Anti-Forensics
von: Zhao, Guangze, et al.
Veröffentlicht: (2026)

Probabilistic Analysis and Empirical Validation of Patricia Tries in Ethereum State Management
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)

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

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

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

Quantitative analysis of attack-fault trees via Markov decision processes
von: Lopuhaä-Zwakenberg, Milan
Veröffentlicht: (2024)

Semantic Entanglement-Based Ransomware Detection via Probabilistic Latent Encryption Mapping
von: Eisa, Mohammad, et al.
Veröffentlicht: (2025)

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

SCI-IoT: A Quantitative Framework for Trust Scoring and Certification of IoT Devices
von: Swami, Shreyansh, et al.
Veröffentlicht: (2025)

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

Loaded Dice: Solving the Non-Selection Problem for Scalable Probabilistic RowHammer Defense
von: Woo, Jeonghyun, et al.
Veröffentlicht: (2026)

Hierarchical Entropic Diffusion for Ransomware Detection: A Probabilistic Approach to Behavioral Anomaly Isolation
von: Iskorohodov, Vasili, et al.
Veröffentlicht: (2025)

Securing AI Agents with Information-Flow Control
von: Costa, Manuel, et al.
Veröffentlicht: (2025)

An Interdisciplinary Survey on Information Flows in Supply Chains
von: Pennekamp, Jan, et al.
Veröffentlicht: (2023)

EverTracer: Hunting Stolen Large Language Models via Stealthy and Robust Probabilistic Fingerprint
von: Xu, Zhenhua, et al.
Veröffentlicht: (2025)