Image de couverture de livre

Universally Composable Termination Analysis of Tendermint

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dong, Zhixin, Xu, Xian, Zeng, Yuhang, Wan, Mingchao, Li, Chunmiao
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Universally Composable Commitments with Communicating Malicious Physically Uncloneable Functions
par: Abecasis, Lourenço, et autres
Publié: (2025)

Strong Privacy-Preserving Universally Composable AKA Protocol with Seamless Handover Support for Mobile Virtual Network Operator
par: Alnashwan, Rabiah, et autres
Publié: (2024)

Composability in Watermarking Schemes
par: Liu, Jiahui, et autres
Publié: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
par: Künnemann, Robert, et autres
Publié: (2024)

A Theory of Composable Lingos for Protocol Dialects
par: García, Víctor, et autres
Publié: (2026)

Ransomware 3.0: Self-Composing and LLM-Orchestrated
par: Raz, Md, et autres
Publié: (2025)

Collaborative CP-NIZKs: Modular, Composable Proofs for Distributed Secrets
par: Alghazwi, Mohammed, et autres
Publié: (2024)

DTL: Data Tumbling Layer. A Composable Unlinkability for Smart Contracts
par: Minaei, Mohsen, et autres
Publié: (2025)

Attack via Overfitting: 10-shot Benign Fine-tuning to Jailbreak LLMs
par: Xie, Zhixin, et autres
Publié: (2025)

Bitcoin Staking
par: Dong, Xinshu, et autres
Publié: (2024)

ShadowScope: GPU Monitoring and Validation via Composable Side Channel Signals
par: Almusaddar, Ghadeer, et autres
Publié: (2025)

Protocol Dialects as Formal Patterns: A Composable Theory of Lingos -- Technical report
par: García, Víctor, et autres
Publié: (2025)

TETRIS: Composing FHE Techniques for Private Functional Exploration Over Large Datasets
par: Izabachène, Malika, et autres
Publié: (2024)

Composable Attestation: A Generalized Framework for Continuous and Incremental Trust in AI-Driven Distributed Systems
par: Sun, Sheng, et autres
Publié: (2026)

Trace: Unmasking AI Attack Agents Through Terminal Behavior Fingerprinting
par: Ediga, Murali, et autres
Publié: (2026)

Fresh Masking Makes NTT Pipelines Composable: Machine-Checked Proofs for Arithmetic Masking in PQC Hardware
par: Iskander, Ray, et autres
Publié: (2026)

LoopTrap: Termination Poisoning Attacks on LLM Agents
par: Xu, Huiyu, et autres
Publié: (2026)

AggFT: Low-Cost Fault-Tolerant Smart Meter Aggregation with Proven Termination and Privacy
par: Eibl, Günther, et autres
Publié: (2021)

Composable Security of Distributed Symmetric Key Establishment Protocol
par: Lin, Jie, et autres
Publié: (2023)

EQO: Exploring Ultra-Efficient Private Inference with Winograd-Based Protocol and Quantization Co-Optimization
par: Zeng, Wenxuan, et autres
Publié: (2024)

Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation
par: Abideen, Zain Ul, et autres
Publié: (2026)

Tyche: Composable Isolation as a Foundation to Manage Trust in the Cloud
par: Ghosn, Adrien, et autres
Publié: (2025)

A Comprehensive Analysis of Routing Vulnerabilities and Defense Strategies in IoT Networks
par: Jae-Dong, Kim
Publié: (2024)

Layered, Overlapping, and Inconsistent: A Large-Scale Analysis of the Multiple Privacy Policies and Controls of U.S. Banks
par: Xian, Lu, et autres
Publié: (2025)

Evaluating Post-Quantum Cryptography on Embedded Systems: A Performance Analysis
par: Dong, Ben, et autres
Publié: (2024)

Comprehensive Vulnerability Analysis is Necessary for Trustworthy LLM-MAS
par: He, Pengfei, et autres
Publié: (2025)

A Note on Non-Composability of Layerwise Approximate Verification for Neural Inference
par: Zamir, Or
Publié: (2026)

TrojanPraise: Jailbreak LLMs via Benign Fine-Tuning
par: Xie, Zhixin, et autres
Publié: (2026)

Immutable Digital Recognition via Blockchain
par: Zhang, Zeng, et autres
Publié: (2025)

Time-Frequency Jointed Imperceptible Adversarial Attack to Brainprint Recognition with Deep Learning Models
par: Yi, Hangjie, et autres
Publié: (2024)

RAIN: Secure and Robust Aggregation under Shuffle Model of Differential Privacy
par: Li, Yuhang, et autres
Publié: (2026)

ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips
par: Sheikh, Ahmad T., et autres
Publié: (2024)

Adversarial Contrastive Learning for LLM Quantization Attacks
par: Song, Dinghong, et autres
Publié: (2026)

Efficient Byzantine-Robust Privacy-Preserving Federated Learning via Dimension Compression
par: Qin, Xian, et autres
Publié: (2025)

From Precise to Random: A Systematic Differential Fault Analysis of the Lightweight Block Cipher Lilliput
par: Xie, Peipei, et autres
Publié: (2026)

Tracking GPTs Third Party Service: Automation, Analysis, and Insights
par: Yan, Chuan, et autres
Publié: (2025)

DINVMark: A Deep Invertible Network for Video Watermarking
par: Ji, Jianbin, et autres
Publié: (2025)

Beyond Immediate Activation: Temporally Decoupled Backdoor Attacks on Time Series Forecasting
par: Liu, Zhixin, et autres
Publié: (2026)

A Comprehensive Evaluation and Practice of System Penetration Testing
par: Zhang, Chunyi, et autres
Publié: (2025)

Beyond Model Jailbreak: Systematic Dissection of the "Ten DeadlySins" in Embodied Intelligence
par: Huang, Yuhang, et autres
Publié: (2025)