:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Basile, Cataldo, Gatti, Gabriele, Settanni, Francesco
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2405.03544
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

RefinementEngine: Automating Intent-to-Device Filtering Policy Deployment under Network Constraints
by: Colaiacomo, Davide, et al.
Published: (2026)

Automatic Selection of Protections to Mitigate Risks Against Software Applications
by: Canavese, Daniele, et al.
Published: (2025)

Alignment of Cybersecurity Incident Prioritisation with Incident Response Management Maturity Capabilities
by: Gulay, Abdulaziz, et al.
Published: (2024)

Empirical Assessment of the Code Comprehension Effort Needed to Attack Programs Protected with Obfuscation
by: Regano, Leonardo, et al.
Published: (2025)

From Threat Intelligence to Firewall Rules: Semantic Relations in Hybrid AI Agent and Expert System Architectures
by: Bonfanti, Chiara, et al.
Published: (2026)

From Cyber Security Incident Management to Cyber Security Crisis Management in the European Union
by: Ruohonen, Jukka, et al.
Published: (2025)

Cyber Spectrum Intelligence: Security Applications, Challenges and Road Ahead
by: Sciancalepore, Savio, et al.
Published: (2025)

Security Analysis and Threat Modeling of Research Management Applications [Extended Version]
by: Sindala, Boniface M., et al.
Published: (2025)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
by: Jain, Racchit, et al.
Published: (2025)

A Neuro-Symbolic Multi-Agent Approach to Legal-Cybersecurity Knowledge Integration
by: Bonfanti, Chiara, et al.
Published: (2025)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
by: Ding, Wanning, et al.
Published: (2024)

Poster: FedBlockParadox -- A Framework for Simulating and Securing Decentralized Federated Learning
by: Digregorio, Gabriele, et al.
Published: (2025)

Operationalising Cyber Risk Management Using AI: Connecting Cyber Incidents to MITRE ATT&CK Techniques, Security Controls, and Metrics
by: Sherif, Emad, et al.
Published: (2026)

SOCpilot: Verifying Policy Compliance for LLM-Assisted Incident Response
by: Barbieri, Sidnei, et al.
Published: (2026)

Enterprise Security Incident Analysis and Countermeasures Based on the T-Mobile Data Breach
by: Cui, Zhuohan, et al.
Published: (2025)

Bridging the Cybersecurity Gap Between Web2 and Web3 -- An Incident-Based Analysis of Organizational and Application-Level Security Failures
by: Yavas, Tarkan, et al.
Published: (2026)

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

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
by: Chen, Haobin Hiroki, et al.
Published: (2025)

Retrieval-Augmented LLMs for Security Incident Analysis
by: Cadet, Xavier, et al.
Published: (2026)

Before You Hand Over the Wheel: Evaluating LLMs for Security Incident Analysis
by: Jajodia, Sourov, et al.
Published: (2026)

Paladin: A Policy Framework for Securing Cloud APIs by Combining Application Context with Generative AI
by: Priya, Shriti, et al.
Published: (2026)

Formal Security Analysis of the AMD SEV-SNP Software Interface
by: Paradžik, Petar, et al.
Published: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
by: Antón, Anna Lena Duque, et al.
Published: (2024)

A Framework for Formalizing LLM Agent Security
by: Siu, Vincent, et al.
Published: (2026)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
by: Weintraub, Ben, et al.
Published: (2024)

An Automated Framework for Cybersecurity Policy Compliance Assessment Against Security Control Standards
by: Saha, Bikash, et al.
Published: (2026)

RETINA: Distributed and Secure Trust Management for Smart Grid Applications and Energy Trading
by: Boulgourasa, Vaios, et al.
Published: (2023)

RAG Security and Privacy: Formalizing the Threat Model and Attack Surface
by: Arzanipour, Atousa, et al.
Published: (2025)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Efficient ML-DSA Public Key Management Method with Identity for PKI and Its Application
by: Liu, Penghui, et al.
Published: (2026)

Formally-verified Security against Forgery of Remote Attestation using SSProve
by: Zain, Sara, et al.
Published: (2025)

EVA-S3PC: Efficient, Verifiable, Accurate Secure Matrix Multiplication Protocol Assembly and Its Application in Regression
by: Peng, Shizhao, et al.
Published: (2024)

Formalizing Stack Safety as a Security Property
by: Anderson, Sean Noble, et al.
Published: (2021)

Observability and Incident Response in Managed Serverless Environments Using Ontology-Based Log Monitoring
by: Ben-Shimol, Lavi, et al.
Published: (2024)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
by: Figge, Julius, et al.
Published: (2026)

FIST: A Structured Threat Modeling Framework for Fraud Incidents
by: Dai, Yu-Chen, et al.
Published: (2025)

Maris: A Formally Verifiable Privacy Policy Enforcement Paradigm for Multi-Agent Collaboration Systems
by: Cui, Jian, et al.
Published: (2025)

Hybrid Horizons: Policy for Post-Quantum Security
by: Jaikissoon, Anais
Published: (2025)

On the (In)Security of Loading Machine Learning Models
by: Digregorio, Gabriele, et al.
Published: (2025)

A Comprehensive Analysis of Pegasus Spyware and Its Implications for Digital Privacy and Security
by: Kareem, Karwan
Published: (2024)