{"as_of":"2026-08-16T03:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:37f616782092e53c8db235a6ed90f8971f18b536362952cef164fbb537905d94","coverage":[{"denominator":219,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-11T02:52:49.268354Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T07:46:24.015741Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-04T11:39:47.548599Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"cited_work":{"arxiv_id":"2605.07814","doi":null,"metadata_source":"pith","pith_arxiv_id":"2605.07814","snapshot_observed_at":"2026-07-04T11:39:47.548599Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","venue":"cs.CR","work_id":"83538f24-625e-4dcc-9098-c88fa7bf1c96","year":2026},"citing_paper":{"arxiv_id":"2606.23197","last_updated":"2026-06-22T11:44:58Z","snapshot_observed_at":"2026-08-12T19:40:04.785129Z","submitted_at":"2026-06-22T11:44:58Z","title":"The EVerest Dataset for Secure Software Engineering","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-26T07:46:24.015741Z"},"links":{"cited_paper":"/paper/2605.07814","citing_paper":"/paper/2606.23197"},"observation_digest":"sha256:abbe03f9f3bd76bd2e4f432b9fefa10f37f571ec49b2bf7e0d1e80d3ea7adb46","observation_id":"44577585-c946-4d20-9e3b-b6b8a027ea7c","resolution":{"observed_at":"2026-07-04T11:39:47.549955Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2605.07814/citation-record","integrity":"/paper/2605.07814/integrity","json":"/paper/2605.07814/citation-record.json","paper":"/paper/2605.07814"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.infsof.2012.04.001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Information and Software Technology","work_id":"3f231313-8b5f-4fa1-b72f-4106fde6f6b4","year":2012},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:17943404bb23e2222feaf59189d359c203387fd8872c1d750547be4cecc05337","observation_id":"22388e4a-f8df-476d-b687-ef8c76baa2c1","resolution":{"observed_at":"2026-05-11T02:55:52.135572Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4d902c40-207b-42b4-a9b3-adf4eeaa5a6e","year":2002},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:49a2f971b7ab89cf742192fa51e903aa9ca51773bf206e109c01e42c35c67c1e","observation_id":"76d7a6b6-549f-451c-aa70-5c54d85dc7bb","resolution":{"observed_at":"2026-05-14T11:24:37.596970Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"131048de-3ee4-4873-8ffd-50772ee615d2","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:717780b15cd171e394104dc753ae349f23b8b1db561c2f2077df993b0e87d71f","observation_id":"c6c06776-fa02-4fa1-8ccd-ccb7d3cb1e68","resolution":{"observed_at":"2026-05-14T11:24:37.582397Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T14:16:16.764150Z","title":"In: Proc","venue":null,"work_id":"452f975d-5e1f-47e0-967f-db1ed9da0d80","year":2025},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:eb86543117dc74a81b8955ad74b060930a317e333486e1243f792fee302beb06","observation_id":"f49a8ebe-6c80-4813-9674-1b9be293b3a3","resolution":{"observed_at":"2026-05-11T02:55:52.069862Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3ec22ba3-185f-4a53-a6c5-d0db58ec0280","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a4b6b5798ed3a39375b4f52b2e22b64a18816cd64ff70cadb055a6592da7788e","observation_id":"4a56dbab-a6b3-413e-b8dd-a1f0f45be4cc","resolution":{"observed_at":"2026-05-14T11:24:37.587142Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.69875","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6d3cd0b9-2d19-44a2-a8c1-16979a697d58","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:f8b456a20a2d9c1be1c0d09158663438cbd72e6292e63dee43e0adae5905a4c2","observation_id":"dbdbfdf3-2c1c-4215-b19b-9dcf28a8e53d","resolution":{"observed_at":"2026-05-11T03:05:54.936675Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":"Allen, Sean Barnum, Robert J","venue":null,"work_id":"2cd9ffe6-12e7-470e-88fb-963fa66cf426","year":2008},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:8fe46b10f48ce09b6124959b62a35ab7f8ba7f6996f5eef6c591fc4529cbde39","observation_id":"c959aaad-756a-4771-9e02-f564c2828579","resolution":{"observed_at":"2026-05-14T11:24:37.577186Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3956.31340","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d9632c10-e8d3-493a-85a7-e17bf83f09f1","year":2017},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:f488d62a4096e2cccfc1ddcbacc18e0d3782baedf31af0d700049c708fb43106","observation_id":"1565de73-d876-4b37-b274-74561e7d2264","resolution":{"observed_at":"2026-05-11T03:05:54.928594Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"70902ffe-b139-40ef-8b90-a32ce7866775","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:551a121361df97ee95876edd1e8b823140c85fbe674c66bd8b207d7a4ae99f30","observation_id":"1cff31a1-c308-42d4-8986-a82c8ce815fe","resolution":{"observed_at":"2026-05-14T11:24:37.584051Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2013.660661","doi":"10.1109/icse.2013.6606612","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Murphy-Hill, and Robert W","venue":"2013 35th International Conference on Software Engineering (ICSE)","work_id":"c6bea065-0f8c-4ebb-a988-fe3e00c7f511","year":2013},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:789a35a12c79820b6c3dc204f6f758c73e0548351758c2235718fc6b42c850eb","observation_id":"1434c0db-046c-4bd2-b78c-4f7db85aca76","resolution":{"observed_at":"2026-05-11T02:55:52.118397Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9252.334053","doi":"10.1145/3339252.3340530","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Fernandez","venue":null,"work_id":"65e1013a-aff3-4867-9505-2f544251b640","year":2019},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:0e732c71f3a15737e5d19f75b1727e7629074c9e6e007bdb5f17d33eb552e0e2","observation_id":"2b56c892-0d8e-481a-a62f-d41501c24e9c","resolution":{"observed_at":"2026-05-11T02:55:52.080474Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"97f98fec-6ddf-401f-a9ed-4b2aa437aa31","year":2013},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:f998c78e1e61b4b629801016517f054b9ba4621b122fde4b32decc0b4020915b","observation_id":"f8ad9183-b447-4cc2-8805-6ca281b429a6","resolution":{"observed_at":"2026-05-14T11:24:37.593582Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-66218-9_50","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Advances in Science, Technology & Innovation/Advances in science, technology & innovation","work_id":"601133b5-7914-4c3a-9d96-a4ccaf21c8d5","year":2021},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:9fdddf3ff894c32679fc26830a6cdca9babd3fbedb87e98d4d9d95ff4b3b75fe","observation_id":"2e510af4-8f31-4625-aa0a-5ce4c18525fd","resolution":{"observed_at":"2026-05-11T02:55:52.123682Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6090a34c-71e8-4e76-afbf-c8bfd0d13c31","year":2022},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:3330f2af9bb32a2ee12cad095c77fdb0aab6511f3c4c8db339c60df07905695b","observation_id":"23fc633d-5cf6-4fc4-bbbc-44cea4d64200","resolution":{"observed_at":"2026-05-14T11:24:37.646039Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4291.259429","doi":"10.1145/2594291.2594296","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"McDaniel","venue":null,"work_id":"c9b39932-7930-4f3b-9b34-241ccb1e8512","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:4b98b1da26e00f8766b63be4c6feabb40fd73ff034b72c79498c9d0c9f3736df","observation_id":"34586678-88f0-44b6-a6d9-08b4e2e2a79f","resolution":{"observed_at":"2026-05-11T02:55:52.099513Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ares.2009.163","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"3c484a26-8169-4769-b357-eaeb7670bf4f","year":2009},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:5f836c50cb94bb5c1f60892de7496ba611acd23de9b0bf393fdf3d2efddb015f","observation_id":"595371ea-2997-40f7-8f7a-2c340606d2fd","resolution":{"observed_at":"2026-05-11T02:55:52.071611Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/sere-c","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"cef76ece-5df1-469b-8d9a-ef75aa8b88aa","year":2012},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:ea73d9502710f511fc88fb0c4c977ba1ed67dbdaf92591bac1263ebbeee4141b","observation_id":"53552a1f-dc56-43fd-a1bc-224e910fd1a3","resolution":{"observed_at":"2026-05-11T02:55:52.087191Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e7f86d0a-e7ac-4360-bffa-00681689ba60","year":2017},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:c8598b8a16bec54282239309bb2c50ba064981db1d88bff5aaf311ea149a3f2e","observation_id":"c5c8c9f1-28cb-4825-b830-d10c1f6531d6","resolution":{"observed_at":"2026-05-14T11:29:37.823782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0355.355245","doi":"10.1145/3550355.3552452","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"c8312df8-532c-4674-a278-2a713fb73e29","year":2022},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:79c5d4b3a9abe9d1dda6184362de2635bbb20b009ca23a0475356c3f9c60178d","observation_id":"3f958b82-a5fd-4548-95a2-598e1b2134ff","resolution":{"observed_at":"2026-05-11T02:55:52.158144Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"48c32c9e-95f6-4d1f-99f5-3fa38c4aa611","year":2003},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:6866196e77be6a8bf9edca1d46af67c7540e7a0d5a2999316c1b7405f7a77a9d","observation_id":"e8f9c8cd-6b3c-4bda-b22c-4fdcb497bfc6","resolution":{"observed_at":"2026-05-14T11:24:37.761667Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ebd42fab-16de-4dbf-98f4-3298aca3bc5d","year":2008},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:2080d1624c684f5620b237c3975db3251a1aa48ed09e8b716791503374ce1b54","observation_id":"6e5bd79a-0aa2-48c0-a9ad-15bb60978e8e","resolution":{"observed_at":"2026-05-14T11:24:37.763242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.infsof.2014.05.005","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Information and Software Technology","work_id":"a4706799-d2b8-4021-8c9e-2cabdd02f70e","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:df92ee6a70c06bc5bff7819b78a0c863b9e4758ee896258ca2ead690f6bb9859","observation_id":"74415d3b-c35d-4725-87b1-3b7da34e35ce","resolution":{"observed_at":"2026-05-11T02:55:52.215147Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"abb7f9e6-41ec-4625-86d1-7abeb894dc8f","year":2016},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:b6d3bd12a951c2f63184dfe0fb9b7be2587352b75253bebb00febbc33a64834d","observation_id":"65fb4d62-c633-4caf-81b6-19bb1bf97c48","resolution":{"observed_at":"2026-05-14T11:24:37.765358Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"54c4fffc-6b31-4fc6-80ed-10f45d155a4a","year":2022},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:3a4763e5fc97e53c8bfa60841faea854a26bed2b28130298c6e3163239c69374","observation_id":"9aed7235-a426-4f53-aaa9-e84721f972c8","resolution":{"observed_at":"2026-05-14T11:24:37.753324Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"45931de9-8def-45e3-b1b2-9f2ccdfeeb0c","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:01010b733445c327959774e85f85a84c37f89b5c17c2650fd6379525dc0b8362","observation_id":"736ff3aa-9fbe-41eb-b78f-b68abbfe0f91","resolution":{"observed_at":"2026-05-14T11:24:37.755745Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":"Burt, Barrett R","venue":null,"work_id":"095e906e-7de2-4c00-87e0-5abeb36a6dd6","year":2003},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:32081e5177f11eeaecce70a542b59e31e4de1239050976682e7fa9abbae321ec","observation_id":"a8978e99-229c-49d6-8cc8-4cb71d245a26","resolution":{"observed_at":"2026-05-14T11:24:37.758829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"55b6c0d9-0dd1-4b02-a266-551d744fb436","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:370b383674e59f32f109723256327913d6d8691ff1c8e89a51457a3a15228744","observation_id":"815b73a7-d337-4282-afaa-303a752dfe07","resolution":{"observed_at":"2026-05-14T11:24:37.766913Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d175b746-12b8-4a7c-aee2-5b7038d107b2","year":2015},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:22a5795a0ecffca8bd31e8aa31aa718c41e1830e04fd66e6e00c35a0ae2cdf08","observation_id":"5ff6cfeb-eb74-4718-9dfb-8340b1958202","resolution":{"observed_at":"2026-05-14T11:29:37.831323Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0374dcb8-da1f-4b94-ab76-3129d00da4d3","year":2015},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:613b0ff56ecde47546f965b3935dbbf7548d6a80055bd0bab0210487c3b34f27","observation_id":"471f07f7-fdc6-42aa-8a3d-292dd400181b","resolution":{"observed_at":"2026-05-14T11:24:37.774947Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f7ffa104-4045-45be-a825-99fdf9627d70","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:0dbebdac5944fff05008292a7e7abb1fefa4d19ea8066c63bc0ba6363daefa50","observation_id":"414dbd6d-4e8a-4888-bdee-6d4174023706","resolution":{"observed_at":"2026-05-14T11:24:37.709513Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-69100-6_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8d189202-a3ac-4de2-a328-f35d8aea332e","year":2008},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:54f3150d64b524de0e169cedcb02b02586aef028fec3b371f9659aac0312a4bb","observation_id":"fb22e459-5aa5-40e7-a932-37bd2ef9f4c8","resolution":{"observed_at":"2026-05-11T02:55:52.185342Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8511f0b3-a4b9-41a4-b904-c632cdb4e721","year":2006},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:070db29ddb4b7fbb988cf807059902dccfb93f77a376fb95ada270862b57a417","observation_id":"a21095b2-87e9-4dda-a568-531456eb8deb","resolution":{"observed_at":"2026-05-14T11:24:37.701246Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2d786e5c-adc0-4b9e-b68b-b25e0e69fb4e","year":1998},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a98f1804cad390d4ae455f9e636a0161e2c6b78975199fddf4c7b01271f1c7d3","observation_id":"92636012-3915-4ccc-84aa-7b437d609d5e","resolution":{"observed_at":"2026-05-14T11:24:37.670691Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d7264ba2-3d28-4bd1-a9e5-e26409bdebd2","year":2006},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:52769d087eef009090e1777aea35cfe1ffee41b4829a0c29fb5c7626b39d109b","observation_id":"9a7cad34-c3c9-4c2a-bc3d-415832c6e424","resolution":{"observed_at":"2026-05-14T11:24:37.658885Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9143be2c-9f25-41b5-b62a-687ae1b8e995","year":2008},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:c42e4eebd03a8e1b5a71442310786b4ba80bdb64812a2db505d7268488aa9ce6","observation_id":"f3435cd0-2d25-4fd2-a7e0-ededd515045c","resolution":{"observed_at":"2026-05-14T11:24:37.665569Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":"Seacord, David Svoboda, and Kazuya Togashi","venue":null,"work_id":"9b3fb6f3-4737-452f-8f6f-8fddc449d0d1","year":2009},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:59642e20eb513e4a02dc3ed1bcc1e1316ab6556552ab88d8cfaa7a5692949808","observation_id":"34af104f-128e-403f-8cfb-9e092ba5f40c","resolution":{"observed_at":"2026-05-14T11:24:37.675884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-17322-6_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"110971e0-1472-4b92-99ba-8b167a85b4d3","year":2010},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:cda431877f2cde183afc931a3f1072fd93beb8401a46112465cbf6435ddd7022","observation_id":"1b2ee408-4d25-444e-b079-d0fcb0c43c88","resolution":{"observed_at":"2026-05-11T02:55:52.036350Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"710f3c42-5345-4539-a261-24bd13e6570c","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a15f086c0d99de1a47b770557edb9756af2bfc3d4c3a6c526a5ecf2441d8a08b","observation_id":"49fdb860-49d2-4f95-8d80-a272585b969a","resolution":{"observed_at":"2026-05-14T11:24:37.699724Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e17fc2a4-479d-44c2-a98f-957d308be57b","year":2024},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:cd9a55fdb960fbb8c136460c719cb8710a6dd54c910f96509c2912e83d03602b","observation_id":"ba5dc74f-06ff-4896-acc3-097dc95a1bd6","resolution":{"observed_at":"2026-05-14T11:24:37.776469Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-36563-8_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"18206ae3-81b1-4225-a4fd-748e35481446","year":2013},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:3611f8efc7dfb83ab28d5487f5cb50a8ae89fbf9448d1a4d1b89d0e29c0cb08f","observation_id":"e17bd835-aa13-44c7-88cd-59b91398614b","resolution":{"observed_at":"2026-05-11T02:55:52.031168Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"7d3bb504-57c6-4e6f-aac3-895d86a9ee84","year":2013},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:c8135b4e2df8e81dcf26892b14603775a4e6e37e78b849d6e816c2f2e27e4987","observation_id":"bcc5db53-dec3-4d13-b09b-77c84627ed04","resolution":{"observed_at":"2026-05-14T11:24:37.653757Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e03678c8-f17a-474f-a4f0-c54ec05d6e07","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:1a06068505451adb5f6c1699943fac23169e665607a8570f85869a221d0b53de","observation_id":"1b2edfb8-3cd6-4ac1-a346-aa6ee826c63f","resolution":{"observed_at":"2026-05-14T11:24:37.570071Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8e166440-c27e-49fc-924c-23fa5b978f38","year":2012},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:0e832c75949d5e66bb151807d9b284d50c4691ebc1b8dc739ab3f9663b61359b","observation_id":"3e67a007-7b5a-4bc6-bb32-1997d590cc83","resolution":{"observed_at":"2026-05-14T11:24:37.571685Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"aee30790-21bb-418c-8b51-f4d4933a7cbb","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:5448b09267c9ed3cec1503d977e2d6109f8372aa5ad3063e0ca179d8e5a4d342","observation_id":"0862c330-8954-43d6-8c5c-9113e27d491a","resolution":{"observed_at":"2026-05-14T11:24:37.580722Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"99cfbf03-a1be-4c9c-82aa-fe6757b237cc","year":2006},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:4c3c0ba7c41f08ac6298a98b9d3a7cf26546499394d6a995546855557d3d3900","observation_id":"53fd20cb-2a77-4cf7-99f0-fa0c0c94a238","resolution":{"observed_at":"2026-05-14T11:24:37.585624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6e5f088e-6ce7-4895-8e00-b8ee9dede664","year":2020},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:919b4dc62fb1960c9298a54dc9bf8b01b02c67f72dcab37096f99a01b61e5c61","observation_id":"0b19d328-d626-42a5-be7d-a2ca9cad2543","resolution":{"observed_at":"2026-05-14T11:24:37.595260Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c970ed0b-5bd4-478a-8865-bf1422ff9b23","year":2021},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:262ba75c1ee9f055105c85b12554db798dc8e8fab4355372e5d1897e4efcfc8a","observation_id":"ef641bb4-c1e2-4d1c-b768-328daf0068ca","resolution":{"observed_at":"2026-05-14T11:24:37.638971Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d08066a9-ba42-4d2a-8196-766cec59e8b4","year":null},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:3923bc5f396286067170c9860f75e88cbe080c8ee6c380cbc8125835189bd0eb","observation_id":"d07779ea-425e-4b23-a136-4d8d02e6cc3e","resolution":{"observed_at":"2026-05-14T11:24:37.779526Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":"Transactions on Software 46 Peldszus et al","venue":null,"work_id":"a3b2f37e-be65-4090-a90b-11fcd0061c46","year":2010},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:4aff6de652621d3ef67e1bffff398bbf3b5fe3ef6fd21b504439c11c5d641c6e","observation_id":"1e49e209-8377-45cc-be91-1589eb015ef1","resolution":{"observed_at":"2026-05-14T11:29:37.836321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"010482d8-8608-4ce6-b034-54562e924047","year":2019},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:199726e7d53cb5a9c121810337c50fd26bdcb299f532b75de41e9ae0f2e77fb0","observation_id":"247da153-5353-49f9-8d21-f5ebf3223ad9","resolution":{"observed_at":"2026-05-14T11:29:37.826353Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f9837a48-de4f-4061-a217-e67f752d87e5","year":2018},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:afc576746911ea8713cbe117ab968e91b6daa7266466c8fb65956b400e7e1ede","observation_id":"5db549d2-dd83-457e-85b8-c7843606df74","resolution":{"observed_at":"2026-05-14T11:24:37.771579Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/scam","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"InInternational Conference on Source Code Analysis and Manipulation (SCAM)","venue":null,"work_id":"3a3ad408-e2ff-4c12-bf99-4f88f145260b","year":2012},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:d217efe76a21a819bcfc23196173a2e9830dd0ca0eeb0db5d047a519696547e2","observation_id":"4f0df3c4-e448-45c4-ba41-fdf280d1dcf8","resolution":{"observed_at":"2026-05-11T02:55:52.051235Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"905315df-d041-4d76-b172-527fe73d46c2","year":2010},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:80c261c11e8d7031a4795ba29aaf21cfdb4770c95ebb9a09b21190aa1986a9da","observation_id":"74e108bc-6e87-4520-b664-adefc304d146","resolution":{"observed_at":"2026-05-14T11:24:37.770118Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e6503171-14cf-43a7-acae-f7e4f79200cf","year":2024},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:971d4d262736965fd1eb019f14ef94513adee9a6693207b24f8c873a1d68b8a9","observation_id":"56147c41-a561-4909-bfdd-1cd1636653e5","resolution":{"observed_at":"2026-05-14T11:29:37.816736Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"53eb31fe-48e1-44e3-9a72-9ba7ea49f1a7","year":2025},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:154679f137d14d090a3be2a4c2d3fb11c3df6286a42273f23aba0798854075f1","observation_id":"83ba6c91-539a-4fe3-8bab-af6c9c052697","resolution":{"observed_at":"2026-05-14T11:24:37.749422Z","resolver_source":"raw_fallback","status":"parse_uncertain"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"93e3eb0c-f910-4d79-8059-16c17ce90a7f","year":2006},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:b1978c504c5b8d6f432e55231dee7193367112612ca8a9d29e948f5e19216b41","observation_id":"f7380807-9889-485e-b670-5794e66013db","resolution":{"observed_at":"2026-05-14T11:24:37.735193Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"31ba7111-7c84-49d9-9327-fc1b47147954","year":2024},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:1b68c998145dcec010f5e814ffc94d6921bb08e8428f9a0fa729ad905256de54","observation_id":"91e0532b-e92c-467b-9e8d-41746740732a","resolution":{"observed_at":"2026-05-14T11:24:37.642209Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"ir/1000082","doi":"10.5445/ir/1000082042","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Repository KITopen (Karlsruhe Institute of Technology)","work_id":"fcac31b2-9287-4ab6-a6f1-cf0a9891510a","year":2018},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a53b36c2a856ffaacdfa70ec11aab79ac10011d36cfefc6177f70d309f1a60e9","observation_id":"76fb9ca7-3eff-498e-8e3f-4bbeb38ca8b8","resolution":{"observed_at":"2026-05-11T02:55:52.213201Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66197-1_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"22f3a20f-de14-4d8e-8a08-2663a837f1da","year":2017},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:3d4564c5fca8673defcedef786d0a5f7615a4cecc8b848fc6ae864dcc92d9401","observation_id":"69669ad7-3d8f-46d9-a56f-3f24b251c865","resolution":{"observed_at":"2026-05-11T02:55:52.219951Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4c5fc5a9-bb4c-44d3-839b-a4ab55a8a7a6","year":2009},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:0cd1a297b51a5c4bc09d0bc6c466b611284a424d4592435280dbcadf28d31b2f","observation_id":"6b70b821-5b87-490e-bcbe-01b2a0dd6f89","resolution":{"observed_at":"2026-05-14T11:24:37.738491Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f7aad181-6d0c-4136-a4d4-b4696ef7a33e","year":2011},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:0a7813e5d1476125d6362f220adae2ab8d09354d6678a3e652e7b73e74edbb92","observation_id":"c455cb15-632e-4a8a-9675-803ada8d4c79","resolution":{"observed_at":"2026-05-14T11:24:37.740116Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e0d72f31-d38b-447b-8e6a-4785c7e931e4","year":2024},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:424165e14c4d05c3fdbe56adc1adf8060f6b95caee8116469705f8afe86b89c7","observation_id":"22ca4960-a83b-4408-83c5-366042010fa7","resolution":{"observed_at":"2026-05-14T11:24:37.731968Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3377.318339","doi":"10.1145/3183377.3183393","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Stolee, and Christopher Parnin","venue":null,"work_id":"b10951fb-4cdd-4431-b8bf-e0a3445bcc7b","year":2018},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:77f71518ee1944462697fab6bf803a542aae01220870e3a2eb0c9c8f5090fe7c","observation_id":"0b42026d-b2c4-42fb-8bac-a02db9f16896","resolution":{"observed_at":"2026-05-11T02:55:52.194070Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"20f47acf-27e7-4c8a-8c2a-6c2489be905e","year":2003},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:03c13481655d7a5334763d3b2d213c0834a84522b3e040cd6f8ee438bf15e3c5","observation_id":"b1d451e0-26be-435e-87cb-de59a4f8ad38","resolution":{"observed_at":"2026-05-14T11:24:37.723675Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5347.2025","doi":"10.1109/icse55347.2025","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2025.IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation","venue":null,"work_id":"c383b7e9-bd1e-4268-b134-a4e43d7560a3","year":2025},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:fbe4f86a9fb86a64e44151c82d688b7cbb1e76f597267ab0b28b24d01a37bc8f","observation_id":"20cb9269-4728-42e7-a591-137bd1b1b6f9","resolution":{"observed_at":"2026-05-11T02:55:52.180656Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10664-025-10649-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Angela Sasse, and Alena Naiakshina","venue":"Empirical Software Engineering","work_id":"df650b1f-82f4-47f1-9664-0c64b7ff1155","year":2025},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a751f463d3766e94fc8be51b08bc7eeecae8c867b7bbef5e99b251c7ded0f284","observation_id":"65764926-6dd8-4ea4-b412-f3c06edcf149","resolution":{"observed_at":"2026-05-11T02:55:52.200834Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-07-16T20:51:39.372198+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-16T20:51:39.372198+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4018/jisp.2007100101","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"International Journal of Information Security and Privacy","work_id":"d0f21482-323a-458c-b23b-b053fd44ad9e","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:351ab56c162d1c569378bd28a27594a3eb4507ee08eefd8fdae705bef05bbe7a","observation_id":"3fb2e2da-b769-4e38-b82b-56420a31fafb","resolution":{"observed_at":"2026-05-11T02:55:52.183167Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"66865196-6236-4232-8b50-305c4a1949e1","year":2012},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:6b87028ee7ecc1f083000767e82da5953871c784197ba7d18f424943f3e45bec","observation_id":"7155a09a-e141-4748-a39f-ae56d7b60db5","resolution":{"observed_at":"2026-05-14T11:24:37.720707Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ee8761be-886a-472d-a369-9721dab07c90","year":2015},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:b752d82b14a6d95276e2aa4614ec786d3c14e60b26ead4d09e8a7195ea9e8349","observation_id":"60655cce-eaa6-43cd-975a-8c8c89bf7870","resolution":{"observed_at":"2026-05-14T11:24:37.725188Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a2f80bde-f622-4e67-b3d8-27b4a7af95e4","year":2016},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:22046370571ab820a9fb5becbfe611c15f5184aad1a983b06407f2d9a548fbba","observation_id":"b017d6a4-8b83-46b2-acac-6f957942007d","resolution":{"observed_at":"2026-05-14T11:24:37.730304Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3485464","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Katherine Hough and Jonathan Bell","venue":"ACM Transactions on Software Engineering and Methodology","work_id":"f4c4e873-d6bd-45b2-9344-651a33daa2c7","year":2022},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:22cfa1626ebd1fa140aeaa0dae21dce6432d7842ff0a66a19cea11eeeb93f7c3","observation_id":"52e51a29-d23d-423e-9ce7-38ac7ab48f94","resolution":{"observed_at":"2026-05-11T02:55:52.198472Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8c53aca7-4c0a-4102-a3de-b6502b464687","year":2003},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:312f21be8ec84c0e86257afdb59f9e7b73feffdaff29d4b11d54ee17c330a086","observation_id":"512d3085-ac8d-4a44-8b82-ec40a405ec75","resolution":{"observed_at":"2026-05-14T11:24:37.744608Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2003.120921","doi":"10.1109/infcom.2003.1209219","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"372fd414-87c4-45b1-ba78-9101f38918f8","year":2003},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:13ca4c33ef936049360ff7cde7da83a933625471bb189b0f2f05865087ce568e","observation_id":"fb206b94-27f3-4cac-940f-5977fd895fcf","resolution":{"observed_at":"2026-05-11T02:55:52.188100Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T06:54:44.632854Z","title":"N., Abdrasheva, G","venue":null,"work_id":"4d8d61c8-429b-40e8-a295-aa17c2049f81","year":2017},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:5cb7e6d7524148600f41c7192fccc4adecf4ce447a264bc9882ca47bccd75859","observation_id":"797b8fab-ac51-4406-b813-9e0f0454ff8e","resolution":{"observed_at":"2026-05-11T02:55:52.208037Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5716.347576","doi":"10.1145/3475716.3475769","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Proceedings of the 15th ACM/IEEE International Symposium on Empirical Software Engineer- ing and Measurement (ESEM)","venue":null,"work_id":"a6a5a9b6-9bc2-4343-81fd-3a34e984d1c6","year":2021},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:306828d74a9a5addd1323576bba3ff39f07cafa684bfcce8dfbb18c23c1fd2e6","observation_id":"c66853b1-c466-498f-ac0d-9b79bf12297a","resolution":{"observed_at":"2026-05-11T02:55:52.121618Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3d8a7d5b-967c-4cf0-8cb2-d416ebab0279","year":2009},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:ffdf5886b5e0720c3df509db01675e1e7b9b16d527ea2bef7e3ceb21e23c7965","observation_id":"aafbce07-2d16-453f-8baa-78420dec166c","resolution":{"observed_at":"2026-05-14T11:24:37.757189Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2011.612946","doi":"10.1109/ieeestd.2011.6129467","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"0cdb485f-9363-4bc4-83d3-113d68ba04ed","year":2011},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:eff1dd89bf8cb4ebd190a34c384ebab64a38cad13cab719f3e599485df79454e","observation_id":"8bae17e7-6b19-426b-9c61-e9b7ca27dff4","resolution":{"observed_at":"2026-05-11T02:55:52.102149Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8df901d4-33b4-49cb-ba36-287e66c99e8d","year":2021},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:39a6a9a4005ee94c0d76a68477b249425a7a49dddd3d24b64720cad6a621fe08","observation_id":"29b1463a-2e58-4791-97d3-3c8d8ab1d1fe","resolution":{"observed_at":"2026-05-14T11:24:37.696624Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"696370d6-a409-4090-8824-737aca980f35","year":2009},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:fa35b8164f27df9bb2a14be5b16b90387b05b95b4143c6bfe492ff1f39360c31","observation_id":"5d09bc70-cdad-4f39-9d83-8d6fba34349c","resolution":{"observed_at":"2026-05-14T11:24:37.698142Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e06c5397-45e6-4662-821d-5d7825e6917b","year":2025},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a29ed11232ee0af2c3f71e2858413b477bdadd39b6834db6198ff71f472595a6","observation_id":"d9cd7ac5-7af5-4dd4-bd05-5a3e3801f09d","resolution":{"observed_at":"2026-05-14T11:24:37.707741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.309120","doi":"10.1109/access.2021.3091209","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"IEEE Access","work_id":"6765bda3-f7be-4540-a2ba-5227b88cc329","year":2021},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:8523bd98bbc7d1f4cd8d02089c7f2207b81302e236b9c10e815dcc3253ac7ad2","observation_id":"9acc2d64-9f83-4bef-bcd8-4a8587cd5b3f","resolution":{"observed_at":"2026-05-11T02:55:52.148353Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c5426408-d5f4-4673-bc5e-8425a71f66cd","year":2012},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:c327c0691ff01ad76df527b2babf024f9492dc71f5b9542532d7bcce4162811e","observation_id":"6fd5b6ea-def5-4f57-87ba-a848be1778c9","resolution":{"observed_at":"2026-05-14T11:24:37.688496Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"93a5e144-1e98-4683-a82e-630073b46944","year":2005},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:e3925fa82afe77a698be774965603e242e3393a809a64b8f9b42da385100ce4a","observation_id":"41551649-e8a0-4e3b-9fb1-0cd304132743","resolution":{"observed_at":"2026-05-14T11:24:37.694965Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8088.136818","doi":"10.1145/1368088.1368186","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"e725402b-c81c-40a8-b20c-42772527e42d","year":2008},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:73e178365dc851231174735866737b741c7df3fd017e0cef7c1ba21251fa41fb","observation_id":"386d4fd8-faf8-4eac-afec-6dba4fa8fd0c","resolution":{"observed_at":"2026-05-11T02:55:52.096215Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9f12c796-8b64-41c6-a434-3c8adcce6c71","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:49662b20a5f46e144f342b20f8b05a47fdcb79b4104d3538afc6c4133a748a89","observation_id":"0a057d98-39ef-4016-9e4d-e359fc74bd66","resolution":{"observed_at":"2026-05-14T11:24:37.683644Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fcb14b69-919b-41d8-9953-0316aea63426","year":2013},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:2dd7b69819b810d0a6f83b40952d04675253900adc46dfd8346d3d9332d513c1","observation_id":"132b5b2f-1e2f-448f-8230-482649493222","resolution":{"observed_at":"2026-05-14T11:24:37.686888Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"1b014fa1-5f7f-4f4f-8b14-85e1fe74a92a","year":2020},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:e4593395ef01982bec7e181ff58078223ad50225f65c95dff279e9fbf05a7f73","observation_id":"2bdd4d42-bd8f-46dd-b661-cc1c05f8b27d","resolution":{"observed_at":"2026-05-14T11:24:37.690152Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.00080","doi":"10.1109/ase.2019.00080","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"and Lee, Jessica K","venue":null,"work_id":"02d972e5-afc4-47a6-9228-252c715a068a","year":2019},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:8559ce7761955197ee32335070fbd79e6f865ea7e4af2f442493de0eb37b9661","observation_id":"276bdbde-5f06-4232-82d8-95e2c1b006c3","resolution":{"observed_at":"2026-05-11T02:55:52.083152Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.30523","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"3f7bea8c-a976-493e-9db7-08065a7a9dd9","year":2021},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:256b27f52ae24b2aff6b182211830d92f131f1c2b70a1ef0f655c39a6848f809","observation_id":"113562b7-e94a-46ba-ab63-7b17a0616d75","resolution":{"observed_at":"2026-05-11T03:05:54.932641Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4f2d99f0-560c-476e-b028-dba9533b279c","year":2006},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:71664aabb72e6a9e01d4ac6533b8cc4230fb4eda984154784c211f9d0aafa248","observation_id":"631de2f0-c235-4df4-93b2-ddce6b0bc0a8","resolution":{"observed_at":"2026-05-14T11:24:37.712570Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"72ff386b-1d38-4223-844f-e93948887944","year":2011},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:1600f511e7c38bea3a4c483d8d29ba96114d1c4e1d92f6d30e74fc6dc8f1092b","observation_id":"32d10f8c-1ca3-4ce5-b05e-36967e72a6a3","resolution":{"observed_at":"2026-05-14T11:24:37.682194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":"Mancini, and Francesco Parisi-Presicce","venue":null,"work_id":"ebdd4a2d-55e1-42c1-9010-b97ea3d30e2e","year":2002},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:9aacb59c68929927551e265b23a30e71d8da9d24775fdc3ae846a1ea461cfaba","observation_id":"ee90207e-6abb-41c0-830e-16883f577dbf","resolution":{"observed_at":"2026-05-14T11:24:37.672573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T05:36:48.385946Z","title":"An extension of HybridSynchAADL and its application to collaborating au- tonomous UA Vs","venue":null,"work_id":"4a7d968d-ee43-47f9-9cca-832cf129af59","year":2023},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:a4f30908dc39a16461ab37686b9f7c86b846ebf8517c55956d99d877c588af20","observation_id":"246f7ec7-f8b1-4c0d-86ea-7c804ed2e3aa","resolution":{"observed_at":"2026-05-11T02:55:52.085349Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"ir/1000076","doi":"10.5445/ir/1000076957","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Kramer, Martin Hecker, Simon Greiner, Kaibin Bao, and Kateryna Yurchenko","venue":"Repository KITopen (Karlsruhe Institute of Technology)","work_id":"04d201a4-81d0-4e6a-be0d-c84dc18ea54a","year":2017},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:459e2faf2421434809140d396908a5e5be2e1247e3192e9ef1250c5e32d7f38a","observation_id":"2288941f-d6f1-4e08-94ea-f9e5c63bad50","resolution":{"observed_at":"2026-05-11T02:55:52.140962Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8826.33779","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"14506948-c3cf-45b4-9270-0e42a6340276","year":2020},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:1790c15bc62422856ba15969d90719156e4731ed2b8e0b05cbb1a7d36116743c","observation_id":"bf846870-7dca-42b9-88d0-8fe48b13995a","resolution":{"observed_at":"2026-05-11T03:05:54.941209Z","resolver_source":"arxiv_id","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ase.2017","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-08T15:45:04.469561Z","title":null,"venue":null,"work_id":"5e0bfe8b-c96e-4a2c-b881-67ddb558bd6c","year":2017},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:7ead070bd83adee07af8389e871197ebbd99ab595ab4e1398c9102569dfd21e2","observation_id":"faf5df1e-140c-44b2-9593-b89a90cc8232","resolution":{"observed_at":"2026-05-11T02:55:52.059777Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-07-11T02:50:28.833733+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T02:50:28.833733+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.685978","doi":"10.1109/mipro.2014.6859783","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"443e7a70-f319-46b3-8119-cec66e1f3844","year":2014},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:cb1e57caa580aed00e824ad1d6749f9f018bb2ac236df02a5b9e72fc1e7ab422","observation_id":"2c5cb316-cd2f-426b-9b7a-82837f082fc6","resolution":{"observed_at":"2026-05-11T02:55:52.065165Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fb54dedc-ab7f-4db5-9005-db50c7c955d6","year":2020},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:5b204a5c7120d78e3c7f45e07aa4a0d0a35de87dffdfc5b866ab1d258dbadf13","observation_id":"8d25687e-ac46-49ca-a675-58ceb0f0d214","resolution":{"observed_at":"2026-05-14T11:24:37.674295Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/hase","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 10th IEEE High Assurance Systems Engineer- ing Symposium (HASE’07)","venue":null,"work_id":"05e656f7-f195-4a0e-b92a-0d2f35fea45b","year":2007},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:c19e4b8b9294df96bb8c3b1295c9508666033cc7198cbf9e3cfa399bcc76a6a9","observation_id":"3489e37d-13df-4931-8df8-153fe5585a85","resolution":{"observed_at":"2026-05-11T02:55:52.044034Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1907.02558","last_updated":"2019-07-04T18:31:09Z","snapshot_observed_at":"2026-08-04T00:19:58.801445Z","submitted_at":"2019-07-04T18:31:09Z","title":"Integration of the Static Analysis Results Interchange Format in CogniCrypt","version":1},"cited_work":{"arxiv_id":"1907.02558","doi":"10.48550/arxiv.1907.02558","metadata_source":"arxiv_reference","pith_arxiv_id":"1907.02558","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"arXiv (Cornell University)","work_id":"b32dac7a-eb47-4630-9fd6-04df8c2885cc","year":2019},"citing_paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-05-11T02:52:49.268354Z"},"links":{"cited_paper":"/paper/1907.02558","citing_paper":"/paper/2605.07814"},"observation_digest":"sha256:7208d9dc6f8da1bf90cc41ef4c8610c9ea985e19efedc8fc3c1202ebca101244","observation_id":"43670489-4a88-4d61-8990-d3ae3ce9882a","resolution":{"observed_at":"2026-07-04T23:46:14.319743Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.07814","last_updated":"2026-05-08T14:46:51Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-12T19:39:11.969141Z","submitted_at":"2026-05-08T14:46:51Z","title":"Can I Check What I Designed? Mapping Security Design DSLs to Code Analyzers"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":10,"metadata_mismatch":4,"parse_uncertain":1,"unresolved":55,"verified_exact":25,"verified_fuzzy":5},"total_outbound_references":219},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 100 of 219 outbound references and 1 inbound Pith citation observation for arXiv:2605.07814."}