Imagen de Portada

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Esposito, Andrea, Aldini, Alessandro, Bernardo, Marco, Rossi, Sabina
Formato:	Preprint
Publicado:	2023
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Redactable Blockchains: An Overview
por: Calandra, Federico, et al.
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

BaseMirror: Automatic Reverse Engineering of Baseband Commands from Android's Radio Interface Layer
por: Li, Wenqiang, et al.
Publicado: (2024)

The SDSC Satellite Reverse Proxy Service for Launching Secure Jupyter Notebooks on High-Performance Computing Systems
por: Thomas, Mary P, et al.
Publicado: (2025)

LibIHT: A Hardware-Based Approach to Efficient and Evasion-Resistant Dynamic Binary Analysis
por: Zhao, Changyu, et al.
Publicado: (2025)

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

Reversible Data Hiding over Encrypted Images via Intrinsic Correlation in Block-Based Secret Sharing
por: Zou, Jianhui, et al.
Publicado: (2025)

The Reversing Machine: Reconstructing Memory Assumptions
por: Karvandi, Mohammad Sina, et al.
Publicado: (2024)

Honeypot-powered Malware Reverse Engineering
por: Bombardieri, Michele, et al.
Publicado: (2015)