Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees | Paper Citation Record

Observation f4e74052-e180-4547-91ff-909dc5d3d58b · outbound

This paper cites In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.353461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2d39c9f6-8651-4d9e-b545-f771ed9be216 · outbound

This paper cites In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Weippl, E.R., Katzenbeisser, S., Kruegel, C., Myers, A.C., Halevi, S

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.337473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e9edf02d-52fe-4100-bcdf-ca142c25c9f8 · outbound

This paper cites In: Rajamani, S.K., Walker, D.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Rajamani, S.K., Walker, D

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.322085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 690b2142-f48a-417d-96d7-6c57c7118bdc · outbound

This paper cites ACM Trans.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees ACM Trans

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.304941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 472914a7-39d1-4cde-83c0-34f3ca9f6536 · outbound

This paper cites ACM SIGARCH computer architecture news39(2), 1–7 (2011).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees ACM SIGARCH computer architecture news39(2), 1–7 (2011)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.288826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 978abe0d-cc14-4bca-9da4-027395d4631e · outbound

This paper cites In: Enck, W., Mulliner, C.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Enck, W., Mulliner, C

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.273428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5900aaa6-fdaa-499c-aef2-6c347e8aae40 · outbound

This paper cites Deep Learning with Gaussian Differential Privacy.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Deep Learning with Gaussian Differential Privacy

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.704285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7792a241-1680-4d1e-b7ec-25f3bcb46100 · outbound

This paper cites Kistowski, J.: Spec cpu2017: Next-generation compute benchmark.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Kistowski, J.: Spec cpu2017: Next-generation compute benchmark

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.259097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 20159507-d3b2-47ed-b12e-a85c8152a21f · outbound

This paper cites In: Kirda, E., Ristenpart, T.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Kirda, E., Ristenpart, T

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.244606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fe95d063-7d24-4655-9677-b9b709a5e3c1 · outbound

This paper cites IEEE Secur.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees IEEE Secur

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.217717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d9a6bbbe-cf58-4dce-927c-16f03729f24d · outbound

This paper cites an unresolved cited work.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:35:57.204070Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 37bdee29-7a1f-4704-8f75-f0ab2c9a0870 · outbound

This paper cites In: Silva, D.D., Wang, Q., Zhang, L.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Silva, D.D., Wang, Q., Zhang, L

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.190793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 388310e5-d35d-483f-b756-f77988c46df2 · outbound

This paper cites Differential Privacy-enabled Federated Learning for Sensitive Health Data.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Differential Privacy-enabled Federated Learning for Sensitive Health Data

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.743548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b095c3bb-2798-4e34-bbd6-fb1eed0caa45 · outbound

This paper cites In: Proceedings of the 2018 International Conference on Manage- ment of Data.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Proceedings of the 2018 International Conference on Manage- ment of Data

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.748500Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b00aa59-6847-4817-afff-bb73cba421df · outbound

This paper cites In: Srivastava, D., Ari, I.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Srivastava, D., Ari, I

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.178347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f0974793-ba1d-4b91-a923-6c55dccead03 · outbound

This paper cites In: Kirda, E., Ristenpart, T.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Kirda, E., Ristenpart, T

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.164966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 74b0a943-286a-4291-86a6-f98ff8c995a7 · outbound

This paper cites Founda- tions and Trends in Theoretical Computer Science9(3–4), 211–407 (2014).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Founda- tions and Trends in Theoretical Computer Science9(3–4), 211–407 (2014)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.152123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d7c3fab0-c995-458c-a717-3659ec21515b · outbound

This paper cites In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.769231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a5efd2a-a5dd-4cef-9cde-6502c7d9a4d6 · outbound

This paper cites In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.139234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6a343ac4-31bd-44a1-a580-7e3b7e1ae97a · outbound

This paper cites Patterns2(12), 100366 (2021).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Patterns2(12), 100366 (2021)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.121970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation db4d8ece-02e7-412b-a660-1ec64f121fda · outbound

This paper cites Procedia Computer Science62, 650–653 (2015).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Procedia Computer Science62, 650–653 (2015)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.108415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4c90ff72-2dc0-42f0-a575-ca6e9ed4cc8e · outbound

This paper cites In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.789956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46b33192-a259-4b11-984e-e84f28cae173 · outbound

This paper cites In: Proceedings of the Twenty-Third International Conference on Architectural Support for Pro- gramming Languages and Operating Systems (ASPLOS ’18).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Proceedings of the Twenty-Third International Conference on Architectural Support for Pro- gramming Languages and Operating Systems (ASPLOS ’18)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.093422Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b8fc0760-26e5-4eaf-b14d-396b51b5accb · outbound

This paper cites IEEE Transactions on Information Theory62(2), 925–951 (2016).https: //doi.org/10.1109/TIT.2015.2504967.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees IEEE Transactions on Information Theory62(2), 925–951 (2016).https: //doi.org/10.1109/TIT.2015.2504967

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.798105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f25185ff-685a-4bd6-a4ca-e98f61269d33 · outbound

This paper cites In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.075764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2c5bd8b8-4ab5-4fd7-b2da-19d50125c4a1 · outbound

This paper cites In: Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Proceedings of the Forty-First Annual ACM Symposium on Theory of Computing

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.807363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1f5dcfa-ffc5-4966-acad-30ac363c08a8 · outbound

This paper cites In: Giuffrida, C., Stavrou, A.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Giuffrida, C., Stavrou, A

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.059141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 465dde24-6762-4fac-9a81-f4999f153576 · outbound

This paper cites In: 2020 ACM/IEEE 47th Annual Inter- national Symposium on Computer Architecture (ISCA).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: 2020 ACM/IEEE 47th Annual Inter- national Symposium on Computer Architecture (ISCA)

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.044717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1f90ab13-6525-42aa-9fd6-9b126e4a53d6 · outbound

This paper cites In: Caballero, J., Zurutuza, U., Rodr´ ıguez, R.J.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Caballero, J., Zurutuza, U., Rodr´ ıguez, R.J

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.032033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 87226c67-171b-4725-abd4-1b03409413c0 · outbound

This paper cites In: Silva, D.D., Ford, B.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Silva, D.D., Ford, B

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.018828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation aad7a678-36a4-4a1a-8f7d-6605443781d0 · outbound

This paper cites IACR Trans.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees IACR Trans

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:57.004096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f9cd371c-878c-45e3-ac1c-89c94633f81e · outbound

This paper cites In: Bach, F., Blei, D.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Bach, F., Blei, D

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.989353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation bc59a932-6075-46db-a4be-c09bbab2c732 · outbound

This paper cites In: Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Proceedings of the 53rd Annual Design Automation Conference, DAC 2016, Austin, TX, USA, June 5-9, 2016

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.976218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 757535ab-2deb-491c-a86c-22cb47f21c65 · outbound

This paper cites international symposium on mi- croarchitecture19(2), 24–36 (1999).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees international symposium on mi- croarchitecture19(2), 24–36 (1999)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.961181Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 30043405-2957-484e-b2d1-9a7691fad2cc · outbound

This paper cites an unresolved cited work.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:35:56.947850Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fcf49ba7-c32c-408e-bd11-68f0bca0a7df · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Gopalakrishnan, G., Qadeer, S

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.932674Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation d99237ce-35e8-4519-879c-88185f55e77d · outbound

This paper cites In: 26th{USENIX} Security Symposium ({USENIX}Security 17).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: 26th{USENIX} Security Symposium ({USENIX}Security 17)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.918869Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5a9e4fb2-8678-4db1-9625-5a95d3f7b203 · outbound

This paper cites In: Kirda, E., Ristenpart, T.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Kirda, E., Ristenpart, T

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.903614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a361f69a-fd1c-4f40-a57c-e528fd917cd9 · outbound

This paper cites an unresolved cited work.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:35:56.890291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fe3d9d9e-a149-46c2-bff2-294b9e19ea98 · outbound

This paper cites In: Finkbeiner, B., Wies, T.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Finkbeiner, B., Wies, T

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.875146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a9c2d2c9-5095-4343-bfb5-eeaf5e446a32 · outbound

This paper cites Journal of computer science and technology36(5), 1022 (2021).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Journal of computer science and technology36(5), 1022 (2021)

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.860689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 6eb9357a-e1d0-4cfc-9ea3-770d5cdde99c · outbound

This paper cites In: Lie, D., Mannan, M., Backes, M., Wang, X.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Lie, D., Mannan, M., Backes, M., Wang, X

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.845726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4fe0636d-9f38-461e-98bc-25555f9b2f2e · outbound

This paper cites an unresolved cited work.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:35:56.831795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ffbb5767-bbeb-4e10-aafb-72ddb3ae54d4 · outbound

This paper cites In: 48th An- nual IEEE Symposium on Foundations of Computer Science (FOCS 2007), Octo- ber 20-23, 2007, Providence, RI, USA, Proceedings.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: 48th An- nual IEEE Symposium on Foundations of Computer Science (FOCS 2007), Octo- ber 20-23, 2007, Providence, RI, USA, Proceedings

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.819487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 91ec8d66-3ac6-4864-8d43-61e93e703dd3 · outbound

This paper cites Improving Deep Learning with Differential Privacy using Gradient Encoding and Denoising.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Improving Deep Learning with Differential Privacy using Gradient Encoding and Denoising

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.892407Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82be9be1-5be6-464f-b98e-78cc41a3bb61 · outbound

This paper cites In: Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.807322Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 27e0af9c-ea70-4ede-b11f-0e52e9b7b284 · outbound

This paper cites In: Goldwasser, S.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Goldwasser, S

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.795077Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 5327301d-682b-46bd-b3c2-673ac9c7735e · outbound

This paper cites Information and control6(3), 230–245 (1963).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Information and control6(3), 230–245 (1963)

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.782924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation adc7cb1e-34dc-4208-b8b4-8bbea6888287 · outbound

This paper cites In: Polychronakis, M., Meier, M.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Polychronakis, M., Meier, M

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.769130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3118c42b-13ea-430b-9d78-6f2782b82c83 · outbound

This paper cites In: 5th JILP Workshop on Computer Architecture Competitions (JWAC-5): Championship Branch Predic- tion (CBP-5).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: 5th JILP Workshop on Computer Architecture Competitions (JWAC-5): Championship Branch Predic- tion (CBP-5)

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.754829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation f7938098-3b49-4476-a287-6a8526a7dd7f · outbound

This paper cites IBM Journal of Research and Development59(1), 2:1–2:21 (2015).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees IBM Journal of Research and Development59(1), 2:1–2:21 (2015)

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.741009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e34477e3-5164-402e-8340-050fdca8e4a4 · outbound

This paper cites In: de Alfaro, L.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: de Alfaro, L

Reference 52

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T14:35:56.728038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation c44c4386-fe65-4aa6-b910-a4d0315d3606 · outbound

This paper cites Backpropagation Clipping for Deep Learning with Differential Privacy.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Backpropagation Clipping for Deep Learning with Differential Privacy

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.928349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50a78d3d-18cb-483b-b3c8-98a9f58502a8 · outbound

This paper cites IEEE Micro 40(2), 45–52 (2020).

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees IEEE Micro 40(2), 45–52 (2020)

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.714277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 66ed872d-e4bc-4a39-9e8e-f5981c0c6f77 · outbound

This paper cites Privacy Loss in Apple's Implementation of Differential Privacy on MacOS 10.12.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Privacy Loss in Apple's Implementation of Differential Privacy on MacOS 10.12

Reference 55

Resolution: malformed identifier; no resolver link, observed 2026-08-15T14:35:55.937904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d863a35c-a4bb-40bf-a77e-b7270611641e · outbound

This paper cites In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2024, Edinburgh, United Kingdom, March 2-6, 2024.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: IEEE International Symposium on High-Performance Computer Architecture, HPCA 2024, Edinburgh, United Kingdom, March 2-6, 2024

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.942594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fa0cb4c-630a-4a5d-9c0b-69a3acac8802 · outbound

This paper cites In: Ligatti, J., Ou, X., Katz, J., Vigna, G.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Ligatti, J., Ou, X., Katz, J., Vigna, G

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.701059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 74c9cb6a-ac7d-47f5-9271-fc5d42d15a6f · outbound

This paper cites In: McKinley, K.S., Fisher, K.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: McKinley, K.S., Fisher, K

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.681885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 185bebec-8cbd-4880-94c6-23f771a08562 · outbound

This paper cites Journal of the American Statistical Association60(309), 63–69 (1965), http://www.jstor.org/stable/2283137.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Journal of the American Statistical Association60(309), 63–69 (1965), http://www.jstor.org/stable/2283137

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.956093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8181add7-d6c8-4933-ae19-3bc6364be885 · outbound

This paper cites Journal of the American Statistical Association105(489), 375–389 (2010).https://doi.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Journal of the American Statistical Association105(489), 375–389 (2010).https://doi

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-15T14:35:55.960154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0420c95a-831b-4a26-a203-b8070f5a665d · outbound

This paper cites an unresolved cited work.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Unresolved cited work

Reference 61

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:35:56.664792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation de6c8e90-32b1-4562-8e5d-ea7ef267d625 · outbound

This paper cites In: 2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: 2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.650119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 4e98fb66-c7a1-4970-b68a-e8b6c07d8e0d · outbound

This paper cites In: Castagna, G., Gordon, A.D.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees In: Castagna, G., Gordon, A.D

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.636505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 1c351964-f807-4195-bd37-ee6b0d30b35b · outbound

This paper cites ACM Comput.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees ACM Comput

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.621628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b6a69839-e00a-4400-a0e6-9536e22ccfd0 · outbound

This paper cites SIAM (2018) 23 A Calculation of the Misprediction Rate in the Stationary Distribution Lets= 1−tandq= 1−p; we write the transition matrixMof the PSC in Fig.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees SIAM (2018) 23 A Calculation of the Misprediction Rate in the Stationary Distribution Lets= 1−tandq= 1−p; we write the transition matrixMof the PSC in Fig

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:35:56.602936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ccdf69a9-59ef-4e36-8c43-a8615ae99ee5 · outbound

This paper cites an unresolved cited work.

Synthesizing Probabilistic Saturating Counters with Differentially Private Formal Guarantees Unresolved cited work

Reference 1056

Resolution: unresolved; raw_fallback, observed 2026-08-15T14:35:57.231433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers