Cover Image

Type-Based Enforcement of Non-Interference for Choreographic Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bertoni, Marco, Giallorenzo, Saverio, Peressotti, Marco
Format:	Preprint
Published:	2026
Subjects:	Programming Languages Cryptography and Security Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
by: De Palma, Giuseppe, et al.
Published: (2024)

RegGuard: Legitimacy and Fairness Enforcement for Optimistic Rollups
by: Shang, Zhenhang, et al.
Published: (2026)

Static Analysis for Detecting Transaction Conflicts in Ethereum Smart Contracts
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
by: Bates, Mako, et al.
Published: (2024)

Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

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

Efficient Query Verification for Blockchain Superlight Clients Using SNARKs
by: De Angelis, Stefano, et al.
Published: (2025)

RVISmith: Fuzzing Compilers for RVV Intrinsics
by: He, Yibo, et al.
Published: (2025)

Suki: Choreographed Distributed Dataflow in Rust
by: Laddad, Shadaj, et al.
Published: (2024)

Ark: Offchain Transaction Batching in Bitcoin
by: Keer, Pim, et al.
Published: (2026)

Cloud Security and Security Challenges Revisited
by: Süß, Fabian, et al.
Published: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
by: Bates, Mako, et al.
Published: (2024)

AQUAREUM: Non-Equivocating Censorship-Evident Centralized Ledger with EVM-Based Verifiable Execution using Trusted Computing and Blockchain
by: Homoliak, Ivan, et al.
Published: (2020)

Implementation of New Security Features in CMSWEB Kubernetes Cluster at CERN
by: Ali, Aamir, et al.
Published: (2024)

ESSPI: ECDSA/Schnorr Signed Program Input for BitVMX
by: Lerner, Sergio Demian, et al.
Published: (2025)

GPU Acceleration of Learning With Errors KEMs Using OpenACC for Post-Quantum Cryptography
by: Liberati, Tiziana, et al.
Published: (2026)

Distributed Non-Interactive Zero-Knowledge Proofs
by: Grilo, Alex B., et al.
Published: (2025)

Leveraging MTD to Mitigate Poisoning Attacks in Decentralized FL with Non-IID Data
by: Feng, Chao, et al.
Published: (2024)

SoK: Concurrency in Blockchain -- A Systematic Literature Review and the Unveiling of a Misconception
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
by: Shapiro, Ehud
Published: (2025)

Blockchain-Based Transferable Digital Rights of Land
by: Dwivedi, Ras, et al.
Published: (2023)

Towards Proxy Staking Accounts Based on NFTs in Ethereum
by: Valaštín, Viktor, et al.
Published: (2024)

Obelia: Scaling DAG-Based Blockchains to Hundreds of Validators
by: Danezis, George, et al.
Published: (2024)

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures
by: Liu, Haoxuan, et al.
Published: (2023)

Head Count: Privacy-Preserving Face-Based Crowd Monitoring
by: Marzani, Fatemeh, et al.
Published: (2026)

Voyager: MTD-Based Aggregation Protocol for Mitigating Poisoning Attacks on DFL
by: Feng, Chao, et al.
Published: (2023)

Developing a Blockchain-Based Secure Digital Contents Distribution System
by: Qadri, Syed Mohiuddin, et al.
Published: (2025)

A Range-Based Sharding (RBS) Protocol for Scalable Enterprise Blockchain
by: Haider, M. Z., et al.
Published: (2025)

Analyzing Performance Bottlenecks in Zero-Knowledge Proof Based Rollups on Ethereum
by: Habib, Md. Ahsan
Published: (2025)

Zero-Knowledge Proof-Based Consensus for Blockchain-Secured Federated Learning
by: Fu, Tianxing, et al.
Published: (2025)

Mahi-Mahi: Low-Latency Asynchronous BFT DAG-Based Consensus
by: Jovanovic, Philipp, et al.
Published: (2024)

Variational Autoencoder-Based Black-Box Adversarial Attack on Collaborative DNN Inference
by: Yousefi, Shima, et al.
Published: (2025)

Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols
by: Keller, Patrik
Published: (2025)

PCDM: A Diffusion-Based Data Poisoning Attack Against Federated Learning Systems
by: Sun, Wei, et al.
Published: (2026)

Revocation-Ready CP-ABE Key Management for Blockchain-Based IoT Data Sharing
by: Chiu, Chun Yin
Published: (2026)

A Sharded Blockchain-Based Secure Federated Learning Framework for LEO Satellite Networks
by: Wu, Wenbo, et al.
Published: (2024)

A Committee Based Optimal Asynchronous Byzantine Agreement Protocol W.P. 1
by: Sony, Nasit S, et al.
Published: (2024)

Towards a Blockchain-Based CI/CD Framework to Enhance Security in Cloud Environments
by: Saleh, Sabbir M, et al.
Published: (2025)

Haina Storage: A Decentralized Secure Storage Framework Based on Improved Blockchain Structure
by: Zhou, Zijian, et al.
Published: (2024)

EDGChain-E: A Decentralized Git-Based Framework for Versioning Encrypted Energy Data
by: Alimoglu, Alper, et al.
Published: (2025)