:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Esposito, Andrea, Aldini, Alessandro, Bernardo, Marco, Rossi, Sabina
Format:	Preprint
Published:	2023
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2311.15670
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
by: Esposito, Andrea, et al.
Published: (2025)

Wanilla: Sound Noninterference Analysis for WebAssembly
by: Scherer, Markus, et al.
Published: (2025)

Unlinkability and History Preserving Bisimilarity
by: Aubert, Clément, et al.
Published: (2026)

Privacy-preserving and reward-based mechanisms of proof of engagement
by: Montanari, Matteo Marco, et al.
Published: (2025)

Redactable Blockchains: An Overview
by: Calandra, Federico, et al.
Published: (2025)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
by: Ressi, Dalila, et al.
Published: (2024)

Protocol Agent: What If Agents Could Use Cryptography In Everyday Life?
by: De Rossi, Marco
Published: (2026)

Reverse Engineering the Apple M1 Conditional Branch Predictor for Out-of-Place Spectre Mistraining
by: Tuby, Adam, et al.
Published: (2025)

Prompt Engineering vs. Fine-Tuning for LLM-Based Vulnerability Detection in Solana and Algorand Smart Contracts
by: Boi, Biagio, et al.
Published: (2025)

Reentrancy Detection in the Age of LLMs
by: Ressi, Dalila, et al.
Published: (2026)

Exploiting Inaccurate Branch History in Side-Channel Attacks
by: Zhu, Yuhui, et al.
Published: (2025)

A Private Smart Wallet with Probabilistic Compliance
by: Rizzini, Andrea, et al.
Published: (2025)

ReCopilot: Reverse Engineering Copilot in Binary Analysis
by: Chen, Guoqiang, et al.
Published: (2025)

A Real-Time Approach to Autonomous CAN Bus Reverse Engineering
by: Setterstrom, Kevin, et al.
Published: (2026)

Library-Attack: Reverse Engineering Approach for Evaluating Hardware IP Protection
by: Dasgupta, Aritra, et al.
Published: (2025)

Assessing the Performance of OpenTitan as Cryptographic Accelerator in Secure Open-Hardware System-on-Chips
by: Parisi, Emanuele, et al.
Published: (2024)

ReSMT: An SMT-Based Tool for Reverse Engineering
by: Somech, Nir, et al.
Published: (2025)

FreqFed: A Frequency Analysis-Based Approach for Mitigating Poisoning Attacks in Federated Learning
by: Fereidooni, Hossein, et al.
Published: (2023)

Improving Phishing Resilience with AI-Generated Training: Evidence on Prompting, Personalization, and Duration
by: Greco, Francesco, et al.
Published: (2025)

When Authentication Is Not Enough: On the Security of Behavioral-Based Driver Authentication Systems
by: Efatinasab, Emad, et al.
Published: (2023)

SoK: Harmonizing Attack Graphs and Intrusion Detection Systems
by: Agiollo, Andrea, et al.
Published: (2026)

The IoT Breaches your Household Again
by: Bonaventura, Davide, et al.
Published: (2024)

A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols
by: Lotto, Alessandro, et al.
Published: (2024)

CANDoSA: A Hardware Performance Counter-Based Intrusion Detection System for DoS Attacks on Automotive CAN bus
by: Oberti, Franco, et al.
Published: (2025)

Identifying Obfuscated Code through Graph-Based Semantic Analysis of Binary Code
by: Cohen, Roxane, et al.
Published: (2025)

Branch Landing: Bloom Filter-Based Source Authorization for Forward-Edge CFI on RISC-V
by: Wu, You, et al.
Published: (2026)

Combining Decentralized IDentifiers with Proof of Membership to Enable Trust in IoT Networks
by: Pino, Alessandro, et al.
Published: (2023)

Complex Domain Approach for Reversible Data Hiding and Homomorphic Encryption: General Framework and Application to Dispersed Data
by: Megias, David
Published: (2025)

Robust Reversible Watermarking in Encrypted Images Based on Dual-MSBs Spiral Embedding
by: Shen, Haoyu, et al.
Published: (2026)

An Improved Reversible Data Hiding Algorithm Based on Reconstructed Mapping for PVO-k
by: Zhang, Yusen, et al.
Published: (2024)

Predicting known Vulnerabilities from Attack News: A Transformer-Based Approach
by: Othman, Refat, et al.
Published: (2026)

It Is Time To Steer: A Scalable Framework for Analysis-driven Attack Graph Generation
by: Palma, Alessandro, et al.
Published: (2023)

BinPRE: Enhancing Field Inference in Binary Analysis Based Protocol Reverse Engineering
by: Jiang, Jiayi, et al.
Published: (2024)

Efficient Zero-Knowledge Proofs for Set Membership in Blockchain-Based Sensor Networks: A Novel OR-Aggregation Approach
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

Vulnerabilities in Machine Learning-Based Voice Disorder Detection Systems
by: Perelli, Gianpaolo, et al.
Published: (2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
by: Bernardo, Marco, et al.
Published: (2024)

The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
by: Múzquiz, Gorka Guardiola, et al.
Published: (2025)

CyberSleuth: Autonomous Blue-Team LLM Agent for Web Attack Forensics
by: Fumero, Stefano, et al.
Published: (2025)

PETIoT: PEnetration Testing the Internet of Things
by: Bella, Giampaolo, et al.
Published: (2023)

Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
by: An, Haonan, et al.
Published: (2025)