82 citations · 369 across the 63 of their papers we have counts for
4 papers · 1 filter
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
Ashwin Karthikeyan, Ethan Kharitonov, Kuldeep S. Meel +1
Proofs of UNSAT are a standard primitive in formal verification and software assurance. In many real-world settings, the proof itself encodes proprietary or security-sensitive info…
Towards Practical Zero-Knowledge Proof for PSPACE
Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel +1
Efficient zero-knowledge proofs (ZKPs) have been restricted to NP statements so far, whereas they exist for all statements in PSPACE. This work presents the first practical zero-kn…
A Scalable Shannon Entropy Estimator
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
We revisit the well-studied problem of estimating the Shannon entropy of a probability distribution, now given access to a probability-revealing conditional sampling oracle. In thi…
Quantitative Verification of Neural Networks And its Security Applications
Teodora Baluta, Shiqi Shen, Shweta Shinde +2
Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior w…