Imagen de Portada

Verifying the Fisher-Yates Shuffle Algorithm in Dafny

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zetzsche, Stefan, Tristan, Jean-Baptiste, Lepoint, Tancrede, Mayer, Mikael
Formato:	Preprint
Publicado:	2025
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

Verified Foundations for Differential Privacy
por: de Medeiros, Markus, et al.
Publicado: (2024)

Make Shuffling Great Again: A Side-Channel Resistant Fisher-Yates Algorithm for Protecting Neural Networks
por: Puškáč, Leonard, et al.
Publicado: (2025)

Efficient Verifiable Differential Privacy with Input Authenticity in the Local and Shuffle Model
por: Bontekoe, Tariq, et al.
Publicado: (2024)

To Shuffle or not to Shuffle: Auditing DP-SGD with Shuffling
por: Annamalai, Meenatchi Sundaram Muthu Selva, et al.
Publicado: (2024)

Shuffling for Semantic Secrecy
por: Chen, Fupei, et al.
Publicado: (2025)

Bayesian Advantage of Re-Identification Attack in the Shuffle Model
por: Su, Pengcheng, et al.
Publicado: (2025)

A Complexity Hierarchy of Shuffles in Card-Based Protocols
por: Ono, Tomoki, et al.
Publicado: (2026)

Privacy Amplification via Shuffling: Unified, Simplified, and Tightened
por: Wang, Shaowei, et al.
Publicado: (2023)

Decomposition-Based Optimal Bounds for Privacy Amplification via Shuffling
por: Su, Pengcheng, et al.
Publicado: (2025)

Segmented Private Data Aggregation in the Multi-message Shuffle Model
por: Wang, Shaowei, et al.
Publicado: (2024)

Verifiable Encodings for Secure Homomorphic Analytics
por: Chatel, Sylvain, et al.
Publicado: (2022)

Single-Shuffle Full-Open Card-Based Protocols for Any Function
por: Eriguchi, Reo, et al.
Publicado: (2025)

Tight Differential Privacy Guarantees for the Shuffle Model with $k$-Randomized Response
por: Biswas, Sayan, et al.
Publicado: (2022)

RAIN: Secure and Robust Aggregation under Shuffle Model of Differential Privacy
por: Li, Yuhang, et al.
Publicado: (2026)

Trusted Compute Units: A Framework for Chained Verifiable Computations
por: Castillo, Fernando, et al.
Publicado: (2025)

Augmented Shuffle Protocols for Accurate and Robust Frequency Estimation under Differential Privacy
por: Murakami, Takao, et al.
Publicado: (2025)

Robust Single-message Shuffle Differential Privacy Protocol for Accurate Distribution Estimation
por: Li, Xiaoguang, et al.
Publicado: (2026)

A Hardware-Friendly Shuffling Countermeasure Against Side-Channel Attacks for Kyber
por: Xu, Dejun, et al.
Publicado: (2024)

Defense against Poisoning Attacks under Shuffle-DP
por: Wang, Siyi, et al.
Publicado: (2026)

Enhanced Privacy Bound for Shuffle Model with Personalized Privacy
por: Liu, Yixuan, et al.
Publicado: (2024)

Mutual Information Bounds in the Shuffle Model
por: Su, Pengcheng, et al.
Publicado: (2025)

Augmented Shuffle Differential Privacy Protocols for Large-Domain Categorical and Key-Value Data
por: Murakami, Takao, et al.
Publicado: (2025)

CSVAR: Enhancing Visual Privacy in Federated Learning via Adaptive Shuffling Against Overfitting
por: Chen, Zhuo, et al.
Publicado: (2025)

Camel: Communication-Efficient and Maliciously Secure Federated Learning in the Shuffle Model of Differential Privacy
por: Xu, Shuangqing, et al.
Publicado: (2024)

Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling
por: Athanasiou, Andreas, et al.
Publicado: (2024)

State of the Art Report: Verified Computation
por: Woodcock, Jim, et al.
Publicado: (2023)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
por: Mohammed, Ameer, et al.
Publicado: (2026)

On the (In-)Security of the Shuffling Defense in the Transformer Secure Inference
por: Li, Zhengyi, et al.
Publicado: (2026)

Verifiable Differential Privacy
por: Biswas, Ari, et al.
Publicado: (2022)

A Simple Data Exfiltration Game
por: Caulfield, Tristan
Publicado: (2025)

Weights Shuffling for Improving DPSGD in Transformer-based Models
por: Yang, Jungang, et al.
Publicado: (2024)

Verifiable Weighted Secret Sharing
por: Shehata, Kareem, et al.
Publicado: (2025)

Verifiable Privacy-Preserving Computing
por: Bontekoe, Tariq, et al.
Publicado: (2023)

A Generalized Shuffle Framework for Privacy Amplification: Strengthening Privacy Guarantees and Enhancing Utility
por: Chen, E, et al.
Publicado: (2023)

Verifiable Exponential Mechanism for Median Estimation
por: Kwon, Hyukjun, et al.
Publicado: (2025)

Cryptographic Verifiability for Voter Registration Systems
por: Fábrega, Andrés, et al.
Publicado: (2025)

Compact and Selective Disclosure for Verifiable Credentials
por: Buldini, Alessandro, et al.
Publicado: (2025)

Cryptanalysis on Lightweight Verifiable Homomorphic Encryption
por: Cheon, Jung Hee, et al.
Publicado: (2025)

Efficient Fault-Tolerant Quantum Protocol for Differential Privacy in the Shuffle Model
por: Asghar, Hassan Jameel, et al.
Publicado: (2024)

Beyond Statistical Estimation: Differentially Private Individual Computation via Shuffling
por: Wang, Shaowei, et al.
Publicado: (2024)