Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification | Paper Citation Record

Observation 7ad5f3b7-4e57-4bc6-b7a6-782e07ca0951 · outbound

This paper cites Deep learning with differential privacy.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Deep learning with differential privacy

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.494165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 394e2070-fd5f-48f3-9cb4-f8ae7bd2da54 · outbound

This paper cites Zero-knowledge proofs of training for deep neural networks.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Zero-knowledge proofs of training for deep neural networks

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.555354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 761ba115-e13d-46f8-9165-efb44e5bb798 · outbound

This paper cites Machine bias.ProPublica, May 2016.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Machine bias.ProPublica, May 2016

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.646429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0be8e93-756f-4765-9dba-44d2cd99b232 · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.719844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7a88710-d0db-4893-bb70-d17281ff6ec9 · outbound

This paper cites Velox: Scalable fair asynchronous MPC from lightweight cryp- tography.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Velox: Scalable fair asynchronous MPC from lightweight cryp- tography

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.786225Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad52c609-223b-4381-89e1-90a1e757c1f3 · outbound

This paper cites Joseph, and J.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Joseph, and J

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.835366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6b23ee5-b456-45a9-882c-5fa3a2a8fbf4 · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:18.930012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f130b3f-c7ea-43c3-8ba5-dc7a77e46ce8 · outbound

This paper cites Completeness theorems for non-cryptographic fault- tolerant distributed computation (extended abstract).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Completeness theorems for non-cryptographic fault- tolerant distributed computation (extended abstract)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.002791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 943923dd-5a80-4c1f-9bf8-5f030abc2baf · outbound

This paper cites P2NIA: Privacy-Preserving Non-Iterative Auditing.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification P2NIA: Privacy-Preserving Non-Iterative Auditing

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-01T06:43:46.840154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4fec5aa0-53cb-4d67-ad77-7074977394eb · outbound

This paper cites Multilinear schwartz- zippel mod N and lattice-based succinct arguments.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Multilinear schwartz- zippel mod N and lattice-based succinct arguments

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T06:43:46.729745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5cf86f6e-9468-444d-be5f-6afd092870d4 · outbound

This paper cites Building classifiers with independency constraints.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Building classifiers with independency constraints

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.229734Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd9e0c68-a397-4ffd-b098-62ec6582b411 · outbound

This paper cites {HOLMES}: Efficient distribution testing for secure collaborative learning.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification {HOLMES}: Efficient distribution testing for secure collaborative learning

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.350406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ef47096-a000-4159-af46-62b7f41d6ebb · outbound

This paper cites Multiparty unconditionally secure protocols (abstract).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Multiparty unconditionally secure protocols (abstract)

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.440684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c7612dd-3fab-4f95-9dfd-5d3b6384c6d9 · outbound

This paper cites Xgboost: A scal- able tree boosting system.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Xgboost: A scal- able tree boosting system

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.521045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49098c62-5097-4ef1-8bb5-d0eda5eabf42 · outbound

This paper cites Scalable and un- conditionally secure multiparty computation.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Scalable and un- conditionally secure multiparty computation

Reference 16

Resolution: verified exact; doi, observed 2026-08-01T06:43:45.534307Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 212f86cd-fa15-4601-a128-67ca02403501 · outbound

This paper cites Retiring adult: New datasets for fair machine learning.Advances in Neural Information Processing Systems, 34, 2021.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Retiring adult: New datasets for fair machine learning.Advances in Neural Information Processing Systems, 34, 2021

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.775962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 36b57faa-a76a-4ffa-bf1d-330281d7b91f · outbound

This paper cites Attesting distributional properties of training data for machine learning.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Attesting distributional properties of training data for machine learning

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.827113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9b98152-48ee-424b-94f9-63cb58d6ef94 · outbound

This paper cites The algorithmic foundations of differential privacy.Foundations and trends® in theoretical computer science, 9(3–4):211– 407, 2014.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification The algorithmic foundations of differential privacy.Foundations and trends® in theoretical computer science, 9(3–4):211– 407, 2014

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:19.918961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55f08ec2-15ea-4f42-82fb-3db1fd15475c · outbound

This paper cites Towards scalable YOSO MPC via packed secret-sharing.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Towards scalable YOSO MPC via packed secret-sharing

Reference 20

Resolution: verified exact; doi, observed 2026-08-01T06:43:44.103014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 294b766a-0325-4aaf-9103-b776249605dc · outbound

This paper cites Oath: Efficient and flexible zero-knowledge proofs of end-to-end ml fairness.arXiv preprint arXiv:2410.02777, 2024.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Oath: Efficient and flexible zero-knowledge proofs of end-to-end ml fairness.arXiv preprint arXiv:2410.02777, 2024

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.118575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57a95b2b-bcf2-4646-a81d-45860a3d8009 · outbound

This paper cites Experimenting with zero- knowledge proofs of training.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Experimenting with zero- knowledge proofs of training

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.200311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8ab1e22-bedb-4b91-a7ad-97aeafca798d · outbound

This paper cites The exact round complex- ity of secure computation.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification The exact round complex- ity of secure computation

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.282082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 244841bb-df87-4090-b5be-f567ccf3c961 · outbound

This paper cites YOSO: you only speak once - secure MPC with stateless ephemeral roles.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification YOSO: you only speak once - secure MPC with stateless ephemeral roles

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.405159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3441140a-63fb-4378-a082-ae08d577ddb8 · outbound

This paper cites How to play any mental game or A completeness theorem for protocols with honest majority.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification How to play any mental game or A completeness theorem for protocols with honest majority

Reference 25

Resolution: malformed identifier; no resolver link, observed 2026-08-01T06:40:20.515633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e6ac5e6-541f-4116-9ad5-ceee53113d44 · outbound

This paper cites The knowledge complexity of interactive proof- systems (extended abstract).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification The knowledge complexity of interactive proof- systems (extended abstract)

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.651454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd730af6-68fa-45c9-af86-122cd930d2eb · outbound

This paper cites Blockchains enable non-interactive MPC.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Blockchains enable non-interactive MPC

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.715329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85c58716-0adb-4518-8cf6-39369f762335 · outbound

This paper cites How one of apple’s key privacy safeguards falls short.Wired.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification How one of apple’s key privacy safeguards falls short.Wired

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.762658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b46253d-a37e-477f-869c-2866dd2efad0 · outbound

This paper cites The emerging science of machine learn- ing benchmarks.Manuscript.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification The emerging science of machine learn- ing benchmarks.Manuscript

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.821034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e05187fe-32c8-4dde-bc6c-9cc485466a82 · outbound

This paper cites Statlog (German Credit Data).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Statlog (German Credit Data)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.883289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4538a9b9-4f10-4108-9bfa-9f2997ac79a1 · outbound

This paper cites Membership in- ference attacks on machine learning: A survey.ACM Computing Surveys (CSUR), 54(11s):1–37, 2022.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Membership in- ference attacks on machine learning: A survey.ACM Computing Surveys (CSUR), 54(11s):1–37, 2022

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:20.980182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64155523-b96b-4f12-8fef-0e496fa2e7e0 · outbound

This paper cites Found- ing cryptography on oblivious transfer - efficiently.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Found- ing cryptography on oblivious transfer - efficiently

Reference 32

Resolution: verified exact; doi, observed 2026-08-01T06:43:43.171071Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 83c942a1-f7e8-4771-a046-f3a6676d4de7 · outbound

This paper cites Scaling up Trustless DNN Inference with Zero-Knowledge Proofs.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Scaling up Trustless DNN Inference with Zero-Knowledge Proofs

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.172039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a0c8ab0-553f-4523-a48f-37cc0319c015 · outbound

This paper cites Billion-gate secure computation with malicious adversaries.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Billion-gate secure computation with malicious adversaries

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.235307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c773a57d-9cbb-4d53-9a5b-c0375e07e734 · outbound

This paper cites zkcnn: Zero knowledge proofs for convolutional neural network pre- dictions and accuracy.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification zkcnn: Zero knowledge proofs for convolutional neural network pre- dictions and accuracy

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.317337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32b848af-3a4c-43a8-9a60-b578c62deea4 · outbound

This paper cites Model cards for model reporting.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Model cards for model reporting

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.389364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40a0f45d-ca07-4909-92f9-a3c94baa7255 · outbound

This paper cites PhD thesis, ETH Zurich, 10 2022.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification PhD thesis, ETH Zurich, 10 2022

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.489252Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d7510e0-1854-4729-a5c3-a9058876721a · outbound

This paper cites Sparrow: Space-efficient zksnark for data-parallel cir- cuits and applications to zero-knowledge decision trees.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Sparrow: Space-efficient zksnark for data-parallel cir- cuits and applications to zero-knowledge decision trees

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.642232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cb47319-637c-4001-bdae-50b7f808762f · outbound

This paper cites Communities and Crime.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Communities and Crime

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.763665Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4870cb47-3e41-41e7-b1dd-013b120d3790 · outbound

This paper cites Aequitas: A Bias and Fairness Audit Toolkit.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Aequitas: A Bias and Fairness Audit Toolkit

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:21.925169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65f96377-d8ad-407e-9f7c-7489ed1be93c · outbound

This paper cites Confidential-dpproof: Confidential proof of differentially private training.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Confidential-dpproof: Confidential proof of differentially private training

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.031814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb3803ed-9b57-43ad-9c7b-71185f83b0ce · outbound

This paper cites Confidential- profitt: confidential proof of fair training of trees.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Confidential- profitt: confidential proof of fair training of trees

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.181385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80027cbc-65f4-43de-801b-b6bd2f3a4624 · outbound

This paper cites Stochastic gradient descent with differentially private updates.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Stochastic gradient descent with differentially private updates

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.333909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6686b969-cdd3-4d5b-81ea-c56caf342c6d · outbound

This paper cites Certi- fied defenses for data poisoning attacks.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Certi- fied defenses for data poisoning attacks

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.439030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7303da32-a931-4bcf-bf49-59ebca2ead46 · outbound

This paper cites Zkdl: Efficient zero-knowledge proofs of deep learning training.IEEE Transactions on Information Forensics and Security, 2024.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Zkdl: Efficient zero-knowledge proofs of deep learning training.IEEE Transactions on Information Forensics and Security, 2024

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.549833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1db7eded-4179-4122-bcb0-b7036eb45ba9 · outbound

This paper cites Distill-and-compare: Auditing black-box models using transparent model distillation.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Distill-and-compare: Auditing black-box models using transparent model distillation

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.720803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fae18a68-5f29-4abd-89cf-89f1f760f459 · outbound

This paper cites Fairtest: Discovering unwar- ranted associations in data-driven applications.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Fairtest: Discovering unwar- ranted associations in data-driven applications

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:22.832090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a8ccdc3-7960-4bae-bcf1-c1b09b0e00a5 · outbound

This paper cites ezdps: An ef- ficient and zero-knowledge machine learning in- ference pipeline.Proc.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification ezdps: An ef- ficient and zero-knowledge machine learning in- ference pipeline.Proc

Reference 48

Resolution: verified exact; doi, observed 2026-08-01T06:43:40.762099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5a2ca85a-e286-456e-a898-36e9ed782a9c · outbound

This paper cites The generalization of ‘stu- dent’s’problem when several different population var- lances are involved.Biometrika, 34(1-2):28–35, 1947.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification The generalization of ‘stu- dent’s’problem when several different population var- lances are involved.Biometrika, 34(1-2):28–35, 1947

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.173214Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a7dca7f-83c7-46a3-b90e-1a0e2182dcc5 · outbound

This paper cites Differentially private sql with bounded user contribution.Proceedings on Privacy Enhancing Technologies, 2020.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Differentially private sql with bounded user contribution.Proceedings on Privacy Enhancing Technologies, 2020

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.316022Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d6d7ff3-4df3-421b-b2c4-7f9f6eaf5cf4 · outbound

This paper cites FairProof : Confidential and Certifiable Fairness for Neural Networks.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification FairProof : Confidential and Certifiable Fairness for Neural Networks

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.390306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64446d3b-6b7f-4019-b377-151738c04c8c · outbound

This paper cites Protocols for secure computa- tions (extended abstract).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Protocols for secure computa- tions (extended abstract)

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.449833Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2414820-3ed2-43e1-9e88-8c5bec52ed27 · outbound

This paper cites How to generate and exchange secrets (extended abstract).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification How to generate and exchange secrets (extended abstract)

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.500000Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b4ac495-137a-455a-b55e-67941bf5bb1f · outbound

This paper cites The comparisons of data mining techniques for the predictive accu- racy of probability of default of credit card clients.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification The comparisons of data mining techniques for the predictive accu- racy of probability of default of credit card clients

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.561718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 497f56ee-452b-4e85-b947-3c7cecea0230 · outbound

This paper cites How Benchmark Prediction from Fewer Data Misses the Mark.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification How Benchmark Prediction from Fewer Data Misses the Mark

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.654993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 445d229a-eab1-4c3a-9fb4-bcb11f395150 · outbound

This paper cites Zero knowledge proofs for decision tree predictions and accuracy.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Zero knowledge proofs for decision tree predictions and accuracy

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.725952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fab47a91-7c8f-41ed-a37d-cb4537f1f413 · outbound

This paper cites With respect to a private datasetchosen by the model provider, the committed model satisfies certain fairness guarantees.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification With respect to a private datasetchosen by the model provider, the committed model satisfies certain fairness guarantees

Reference 57

Resolution: malformed identifier; no resolver link, observed 2026-08-01T06:40:23.772262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b43403e-a046-45f2-aa0b-0a67f692bcfd · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 58

Resolution: parse uncertain; no resolver link, observed 2026-08-01T06:40:23.848551Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7835a38a-9cd1-45f3-9549-fd090e5116a9 · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:23.928048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8675527-c929-4a2e-9098-f1a68f85a67d · outbound

This paper cites Run EP (x;r E ) to extract the witness (h,ρ).

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Run EP (x;r E ) to extract the witness (h,ρ)

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:24.036464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3e325c7-6662-4e3f-8526-fdbe6f8a50d1 · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:24.168397Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0724a2d9-7b68-4d82-98ba-5c241a5b9863 · outbound

This paper cites 12We require this to realize negligible distinguishing advantage as in the standard zero-knowledge definition.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification 12We require this to realize negligible distinguishing advantage as in the standard zero-knowledge definition

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:24.298119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7adb20b8-ef99-4e35-83c7-4f49b23e9143 · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:24.442898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b87dc4de-cf2c-405d-b508-ea31b295ed15 · outbound

This paper cites an unresolved cited work.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:24.594749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68f99672-6e20-4dfc-a2be-26c0e6cf7516 · outbound

This paper cites Since Commit is hiding, the dummy commitment is indistin- guishable from a real commitment.

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification Since Commit is hiding, the dummy commitment is indistin- guishable from a real commitment

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-01T06:40:24.748213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers