Paper Citation Record · LEDGER

Automated Penetration Testing: Formalization and Realization

As of 21 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2412.12745.

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

pith.paper-citation-record.v1
2412.12745 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T13:51:28.388861Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+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

38 of 38 outbound references displayed

verified exact10
verified fuzzy8
unresolved15
parse uncertain0
malformed identifier2
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation adb36030-8a58-496e-8556-c062977f2a13 · outbound

This paper cites Foundations of Rational Choice Under Risk, Clarendon Press (1995),https:// books.google.se/books?id=UCzHwAEACAAJ.

Automated Penetration Testing: Formalization and Realization Foundations of Rational Choice Under Risk, Clarendon Press (1995),https:// books.google.se/books?id=UCzHwAEACAAJ

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:31.006216Z

Source-reported events for the cited work

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

Observation 2749fee2-c32a-4861-a9d2-2db793f6f5ad · outbound

This paper cites it - Information Technology59(2), 93–100 (2017).

Automated Penetration Testing: Formalization and Realization it - Information Technology59(2), 93–100 (2017)

Reference 2

Resolution: verified exact; doi, observed 2026-08-11T13:51:28.580217Z

Source-reported events for the cited work

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

Observation 01d19af6-8ee4-40a4-ac04-97a857ba5757 · outbound

This paper cites Computers & Security126, 103055 (2023).

Automated Penetration Testing: Formalization and Realization Computers & Security126, 103055 (2023)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.104871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0735c66-53dc-43de-a40c-b0550592b220 · outbound

This paper cites 26,323–369 (2006), https://api.semanticscholar.org/CorpusID:12806220.

Automated Penetration Testing: Formalization and Realization 26,323–369 (2006), https://api.semanticscholar.org/CorpusID:12806220

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.971787Z

Source-reported events for the cited work

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

Observation 0e5ad651-53a4-45f4-9527-9230ccaa2847 · outbound

This paper cites 5525, pp.

Automated Penetration Testing: Formalization and Realization 5525, pp

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-11T13:51:28.123080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57911adc-4dd4-499b-959f-7c0360878587 · outbound

This paper cites In: 2020 16th International Conference on Mobility, Sensing and Networking (MSN).

Automated Penetration Testing: Formalization and Realization In: 2020 16th International Conference on Mobility, Sensing and Networking (MSN)

Reference 6

Resolution: verified exact; raw_fallback, observed 2026-08-11T13:51:30.407932Z

Source-reported events for the cited work

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

Observation 5c1b82d6-df04-4007-a9a5-f304440a8f86 · outbound

This paper cites In: 2023 3rd International Conference on Electronic and ElectricalEngineeringandIntelligentSystem(ICE3IS).pp.322–326 (2023).

Automated Penetration Testing: Formalization and Realization In: 2023 3rd International Conference on Electronic and ElectricalEngineeringandIntelligentSystem(ICE3IS).pp.322–326 (2023)

Reference 7

Resolution: verified exact; raw_fallback, observed 2026-08-11T13:51:30.252453Z

Source-reported events for the cited work

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

Observation c0596014-aec2-40fb-8903-ebd185aad8d2 · outbound

This paper cites https://doi.org/https://doi.org/10.6028/NIST.IR.7511r5.

Automated Penetration Testing: Formalization and Realization https://doi.org/https://doi.org/10.6028/NIST.IR.7511r5

Reference 8

Resolution: verified exact; doi, observed 2026-08-11T13:51:28.557755Z

Source-reported events for the cited work

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

Observation e2beb4ff-88c3-4351-9841-fc14455af006 · outbound

This paper cites In: 33rd USENIX Security Symposium (USENIX Security 24).

Automated Penetration Testing: Formalization and Realization In: 33rd USENIX Security Symposium (USENIX Security 24)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.919230Z

Source-reported events for the cited work

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

Observation b0b4b247-49ee-4274-ba93-da17410161eb · outbound

This paper cites IEEE Transactions on Emerging Topics in Computing 8(2), 391–403 (2020).

Automated Penetration Testing: Formalization and Realization IEEE Transactions on Emerging Topics in Computing 8(2), 391–403 (2020)

Reference 10

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T13:51:30.136506Z

Source-reported events for the cited work

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

Observation 621f3872-4faf-4ced-8633-b5f63afa71fa · outbound

This paper cites In: Garcia-Alfaro, J., Kozik, R., Choraś, M., Katsikas, S.

Automated Penetration Testing: Formalization and Realization In: Garcia-Alfaro, J., Kozik, R., Choraś, M., Katsikas, S

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.892635Z

Source-reported events for the cited work

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

Observation e9f6dffd-a972-4394-b0bf-d57e11e1b911 · outbound

This paper cites PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains.

Automated Penetration Testing: Formalization and Realization PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.172897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a81caf08-c89f-416d-9d64-3660bcbdabe7 · outbound

This paper cites the research reported in this paper has been initiated at cwi in amsterdam, continued at the technical university of munich, and finalized at stanford university.

Automated Penetration Testing: Formalization and Realization the research reported in this paper has been initiated at cwi in amsterdam, continued at the technical university of munich, and finalized at stanford university

Reference 13

Resolution: malformed identifier; no resolver link, observed 2026-08-11T13:51:28.181059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b8c1a79-cf1b-4754-b57e-ee1264648209 · outbound

This paper cites https://doi.org/10.1007/s10207-024-00835-x, https:// doi.org/10.1007/s10207-024-00835-x.

Automated Penetration Testing: Formalization and Realization https://doi.org/10.1007/s10207-024-00835-x, https:// doi.org/10.1007/s10207-024-00835-x

Reference 14

Resolution: verified exact; doi, observed 2026-08-11T13:51:28.527144Z

Source-reported events for the cited work

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

Observation a6ca960f-ff69-46ed-9049-fa85d392fad6 · outbound

This paper cites In: Proceed- ings of the 15th European Conference on Artificial Intelligence.

Automated Penetration Testing: Formalization and Realization In: Proceed- ings of the 15th European Conference on Artificial Intelligence

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.843383Z

Source-reported events for the cited work

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

Observation c9023070-0c2d-4fef-8cf1-01106ab72c81 · outbound

This paper cites In: 2014 IEEE 15th International Symposium on Computa- tional Intelligence and Informatics (CINTI).

Automated Penetration Testing: Formalization and Realization In: 2014 IEEE 15th International Symposium on Computa- tional Intelligence and Informatics (CINTI)

Reference 16

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T13:51:29.917081Z

Source-reported events for the cited work

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

Observation eba195ac-d500-4f10-9e4a-6dad37c217e8 · outbound

This paper cites In: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Automated Penetration Testing: Formalization and Realization In: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.205867Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63b2dae4-9076-49de-9f4e-cf3973622342 · outbound

This paper cites In: 2022 4th International Conference on Smart Sensors and Application (ICSSA).

Automated Penetration Testing: Formalization and Realization In: 2022 4th International Conference on Smart Sensors and Application (ICSSA)

Reference 18

Resolution: verified exact; raw_fallback, observed 2026-08-11T13:51:29.208291Z

Source-reported events for the cited work

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

Observation 21e04d65-a805-45ca-af7c-6184c8c3e105 · outbound

This paper cites Birefringent Graphene Oxide Liquid Crystals in Micro-channels for Optical Switch.

Automated Penetration Testing: Formalization and Realization Birefringent Graphene Oxide Liquid Crystals in Micro-channels for Optical Switch

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.222275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 120f4718-eea9-4d2f-ad90-d6514812bb7b · outbound

This paper cites In: Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y., Sangiorgi, D.

Automated Penetration Testing: Formalization and Realization In: Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y., Sangiorgi, D

Reference 20

Resolution: verified exact; doi, observed 2026-08-11T13:51:28.500761Z

Source-reported events for the cited work

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

Observation 7c1ba9cb-610b-41dd-97cc-b85faf34c8f0 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.819704Z

Source-reported events for the cited work

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

Observation 30a68fdc-8185-4c41-8d17-6939e0bf9162 · outbound

This paper cites Computers & Security 132, 103358 (2023).

Automated Penetration Testing: Formalization and Realization Computers & Security 132, 103358 (2023)

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-11T13:51:29.075939Z

Source-reported events for the cited work

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

Observation 2f232672-52f4-4b67-a975-637db2588b4c · outbound

This paper cites Attack Planning in the Real World.

Automated Penetration Testing: Formalization and Realization Attack Planning in the Real World

Reference 23

Resolution: verified exact; local_arxiv, observed 2026-08-11T13:51:28.892763Z

Source-reported events for the cited work

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

Observation bf546013-8ac0-4114-8fd4-5485a3f98127 · outbound

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

Automated Penetration Testing: Formalization and Realization In: Proceedings of the 13th ACM Conference on Computer and Communications Security

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.268743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cf7b91d-79c3-4f2d-8231-a2a91b3eb294 · outbound

This paper cites John Wiley & Sons (2014).

Automated Penetration Testing: Formalization and Realization John Wiley & Sons (2014)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.763385Z

Source-reported events for the cited work

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

Observation 839c80b5-4766-48ae-b6f6-215677384d49 · outbound

This paper cites Penetration Testing == POMDP Solving?.

Automated Penetration Testing: Formalization and Realization Penetration Testing == POMDP Solving?

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.283504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8818d36e-ea61-4706-9347-2fa4289c00a9 · outbound

This paper cites In: Proceedings of the 4th ACM workshop on Security and artificial intelligence.

Automated Penetration Testing: Formalization and Realization In: Proceedings of the 4th ACM workshop on Security and artificial intelligence

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.297402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 996f45db-f2e2-4381-9e98-dc132cc66e2b · outbound

This paper cites CybORG: A Gym for the Development of Autonomous Cyber Agents.

Automated Penetration Testing: Formalization and Realization CybORG: A Gym for the Development of Autonomous Cyber Agents

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T13:51:28.306715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 890c6716-414f-4b26-94c7-6ba7865ff308 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.740358Z

Source-reported events for the cited work

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

Observation 03fda51f-1cfc-4136-b3a6-f79bc9133af8 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.704227Z

Source-reported events for the cited work

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

Observation a2f396ad-15e7-4996-a633-dc3ceaf60aa2 · outbound

This paper cites NATO SUPREME ALLIED COMMAND TRANSFORMA- TION NORFOLK VA NORFOLK (10 2015).

Automated Penetration Testing: Formalization and Realization NATO SUPREME ALLIED COMMAND TRANSFORMA- TION NORFOLK VA NORFOLK (10 2015)

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.636658Z

Source-reported events for the cited work

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

Observation 463be2a8-25d1-4c93-b94c-4aceb49722af · outbound

This paper cites Applied Sci- ences 11(19) (2021).

Automated Penetration Testing: Formalization and Realization Applied Sci- ences 11(19) (2021)

Reference 32

Resolution: verified exact; doi, observed 2026-08-11T13:51:28.465616Z

Source-reported events for the cited work

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

Observation b7adc038-b1a1-4d9e-b349-e19a8652512b · outbound

This paper cites Frontiers of Information Technol- ogy & Electronic Engineering20(9), 1277–1288 (Sep 2019),https: //doi.org/10.1631/FITEE.1800532 C.

Automated Penetration Testing: Formalization and Realization Frontiers of Information Technol- ogy & Electronic Engineering20(9), 1277–1288 (Sep 2019),https: //doi.org/10.1631/FITEE.1800532 C

Reference 33

Resolution: verified exact; doi, observed 2026-08-11T13:51:28.446899Z

Source-reported events for the cited work

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

Observation d00406b1-acae-48e9-a92b-6830434c61ee · outbound

This paper cites For each service,𝜐 we create an interface𝑖𝜐∈𝐼𝜙 and the corresponding open port𝜃 is a property:𝜋𝜃 ∈Π 𝜐.

Automated Penetration Testing: Formalization and Realization For each service,𝜐 we create an interface𝑖𝜐∈𝐼𝜙 and the corresponding open port𝜃 is a property:𝜋𝜃 ∈Π 𝜐

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:51:30.616175Z

Source-reported events for the cited work

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

Observation 414ed86a-5d96-43fd-8bdb-fd39b1942db4 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.586867Z

Source-reported events for the cited work

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

Observation 77f1bdf4-9802-4035-92c0-19bf65f0c1c8 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.552441Z

Source-reported events for the cited work

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

Observation 1b37968e-d0de-4cb5-bfa2-263761f21298 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 443

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.665478Z

Source-reported events for the cited work

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

Observation 26e0f0df-f8b1-429e-992e-776ff82d01b7 · outbound

This paper cites an unresolved cited work.

Automated Penetration Testing: Formalization and Realization Unresolved cited work

Reference 456

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:51:30.792031Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.