Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-14T22:59:55.083380Z
Paper Citation Record · LEDGER
As of 6 August 2026, this Paper Citation Record lists 77 of 77 outbound references and 0 inbound Pith citation observations for arXiv:2603.26215.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-14T22:59:55.083380Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
77 of 77 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation c54e1b52-1747-4f0d-949b-88561498fc4e · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Proc
Reference 1
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 75678d22-ba4d-4707-a0ff-34b40a1308d1 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales An extension of HybridSynchAADL and its application to collaborating au- tonomous UA Vs
Reference 2
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 bfa0d82d-8983-497d-a7bd-7b39f5547b30 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 3
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 b57725de-352c-4578-9aab-b105023b3bed · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 4
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 286ec8f0-fd89-4a65-aa6a-76a0cdf33923 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 5
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 f2ef0090-c5cc-40ed-93fd-4086deed3c8d · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 6
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 db9faeb2-5ce4-4c56-8242-a06841c20764 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales equality
Reference 7
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 f0df23a7-c265-48f9-bfd9-07158b756135 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 8
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 ff4fe340-622c-4817-ab94-30197a4d1c6c · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
Reference 9
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 a64fd503-abc5-4604-a3b6-ba9561ad0687 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Shao, Z., Pierce, B.C
Reference 10
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 e5faa4b5-eb61-488d-ac8e-d44eaac6fc6c · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Probabilistic
Reference 11
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 e767f4ac-155c-4698-8966-82c0df052da6 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security , pages =
Reference 12
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 92fd5d8c-7f59-42a5-bcf4-73666a10cf34 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales ARBITRAR: user-guided API misuse detection
Reference 13
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 f14d69da-44c4-47c7-96b3-14c5f1cc6d26 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales My vm is lighter (and safer) than your container
Reference 14
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 ec1d8519-587d-4603-9fa4-ac7705ed4613 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 15
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 c25036db-9360-4967-8483-939555b923a1 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Sharygina, N., Veith, H
Reference 16
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 61e40c7e-35c9-47f3-9712-656f82856024 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 17
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 d1b09176-3c32-408c-bfc1-b1fd0500faf1 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: PLDI
Reference 18
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 831f64b0-03c1-437a-a278-131c65fb495a · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 19
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 2a79b5c1-4ef2-4b73-a288-045fa7a37132 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 20
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 ff51b44a-52bc-4eae-812b-5af24bb46ffd · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Quantitative bounds on resource usage of probabilistic programs.Proc
Reference 21
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 34a7a058-8a61-498a-99dc-2b55a3ff5033 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 22
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 c4d560ea-cfc8-4e7e-9415-7586b389d613 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 23
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 dee608b7-aa95-40e5-837e-739460883134 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 24
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 32043d05-61fa-4ec9-bf04-d9f4e54adb13 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Proceedings of the 44th ACM SIGPLAN Sympo- sium on Principles of Programming Languages (POPL)
Reference 25
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 0729e04c-7a9c-461c-982b-1fafb7fed9f7 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Silq: A high-level quantum language with safe uncomputation and intuitive semantics
Reference 26
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 b8a5816a-f327-4cbc-950b-937a29395d3f · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Schaafsma, and Roberto Sebastiani
Reference 27
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 6aeef39a-cd17-4a22-ab43-c48c855392e1 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 28
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 914f0a3f-ede4-4c84-beaa-a54d6c2a3dd7 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 29
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 f5f3dfb0-3063-489f-adc9-ea2109b5e963 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Z3: An Efficient SMT Solver
Reference 30
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 9b5413cd-fa8b-430b-87f3-81962176b8be · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 31
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 ff2afef8-df52-475e-8805-8f813a60bedf · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 2018 , isbn =
Reference 32
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 cf52c0af-a381-416f-9f31-62056c2cdebc · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 2006 , isbn =
Reference 33
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 90ca5e4c-803f-47db-9212-2807a79016e3 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales and Roth, A
Reference 34
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 288777f3-0e7f-404a-a6b8-8b62ae774b12 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing , pages =
Reference 35
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 dbde8305-78bd-4165-99cd-1773acacd0eb · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 2014.The Algorithmic Foundations of Differential Privacy
Reference 36
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 ecb301f1-92d8-44a9-bcf4-c93f47234329 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 37
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 3800af90-a469-4bc2-9db7-5e92f1499f4c · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 38
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 e892e784-3ca7-4295-b1cb-07abc53fd986 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 39
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 669119e9-7b58-49d9-9c7f-22609fd5bbfa · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Chaudhuri, S., Farzan, A
Reference 40
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 63d5de78-59df-4577-826c-b87ddbefe400 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Theoretical and Ex- perimental Analysis of Φ-OTDR Based on Polarization Diversity Detection
Reference 41
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 ce51b1a6-3b5f-4632-9379-2e38c1d501ce · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Nature , author =
Reference 42
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 30360b30-85a1-4c93-99ca-6a7d79f35c20 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Transformer-based model for multi- tab website fingerprinting attack
Reference 43
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 01c27501-5679-478d-9ae3-4f5d01ba449a · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 44
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 d7248e81-e033-4ddd-8dc6-90aa117a1a51 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Henzinger, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic
Reference 45
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 1d15066a-4a2a-4a64-a17e-7a52e53e0ade · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Johnson, Joseph P
Reference 46
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 4d41488d-35a0-45d0-a272-b10287574fa4 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Weakestpreconditionreasoningforexpectedrun-timesofprobabilisticprograms
Reference 47
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 572a517a-826f-4ad8-9241-9284fac36199 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 48
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 3f2bb76e-692e-40c8-b024-accafa11935e · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 49
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 b15f3832-4d38-4c7e-9d7d-841166036dc4 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 50
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 d1d7b9ee-49bf-418d-a7e9-5f05657e7615 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Calvert, and Luca Laurenti
Reference 51
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 08a71468-51c6-4f8a-ba8e-5b05ffd56858 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 52
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 682bcd41-a7da-49ae-b01d-4266f367fe74 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 2012.Markov chains and stochastic stability
Reference 53
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 04b6d9a9-5bda-4bf3-bc89-89c2e64de9e6 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Proceedings of the 39th ACM SIGPLAN Con- ference on Programming Language Design and Implementation
Reference 54
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 3c9dbbf8-48d4-4824-8983-88ae07eb0bec · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 55
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 07f31596-0677-43cb-81c2-9ead6d80610a · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 56
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 2c47ba41-1f76-47b5-9457-ee4bb9c3fc6d · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Rajesh Rajamani.Vehicle Dynamics and Control
Reference 57
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 3ff0a66a-3ab8-4c22-9bfb-518c83f259b5 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 58
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 efaba370-bf9a-48ec-825c-c6ddd9b1848f · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 59
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 f8ff533a-7a9f-4641-8878-e9d39376e3aa · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 2024.The Coq Proof Assistant
Reference 60
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 bb897ad5-2eb3-48f1-9c7c-410d08d06f23 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales An Introduction to Probabilistic Programming
Reference 61
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 d608fcd6-0032-409b-8c64-fba79fcc013c · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 62
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 abc046cf-9739-4a4c-8abb-96ac5977f5d9 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales InProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation(Phoenix, AZ, USA)(PLDI 2019)
Reference 63
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 e940dbce-8e4b-4bd9-ace8-13be7343bf01 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Luke Ong
Reference 64
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 d2c09dbb-ad0e-4182-8607-6a0b010cc800 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 65
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 5683cb10-80b0-4971-b797-567497212e78 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 66
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 4b35e94d-ff77-4601-8362-e15ed3056142 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 1991.Probability with Martingales
Reference 67
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 ab0bd2df-9212-41ca-8806-7be480b36d99 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 68
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 e4912aae-3e2f-4d3f-9430-6605882abe13 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 69
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 2eb7a4de-2256-4ae6-b40b-52ef4ea16c09 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales 12 DISTRIBUTIONALLYROBUSTREGRETOPTIMALCONTROL Maurice Sion
Reference 70
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 af596879-02d0-48c1-a6c0-1d59f56878be · outbound
SuperDP: Differential Privacy Refutation via Supermartingales In: Castagna, G., Gordon, A.D
Reference 71
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 c506fb77-5b42-4e84-8742-1f8dd96722ab · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Luke Ong, and Min Zhang
Reference 72
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 9b8e6a7c-978f-43da-9cee-e92d35e0e15e · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Acar, and Zhihao Jia
Reference 73
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 2d90c400-1279-4400-b11d-76dea479ffba · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Henzinger, and Krishnendu Chatterjee
Reference 74
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 bb50811b-4afe-4d4f-ad4d-6c482a95325a · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Henzinger
Reference 75
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 8eea5b99-cf03-4547-b5a9-2b7e096ba935 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales synchronized
Reference 76
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 9b0d6d0e-e443-4512-b13a-8ce046dcfce9 · outbound
SuperDP: Differential Privacy Refutation via Supermartingales Unresolved cited work
Reference 77
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.
No inbound Pith citation observations are available.