Cover Image

Spatial Discretization for Fine-Grain Zone Checks with STARKs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lee, Sungmin, Lee, Kichang, Han, Gyeongmin, Ko, JeongGil
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

Verifiable Dropout: Turning Randomness into a Verifiable Claim
by: Lee, Kichang, et al.
Published: (2025)

DeTrigger: A Gradient-Centric Approach to Backdoor Attack Mitigation in Federated Learning
by: Lee, Kichang, et al.
Published: (2024)

Analyzing the Impact of the Automatic Ball Strike System in Professional Baseball through a Case Study on KBO League Data
by: Lee, Kichang, et al.
Published: (2024)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
by: Nainwal, Ayush, et al.
Published: (2025)

Fast, Fine-Grained Equivalence Checking for Neural Decompilers
by: Dramko, Luke, et al.
Published: (2025)

Improving Local Training in Federated Learning via Temperature Scaling
by: Lee, Kichang, et al.
Published: (2024)

Scalable UTXO Smart Contracts via Fine-Grained Distributed State
by: Bartoletti, Massimo, et al.
Published: (2024)

X-PRINT:Platform-Agnostic and Scalable Fine-Grained Encrypted Traffic Fingerprinting
by: Zhu, YuKun, et al.
Published: (2025)

SkillScope: Toward Fine-Grained Least-Privilege Enforcement for Agent Skills
by: Wu, Jiangrong, et al.
Published: (2026)

CIPHR: Cryptography Inspired IP Protection through Fine-Grain Hardware Redaction
by: Dasgupta, Aritra, et al.
Published: (2026)

Fine-Grained 1-Day Vulnerability Detection in Binaries via Patch Code Localization
by: Dong, Chaopeng, et al.
Published: (2025)

Fine Grained Insider Risk Detection
by: Huber, Birkett, et al.
Published: (2024)

Privacy-Preserving Identifier Checking in 5G
by: Gräfenstein, Marcel D. S. K., et al.
Published: (2025)

On Scalable Integrity Checking for Secure Cloud Disks
by: Burke, Quinn, et al.
Published: (2024)

CachePrune: Privacy-Aware and Fine-Grained KV Cache Sharing for Efficient LLM Inference
by: Wu, Guanlong, et al.
Published: (2026)

BinSimDB: Benchmark Dataset Construction for Fine-Grained Binary Code Similarity Analysis
by: Zuo, Fei, et al.
Published: (2024)

Effective Heterogeneous Federated Learning via Efficient Hypernetwork-based Weight Generation
by: Shin, Yujin, et al.
Published: (2024)

Reality Check for Tor Website Fingerprinting in the Open World
by: Shadbeh, Mohammadhamed, et al.
Published: (2026)

Fine-Grained Privacy Extraction from Retrieval-Augmented Generation Systems via Knowledge Asymmetry Exploitation
by: Chen, Yufei, et al.
Published: (2025)

FACOS: Enabling Privacy Protection Through Fine-Grained Access Control with On-chain and Off-chain System
by: Liu, Chao, et al.
Published: (2024)

Towards Fine-Grained Webpage Fingerprinting at Scale
by: Zhao, Xiyuan, et al.
Published: (2024)

X-CANIDS: Signal-Aware Explainable Intrusion Detection System for Controller Area Network-Based In-Vehicle Network
by: Jeong, Seonghoon, et al.
Published: (2023)

Inner-product Functional Encryption with Fine-grained Revocation for Flexible EHR Sharing
by: Han, Yue, et al.
Published: (2025)

ARTeX: Anonymity Real-world-assets Token eXchange
by: Lee, Jaeseong, et al.
Published: (2025)

Toward Storage-Aware Learning with Compressed Data An Empirical Exploratory Study on JPEG
by: Lee, Kichang, et al.
Published: (2025)

TEEMATE: Fast and Efficient Confidential Container using Shared Enclave
by: Lee, Chulmin, et al.
Published: (2024)

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
by: Manimaran, Praveensankar, et al.
Published: (2025)

Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
by: Capozucca, Alfredo, et al.
Published: (2024)

JITScanner: Just-in-Time Executable Page Check in the Linux Operating System
by: Caporaso, Pasquale, et al.
Published: (2024)

Proof-of-Authorship for Diffusion-based AI Generated Content
by: Lee, De Zhang, et al.
Published: (2026)

Maude-HCS: Model Checking the Undetectability-Performance Tradeoffs of Hidden Communication Systems
by: Khoury, Joud, et al.
Published: (2026)

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts
by: Lee, Suhyeon, et al.
Published: (2024)

M3S-UPD: Efficient Multi-Stage Self-Supervised Learning for Fine-Grained Encrypted Traffic Classification with Unknown Pattern Discovery
by: Yuan, Yali, et al.
Published: (2025)

Beyond Detection: A Comprehensive Benchmark and Study on Representation Learning for Fine-Grained Webshell Family Classification
by: Han, Feijiang
Published: (2025)

Adaptive Chosen-Ciphertext Security of Distributed Broadcast Encryption
by: Lee, Kwangsu
Published: (2025)

Adaptively Secure Distributed Broadcast Encryption with Linear-Size Public Parameters
by: Lee, Kwangsu
Published: (2025)

Michscan: Black-Box Neural Network Integrity Checking at Runtime Through Power Analysis
by: Paul, Robi, et al.
Published: (2025)

Prime-Field PINI: Machine-Checked Composition Theorems for Post-Quantum NTT Masking
by: Iskander, Ray, et al.
Published: (2026)

ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check
by: Lotto, Alessandro, et al.
Published: (2024)

Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users
by: Bloemen, Remco, et al.
Published: (2024)