Paper Citation Record · LEDGER

Privacy-Preserving Robustness Verification for Neural Networks

As of 6 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2607.05251.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.05251 v1

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-07T22:02:21.493977Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

24 of 24 outbound references displayed

verified exact1
verified fuzzy20
unresolved2
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 23c5c5d2-6e19-4fd5-b1a4-75616dfb8111 · outbound

This paper cites Function se- cret sharing.

Privacy-Preserving Robustness Verification for Neural Networks Function se- cret sharing

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.549612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 09d9749e-2592-447e-8731-cd3da644d5db · outbound

This paper cites A DPLL(T) Framework for Verifying Deep Neural Networks.

Privacy-Preserving Robustness Verification for Neural Networks A DPLL(T) Framework for Verifying Deep Neural Networks

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-07-07T22:04:07.488336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b3e6de22-f09b-4e5a-800a-864fe8e22f10 · outbound

This paper cites an unresolved cited work.

Privacy-Preserving Robustness Verification for Neural Networks Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-07-07T22:04:07.566060Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e13043d0-ddc6-4e86-95c9-9d2768d97ed0 · outbound

This paper cites Goldreich, S.

Privacy-Preserving Robustness Verification for Neural Networks Goldreich, S

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.574566Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 52e027d1-164e-4cba-a762-0f9b24086ea2 · outbound

This paper cites Goodfellow, Jonathon Shlens, and Christian Szegedy.

Privacy-Preserving Robustness Verification for Neural Networks Goodfellow, Jonathon Shlens, and Christian Szegedy

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.553080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 13c4828b-710b-4cdd-90fb-19caab5c0e09 · outbound

This paper cites SHARK: actively secure in- ference using function secret sharing.

Privacy-Preserving Robustness Verification for Neural Networks SHARK: actively secure in- ference using function secret sharing

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.557695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 472ce925-accc-4164-b1a4-66397dc71bda · outbound

This paper cites Dietterich.

Privacy-Preserving Robustness Verification for Neural Networks Dietterich

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.536695Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d5c2d9e3-0268-4e81-89d5-2c64b0d888a0 · outbound

This paper cites Dill, Kyle Julian, and Mykel J.

Privacy-Preserving Robustness Verification for Neural Networks Dill, Kyle Julian, and Mykel J

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.595162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 31834ba4-9b23-45c4-8f7d-77013e07c411 · outbound

This paper cites Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shan- tanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L.

Privacy-Preserving Robustness Verification for Neural Networks Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shan- tanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.583286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e521f4d2-e30a-4547-875d-0d8cabfd4305 · outbound

This paper cites Learning multiple layers of features from tiny images.

Privacy-Preserving Robustness Verification for Neural Networks Learning multiple layers of features from tiny images

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.570941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 4d0b3607-2e59-4d55-85ed-45966a18b968 · outbound

This paper cites CrypTFlow: Secure TensorFlow inference.

Privacy-Preserving Robustness Verification for Neural Networks CrypTFlow: Secure TensorFlow inference

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.528118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 6783288a-7719-4803-bb27-2cc392e707f0 · outbound

This paper cites Low-complexity deep convolutional neural networks on fully homomorphic encryption using multiplexed parallel convolutions.

Privacy-Preserving Robustness Verification for Neural Networks Low-complexity deep convolutional neural networks on fully homomorphic encryption using multiplexed parallel convolutions

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.591700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 3abb7322-cf8c-4096-80af-3e304e679c17 · outbound

This paper cites HEMET: A homomorphic- encryption-friendly privacy-preserving mobile neural net- work architecture.

Privacy-Preserving Robustness Verification for Neural Networks HEMET: A homomorphic- encryption-friendly privacy-preserving mobile neural net- work architecture

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.561353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 10ddcc91-eb87-42f0-9b7f-c26526145637 · outbound

This paper cites TeleSparse: Practical privacy-preserving veri- fication of deep neural networks.Proc.

Privacy-Preserving Robustness Verification for Neural Networks TeleSparse: Practical privacy-preserving veri- fication of deep neural networks.Proc

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.540943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation aabb99cc-0932-4f52-be3d-53805da62720 · outbound

This paper cites ABY3: A mixed pro- tocol framework for machine learning.

Privacy-Preserving Robustness Verification for Neural Networks ABY3: A mixed pro- tocol framework for machine learning

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.578906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 72bb3799-6dc6-46e1-95ad-a980429955ed · outbound

This paper cites Neural network verification with branch-and-bound for general nonlinearities.

Privacy-Preserving Robustness Verification for Neural Networks Neural network verification with branch-and-bound for general nonlinearities

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.605385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 702100fe-4f17-487c-b391-cadea526b36f · outbound

This paper cites Goodfellow, and Rob Fer- gus.

Privacy-Preserving Robustness Verification for Neural Networks Goodfellow, and Rob Fer- gus

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.586875Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 61fa40f7-28e6-4dca-893f-db8abe881ca7 · outbound

This paper cites an unresolved cited work.

Privacy-Preserving Robustness Verification for Neural Networks Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-07-07T22:04:07.545804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 5aee58c9-a994-43c8-aa1a-fa58b95cf914 · outbound

This paper cites Se- cureNN: 3-party secure computation for neural network training.Proc.

Privacy-Preserving Robustness Verification for Neural Networks Se- cureNN: 3-party secure computation for neural network training.Proc

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.532252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation bc241c80-2039-4e7b-95c4-5bc94fb5a87c · outbound

This paper cites Falcon: Honest-majority maliciously secure framework for pri- vate deep learning.Proc.

Privacy-Preserving Robustness Verification for Neural Networks Falcon: Honest-majority maliciously secure framework for pri- vate deep learning.Proc

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.523616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2c6d4358-a227-432c-8884-3ab9be6f33f6 · outbound

This paper cites Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W.

Privacy-Preserving Robustness Verification for Neural Networks Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, and Clark W

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.599809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation bcb8e763-4777-4aa0-bb9b-92a1a5ac2eab · outbound

This paper cites Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers.

Privacy-Preserving Robustness Verification for Neural Networks Fast and Complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.514211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation c7014c43-6446-4a48-b35b-69a9b0cd72e6 · outbound

This paper cites Protocols for secure computations.

Privacy-Preserving Robustness Verification for Neural Networks Protocols for secure computations

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-07T22:04:07.519240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2c7f3cce-bcc9-4bb2-8c43-b978de9424f2 · outbound

This paper cites For a target layer l, Algorithm 1 iteratesl−1 times.

Privacy-Preserving Robustness Verification for Neural Networks For a target layer l, Algorithm 1 iteratesl−1 times

Reference 24

Resolution: malformed identifier; raw_fallback, observed 2026-07-07T22:04:07.610257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

No inbound Pith citation observations are available.