{"as_of":"2026-08-16T07:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a1d0d0664439814034097aa5295c24564e209ba65f1b380bb42aabb0f55a5b9b","coverage":[{"denominator":38,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":38,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T13:51:28.388861Z","state":"measured"},{"denominator":38,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":38,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2412.12745/citation-record","integrity":"/paper/2412.12745/integrity","json":"/paper/2412.12745/citation-record.json","paper":"/paper/2412.12745"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.995988Z","title":"Foundations of Rational Choice Under Risk, Clarendon Press (1995),https:// books.google.se/books?id=UCzHwAEACAAJ","venue":null,"work_id":"38644dfd-424e-4400-a5be-5f3c7d9a19e5","year":1995},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.088567Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:13f7432e2f67e231b4d003ab7c284030b4ba790e66bbda794ed59c4648846674","observation_id":"adb36030-8a58-496e-8556-c062977f2a13","resolution":{"observed_at":"2026-08-11T13:51:31.006216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1515/itit-2016-0038","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.573968Z","title":"it - Information Technology59(2), 93–100 (2017)","venue":null,"work_id":"269165a8-4cfe-4a5e-859e-dcc048c8c013","year":2017},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.098341Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:e0891362b31dbbbe79d5729bbb79313f03a58ef92026aaada494239a092ed7c0","observation_id":"2749fee2-c32a-4861-a9d2-2db793f6f5ad","resolution":{"observed_at":"2026-08-11T13:51:28.580217Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.104871Z","title":"Computers & Security126, 103055 (2023)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.104871Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:9a1a86f1d9cdb8462c309a7e80f37226b46064c75de1b55e172ba2ef29c57c50","observation_id":"01d19af6-8ee4-40a4-ac04-97a857ba5757","resolution":{"observed_at":"2026-08-11T13:51:28.104871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.961096Z","title":"26,323–369 (2006), https://api.semanticscholar.org/CorpusID:12806220","venue":null,"work_id":"3176d53c-a03f-4dbb-ad29-cce8995e4fb3","year":2006},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.116019Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:80a2dd3d959d7622d17ed010c8d3c8530f42e39b596fd96fd14af0889be7fe56","observation_id":"d0735c66-53dc-43de-a40c-b0550592b220","resolution":{"observed_at":"2026-08-11T13:51:30.971787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.123080Z","title":"5525, pp","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.123080Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:7a4479d8b0307cd08a243d08ff2a750b02d4294c43701a3e07c222d4007ddc65","observation_id":"0e5ad651-53a4-45f4-9527-9230ccaa2847","resolution":{"observed_at":"2026-08-11T13:51:28.123080Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0589.2020","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.397495Z","title":"In: 2020 16th International Conference on Mobility, Sensing and Networking (MSN)","venue":null,"work_id":"4bd5ca19-9ba5-4e0f-bfa2-074216f059a4","year":2020},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.129564Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:740015cc12d78c8269c236a7e5e642773070fc99ee45bd95f3d25225c96ff150","observation_id":"57911adc-4dd4-499b-959f-7c0360878587","resolution":{"observed_at":"2026-08-11T13:51:30.407932Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9323.2023","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.240709Z","title":"In: 2023 3rd International Conference on Electronic and ElectricalEngineeringandIntelligentSystem(ICE3IS).pp.322–326 (2023)","venue":null,"work_id":"30ab1732-b343-4449-83cf-9e7b6037deaa","year":2023},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.137131Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:eacc37f3ae8217f01c36e8cdfe48564704adbd7722f07bced2e71ed66db35390","observation_id":"5c1b82d6-df04-4007-a9a5-f304440a8f86","resolution":{"observed_at":"2026-08-11T13:51:30.252453Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.6028/nist.ir.7511r5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.547680Z","title":"https://doi.org/https://doi.org/10.6028/NIST.IR.7511r5","venue":null,"work_id":"61da0e04-b6a3-4f7e-8d29-7e227ce5a11f","year":2018},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.143330Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:8135cc957fb5322b2c61973336401038a3c1444c4f179b5210263b2b46b5525f","observation_id":"c0596014-aec2-40fb-8903-ebd185aad8d2","resolution":{"observed_at":"2026-08-11T13:51:28.557755Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.909043Z","title":"In: 33rd USENIX Security Symposium (USENIX Security 24)","venue":null,"work_id":"6aa2c328-9e1f-494c-aa15-70e4ceb0309f","year":null},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.152382Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:273272f54ee4cb3bf4f8565b51c6601f2356711d2d46cb9475fa65590cb5c821","observation_id":"e2beb4ff-88c3-4351-9841-fc14455af006","resolution":{"observed_at":"2026-08-11T13:51:30.919230Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.27852","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.123166Z","title":"IEEE Transactions on Emerging Topics in Computing 8(2), 391–403 (2020)","venue":null,"work_id":"343d6cab-b583-441a-b563-f875ae8d900e","year":2020},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.160540Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:56c3350af35cf05255d40daa102c5e894486b78f060ee663c457d82e674cbbb2","observation_id":"b0b4b247-49ee-4274-ba93-da17410161eb","resolution":{"observed_at":"2026-08-11T13:51:30.136506Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.883101Z","title":"In: Garcia-Alfaro, J., Kozik, R., Choraś, M., Katsikas, S","venue":null,"work_id":"c56e8716-0966-4787-b155-4dc86fca001e","year":2024},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.166830Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:953df9ab46a380111d11b295cdb62bd44eacf0ae8ea809a050b1fa6b2b12fe45","observation_id":"621f3872-4faf-4ced-8633-b5f63afa71fa","resolution":{"observed_at":"2026-08-11T13:51:30.892635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1106.4561","last_updated":"2011-06-22T20:20:10Z","snapshot_observed_at":"2026-08-16T06:01:01.662321Z","submitted_at":"2011-06-22T20:20:10Z","title":"PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1106.4561","snapshot_observed_at":"2026-08-11T13:51:28.172897Z","title":"ArXivabs/1106.4561 (2003), https:// api.semanticscholar.org/CorpusID:1397894","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.172897Z"},"links":{"cited_paper":"/paper/1106.4561","citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:3679bca430a216d25151d69ed4e15eb18f302af8e493e72765308a2aec7230a9","observation_id":"e9f6dffd-a972-4394-b0bf-d57e11e1b911","resolution":{"observed_at":"2026-08-11T13:51:28.172897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.181059Z","title":"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","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.181059Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:2c4cd7445834721143bf2edc819583d4e9e491d437d4096324d3ef2d9859c095","observation_id":"a81caf08-c89f-416d-9d64-3660bcbdabe7","resolution":{"observed_at":"2026-08-11T13:51:28.181059Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10207-024-00835-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.518487Z","title":"https://doi.org/10.1007/s10207-024-00835-x, https:// doi.org/10.1007/s10207-024-00835-x","venue":null,"work_id":"b9beed5a-70e6-4b61-9c37-d9ae7d3b578a","year":2024},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.187785Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:38d298746728112e2f90351162d558077a00934e3b26bd51ba82df39dacf015c","observation_id":"3b8c1a79-cf1b-4754-b57e-ee1264648209","resolution":{"observed_at":"2026-08-11T13:51:28.527144Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.835662Z","title":"In: Proceed- ings of the 15th European Conference on Artificial Intelligence","venue":null,"work_id":"5e49632e-84c7-4383-b6ec-96c5d141b0ac","year":2002},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.194161Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:08ff58c2da398dc9b1d99cc0f60bcd8a990ddfc572e4ce7f022fdf23fb851c50","observation_id":"a6ca960f-ff69-46ed-9049-fa85d392fad6","resolution":{"observed_at":"2026-08-11T13:51:30.843383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.70286","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:29.905148Z","title":"In: 2014 IEEE 15th International Symposium on Computa- tional Intelligence and Informatics (CINTI)","venue":null,"work_id":"c0f4bd94-0b69-46e0-8b89-3120301c1512","year":2014},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.200011Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:270a90e9b642b6018228a66b5c0ddb4671f0bf874a8fa9b88bc52f619eb91a1e","observation_id":"c9023070-0c2d-4fef-8cf1-01106ab72c81","resolution":{"observed_at":"2026-08-11T13:51:29.917081Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.205867Z","title":"In: 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.205867Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:bd293f9cb356557efe507727bca7f2405d95c203e0f8d2894683eca35d629815","observation_id":"eba195ac-d500-4f10-9e4a-6dad37c217e8","resolution":{"observed_at":"2026-08-11T13:51:28.205867Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4161.2022","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:29.197641Z","title":"In: 2022 4th International Conference on Smart Sensors and Application (ICSSA)","venue":null,"work_id":"e8fdc6b0-605c-48d5-a9c4-706c2a25bd42","year":2022},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.215639Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:db5cda8f7f0ab600978b01607c696cb336b14b4ad7f315f01ce16409d0c9111f","observation_id":"63b2dae4-9076-49de-9f4e-cf3973622342","resolution":{"observed_at":"2026-08-11T13:51:29.208291Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.11600","last_updated":"2020-03-25T19:47:30Z","snapshot_observed_at":"2026-08-06T19:44:28.339019Z","submitted_at":"2020-03-25T19:47:30Z","title":"Birefringent Graphene Oxide Liquid Crystals in Micro-channels for Optical Switch","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.11600","snapshot_observed_at":"2026-08-11T13:51:28.222275Z","title":"Computer 36(1), 41–50 (Jan 2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.222275Z"},"links":{"cited_paper":"/paper/2003.11600","citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:8cac2d6c1a496143d0eac9424e4e785e4880988d3f1882da6b2d8b503e270943","observation_id":"21e04d65-a805-45ca-af7c-6184c8c3e105","resolution":{"observed_at":"2026-08-11T13:51:28.222275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icalp.2016.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.490602Z","title":"In: Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y., Sangiorgi, D","venue":null,"work_id":"5132ae93-5276-44dd-8b7c-2a50895022e7","year":2016},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.229468Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:1ce4eb0945bf0135d7063fc0b95eb13fa277f2ad3e7a3dc297cc43c785ff7de9","observation_id":"120f4718-eea9-4d2f-ad90-d6514812bb7b","resolution":{"observed_at":"2026-08-11T13:51:28.500761Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.813429Z","title":null,"venue":null,"work_id":"4c530cd6-0796-4693-b2a4-35ae25535929","year":2014},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.235708Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:183c719e2859d599ed5fab4164c32300a4cb3d0d1b8372812e704525b1c54b86","observation_id":"7c1ba9cb-610b-41dd-97cc-b85faf34c8f0","resolution":{"observed_at":"2026-08-11T13:51:30.819704Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.10335","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:29.065589Z","title":"Computers & Security 132, 103358 (2023)","venue":null,"work_id":"b0c021a8-0773-412f-aa20-964da7433ddf","year":2023},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.252586Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:ad8c3f6004d48502f78e104f0d1a48ec41e0d462ca820aa510636617e2a7304f","observation_id":"30a68fdc-8185-4c41-8d17-6939e0bf9162","resolution":{"observed_at":"2026-08-11T13:51:29.075939Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1306.4044","last_updated":"2013-06-19T22:43:15Z","snapshot_observed_at":"2026-08-15T00:13:45.654986Z","submitted_at":"2013-06-18T00:06:52Z","title":"Attack Planning in the Real World","version":2},"cited_work":{"arxiv_id":"1306.4044","doi":null,"metadata_source":"pith","pith_arxiv_id":"1306.4044","snapshot_observed_at":"2026-08-11T13:51:28.881660Z","title":"Attack Planning in the Real World","venue":"cs.CR","work_id":"7bb59cfa-5bce-4324-a04f-1743fa046375","year":2013},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.260109Z"},"links":{"cited_paper":"/paper/1306.4044","citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:3d3ec0d440e30ffe15d5ef243e013344506d891123eff6c6e2d93b97f81b2169","observation_id":"2f232672-52f4-4b67-a975-637db2588b4c","resolution":{"observed_at":"2026-08-11T13:51:28.892763Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.268743Z","title":"In: Proceedings of the 13th ACM Conference on Computer and Communications Security","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.268743Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:3713dd10b07f959050b3c8e359725025f25da12a283241b313c09825469a4b89","observation_id":"bf546013-8ac0-4114-8fd4-5485a3f98127","resolution":{"observed_at":"2026-08-11T13:51:28.268743Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.756197Z","title":"John Wiley & Sons (2014)","venue":null,"work_id":"3001e037-03f5-49fe-a64d-133ee1eea021","year":2014},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.276209Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:736014c330a4af2094f9bc96ca31b842f4811871edfd07d70479ea87299600c1","observation_id":"5cf7b91d-79c3-4f2d-8231-a2a91b3eb294","resolution":{"observed_at":"2026-08-11T13:51:30.763385Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1306.4714","last_updated":"2013-06-19T22:39:20Z","snapshot_observed_at":"2026-08-15T00:13:27.059015Z","submitted_at":"2013-06-19T22:39:20Z","title":"Penetration Testing == POMDP Solving?","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1306.4714","snapshot_observed_at":"2026-08-11T13:51:28.283504Z","title":"org/CorpusID:14462292","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.283504Z"},"links":{"cited_paper":"/paper/1306.4714","citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:7d048775f2577667e7934d2d062c9a4f3c7879b4e72f2e585c4fa58ccbc1496b","observation_id":"839c80b5-4766-48ae-b6f6-215677384d49","resolution":{"observed_at":"2026-08-11T13:51:28.283504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.297402Z","title":"In: Proceedings of the 4th ACM workshop on Security and artificial intelligence","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.297402Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:31598a9a4340c14b78f80a9c1487d82c444b54547bba4343b4fc86a8a1f12dc9","observation_id":"8818d36e-ea61-4706-9347-2fa4289c00a9","resolution":{"observed_at":"2026-08-11T13:51:28.297402Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.09118","last_updated":"2021-08-20T11:32:23Z","snapshot_observed_at":"2026-08-13T18:44:41.873396Z","submitted_at":"2021-08-20T11:32:23Z","title":"CybORG: A Gym for the Development of Autonomous Cyber Agents","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.09118","snapshot_observed_at":"2026-08-11T13:51:28.306715Z","title":"org/CorpusID:237259783","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.306715Z"},"links":{"cited_paper":"/paper/2108.09118","citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:24503fafead076a6374584fdf2644e81e061b758da0ca6723f6fe01564a9fc4e","observation_id":"996f45db-f2e2-4381-9e98-dc132cc66e2b","resolution":{"observed_at":"2026-08-11T13:51:28.306715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.728237Z","title":null,"venue":null,"work_id":"7c2eae61-1c77-469a-89e2-9a5f3710f7d9","year":1947},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.317212Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:de04f31df35ed922919598470782b186495eab8b9c060dd8218d3bc2e19272ba","observation_id":"890c6716-414f-4b26-94c7-6ba7865ff308","resolution":{"observed_at":"2026-08-11T13:51:30.740358Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.696682Z","title":null,"venue":null,"work_id":"48358bd3-8081-481a-9fd7-4a4accb3238c","year":null},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.322861Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:5b3e40e20a628a9ae17cfe36609784ddbaee1ce8ca6c98739b167be439d4eb53","observation_id":"03fda51f-1cfc-4136-b3a6-f79bc9133af8","resolution":{"observed_at":"2026-08-11T13:51:30.704227Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.630685Z","title":"NATO SUPREME ALLIED COMMAND TRANSFORMA- TION NORFOLK VA NORFOLK (10 2015)","venue":null,"work_id":"12f71eb4-c1ba-4830-a300-2323e49fc4f5","year":2015},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.339047Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:b4679e03aa4cc6835a1366e6b88715cec3409bd42a47940de43f3afe37590c1f","observation_id":"a2f396ad-15e7-4996-a633-dc3ceaf60aa2","resolution":{"observed_at":"2026-08-11T13:51:30.636658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/app11198823","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.459850Z","title":"Applied Sci- ences 11(19) (2021)","venue":null,"work_id":"c4cbe699-273a-41bd-8e98-8d3f23402875","year":2021},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.347145Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:f681b08b8b9044f58f04c181e5213cb93f1903ec1ca4cee88230b1739afb7f32","observation_id":"463be2a8-25d1-4c93-b94c-4aceb49722af","resolution":{"observed_at":"2026-08-11T13:51:28.465616Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1631/fitee.1800532","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:28.435904Z","title":"Frontiers of Information Technol- ogy & Electronic Engineering20(9), 1277–1288 (Sep 2019),https: //doi.org/10.1631/FITEE.1800532 C","venue":null,"work_id":"63a6c970-18c8-47a3-b1c4-39b922cd20fd","year":2019},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.357309Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:7f2ccd3b5409bc7902e9002d21007cf3800c5f75755baa8a6860dbbf3b2a543e","observation_id":"b7adc038-b1a1-4d9e-b349-e19a8652512b","resolution":{"observed_at":"2026-08-11T13:51:28.446899Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.607958Z","title":"For each service,𝜐 we create an interface𝑖𝜐∈𝐼𝜙 and the corresponding open port𝜃 is a property:𝜋𝜃 ∈Π 𝜐","venue":null,"work_id":"76aba90a-e6f1-4541-8a88-a47c13d4ef5b","year":null},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.366169Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:179901451405e94dbfb02da0ff23af7b7d159005469871b4827f85bc38a0a79c","observation_id":"d00406b1-acae-48e9-a92b-6830434c61ee","resolution":{"observed_at":"2026-08-11T13:51:30.616175Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.574619Z","title":null,"venue":null,"work_id":"dfa0e856-5d45-4953-acb9-6ff5f0359f63","year":null},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.378299Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:215e456c0e0e2fc83fe97cb8a9c65862eeebb955a1abfcd6ad67cf657b9f8ecf","observation_id":"414ed86a-5d96-43fd-8bdb-fd39b1942db4","resolution":{"observed_at":"2026-08-11T13:51:30.586867Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.534129Z","title":null,"venue":null,"work_id":"ffe81909-3d82-4c20-8879-04220e14c71c","year":2008},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.388861Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:f731584115c20d9f497449885d9ab8f2f5ebb1b2ad55999d57567f39ec572732","observation_id":"77f1bdf4-9802-4035-92c0-19bf65f0c1c8","resolution":{"observed_at":"2026-08-11T13:51:30.552441Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.656594Z","title":null,"venue":null,"work_id":"c704ac95-2d86-4165-bc6e-3482b2c245f8","year":2019},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":443,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.329723Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:cfc26e029157aeeb04c8dd11182a025399558f4106a6f767084db3e3f030f4b0","observation_id":"1b37968e-d0de-4cb5-bfa2-263761f21298","resolution":{"observed_at":"2026-08-11T13:51:30.665478Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T13:51:30.781389Z","title":null,"venue":null,"work_id":"20b304fd-a5a5-4d19-8a6e-c67b403943ac","year":2015},"citing_paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization","version":1},"reference_index":456,"source":"pdf_text","source_observed_at":"2026-08-11T13:51:28.246411Z"},"links":{"citing_paper":"/paper/2412.12745"},"observation_digest":"sha256:b6aaad1e100dbb11a53eac298fcbb4e1ff5ff461643f976bbba5f28afe28d9f9","observation_id":"26e0f0df-f8b1-429e-992e-776ff82d01b7","resolution":{"observed_at":"2026-08-11T13:51:30.792031Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.12745","last_updated":"2024-12-17T10:09:41Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-16T06:01:47.501429Z","submitted_at":"2024-12-17T10:09:41Z","title":"Automated Penetration Testing: Formalization and Realization"},"reference_resolution":{"displayed":38,"state_counts":{"malformed_identifier":2,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":15,"verified_exact":10,"verified_fuzzy":8},"total_outbound_references":38},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2412.12745."}