Cover Image

Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Esposito, Andrea, Aldini, Alessandro, Bernardo, Marco
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
by: Esposito, Andrea, et al.
Published: (2023)

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

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

Optimistic Verifiable Training by Controlling Hardware Nondeterminism
by: Srivastava, Megha, et al.
Published: (2024)

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

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

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

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

Comparative Analysis of Blockchain Systems
by: Huang, Jiaqi, et al.
Published: (2025)

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

Hagenberg Risk Management Process (Part 3): Operationalization, Probabilities, and Causal Analysis
by: Hermann, Eckehard, et al.
Published: (2026)

Evaluating the Security of Merkle Trees in the Internet of Things: An Analysis of Data Falsification Probabilities
by: Kuznetsov, Oleksandr, et al.
Published: (2024)

Building Trust in Data for IoT Systems
by: Margaria, Davide, et al.
Published: (2024)

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

Towards Irreversible Machine Unlearning for Diffusion Models
by: Yuan, Xun, et al.
Published: (2025)

Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems
by: Marcelletti, Alessandro, et al.
Published: (2024)

Reverse Engineered MiniFS File System
by: Belimov, Dmitrii, et al.
Published: (2024)

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

Data Certification Strategies for Blockchain-based Traceability Systems
by: Zonneveld, Giacomo, et al.
Published: (2025)

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

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

On the Integration of Self-Sovereign Identity with TLS 1.3 Handshake to Build Trust in IoT Systems
by: Perugini, Leonardo, et al.
Published: (2023)

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

Analysis of the Security Design, Engineering, and Implementation of the SecureDNA System
by: Sherman, Alan T., et al.
Published: (2025)

A Sysmon Incremental Learning System for Ransomware Analysis and Detection
by: Ispahany, Jamil, et al.
Published: (2025)

Model-Driven Security Analysis of Self-Sovereign Identity Systems
by: Ding, Yepeng, et al.
Published: (2024)

Mitigating and Analysis of Memory Usage Attack in IoE System
by: Alwaisi, Zainab, et al.
Published: (2024)

Comparative Analysis of SRAM PUF Temperature Susceptibility on Embedded Systems
by: Zeinzinger, Martina, et al.
Published: (2026)

Core Logic and Algorithmic Performance Enhancements for a System Vulnerability Analysis Technique for Complex Mission Critical Systems Implementation
by: Tassava, Matthew, et al.
Published: (2026)

PQ-CAN: A Framework for Simulating Post-Quantum Cryptography in Embedded Systems
by: Conti, Mauro, et al.
Published: (2025)

Clap: a Semantic-Preserving Optimizing eDSL for Plonkish Proof Systems
by: Stronati, Marco, et al.
Published: (2024)

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

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

CANTXSec: A Deterministic Intrusion Detection and Prevention System for CAN Bus Monitoring ECU Activations
by: Donadel, Denis, et al.
Published: (2025)

DoS Attacks and Defense Technologies in Blockchain Systems: A Hierarchical Analysis
by: Zhang, Chunyi, et al.
Published: (2025)

Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
by: Chatterjee, Krishnendu, et al.
Published: (2024)

Simple But Not Secure: An Empirical Security Analysis of Two-factor Authentication Systems
by: Wang, Zhi, et al.
Published: (2024)

Privacy Analysis of Samsung's Crowd-Sourced Bluetooth Location Tracking System
by: Yu, Tingfeng, et al.
Published: (2022)

Evaluating Post-Quantum Cryptography on Embedded Systems: A Performance Analysis
by: Dong, Ben, et al.
Published: (2024)

HyperGo: Probability-based Directed Hybrid Fuzzing
by: Lin, Peihong, et al.
Published: (2023)