Cover Image

DT-SIM: Property-Based Testing for MPC Security

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bates, Mako, Near, Joseph P.
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Language-Based Security for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2024)

SMT-Boosted Security Types for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2025)

OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols
by: Ngong, Ivoline C., et al.
Published: (2023)

SoK: Usability Studies in Differential Privacy
by: Dibia, Onyinye, et al.
Published: (2024)

Distributed HDMM: Scalable, Distributed, Accurate, and Differentially Private Query Workloads without a Trusted Curator
by: Sedimo, Ratang, et al.
Published: (2025)

SIMulator: SIM Tracing on a (Pico-)Budget
by: Gegenhuber, Gabriel K., et al.
Published: (2025)

Evaluating the Usability of Differential Privacy Tools with Data Practitioners
by: Ngong, Ivoline C., et al.
Published: (2023)

MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner
by: Zhou, Yichen, et al.
Published: (2025)

Ditto: Quantization-aware Secure Inference of Transformers upon MPC
by: Wu, Haoqi, et al.
Published: (2024)

Covert Attacks on Machine Learning Training in Passively Secure MPC
by: Jagielski, Matthew, et al.
Published: (2025)

MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge)
by: Coladangelo, Andrea, et al.
Published: (2025)

MPC-Minimized Secure LLM Inference
by: Rathee, Deevashwer, et al.
Published: (2024)

DIMSIM -- Device Integrity Monitoring through iSIM Applets and Distributed Ledger Technology
by: Faisal, Tooba, et al.
Published: (2024)

ReSIM: Re-ranking Binary Similarity Embeddings to Improve Function Search Performance
by: Capozzi, Gianluca, et al.
Published: (2026)

Differentially Private Learning Needs Better Model Initialization and Self-Distillation
by: Ngong, Ivoline C., et al.
Published: (2024)

The Cost of Quantum Resistance: A Hash-Based Commit-Reveal Alternative for Minimizing Blockchain Infrastructure Overhead
by: Finlow-Bates, Keir, et al.
Published: (2026)

MPC-Pipe: an Efficient Pipeline Scheme for Secure Multi-party Machine Learning Inference
by: Wang, Yongqin, et al.
Published: (2022)

SoK: Demystifying the multiverse of MPC protocols
by: De Viti, Roberta, et al.
Published: (2025)

PrivacySIM: Evaluating LLM Simulation of User Privacy Behavior
by: Flemings, James, et al.
Published: (2026)

Advanced Penetration Testing for Enhancing 5G Security
by: Smith-Haynes, Shari-Ann
Published: (2024)

Penetration Testing for System Security: Methods and Practical Approaches
by: Zhang, Wei, et al.
Published: (2025)

PRIVMARK: Private Large Language Models Watermarking with MPC
by: Fargues, Thomas, et al.
Published: (2025)

Critical Infrastructure Security: Penetration Testing and Exploit Development Perspectives
by: Orleans-Bosomtwe, Papa Kobina
Published: (2024)

Beyond the Scope: Security Testing of Permission Management in Team Workspace
by: Wan, Liuhuo, et al.
Published: (2025)

Poster: Towards an Automated Security Testing Framework for Industrial UEs
by: Michaelides, Sotiris, et al.
Published: (2025)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
by: Qin, Kaihua, et al.
Published: (2023)

SoK: Evolution, Security, and Fundamental Properties of Transactional Systems
by: Waterpeace, Sky Pelletier, et al.
Published: (2026)

Robust and Verifiable MPC with Applications to Linear Machine Learning Inference
by: Wang, Tzu-Shen, et al.
Published: (2025)

LRD-MPC: Efficient MPC Inference through Low-rank Decomposition
by: Tang, Tingting, et al.
Published: (2026)

Towards Safety and Security Testing of Cyberphysical Power Systems by Shape Validation
by: Geiger, Alexander, et al.
Published: (2025)

AgentRFC: Security Design Principles and Conformance Testing for Agent Protocols
by: Zheng, Shenghan, et al.
Published: (2026)

A Systematic Security Testing Approach for InterUSS-based environments
by: de Miranda, Henrique Curi, et al.
Published: (2026)

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

Noise-Based Authentication: Is It Secure?
by: Flanery, Sarah A., et al.
Published: (2024)

Aim High, Stay Private: Differentially Private Synthetic Data Enables Public Release of Behavioral Health Information with High Utility
by: Ghasemizade, Mohsen, et al.
Published: (2025)

The Matrix Subcode Equivalence problem and its application to signature with MPC-in-the-Head
by: Bardet, Magali, et al.
Published: (2025)

Beyond Latency: A System-Level Characterization of MPC and FHE for PPML
by: Huang, Pengzhi, et al.
Published: (2026)

ATLASv2: ATLAS Attack Engagements, Version 2
by: Riddle, Andy, et al.
Published: (2023)

Bridging Theory and Practice: An Executable Taxonomy of Security Properties for ProVerif and Tamarin
by: Tudorache, Leonard, et al.
Published: (2026)

MPCache: MPC-Friendly KV Cache Eviction for Efficient Private LLM Inference
by: Zeng, Wenxuan, et al.
Published: (2025)