{"as_of":"2026-08-05T03:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ae5d16785ce23b5afd00dab0259725250dd4d73fcef86a9e984fab515a0ee7d1","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-04T06:34:03.388597+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-02T10:58:20.664938Z","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-07-06T23:57:57.606047Z","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:1bfab731f9104d8c745e1d4e61b739d0946989673f1403dfc9d981485c4bdf2b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d543a0d73f09879e16b1fceaa60a31ff73dd81738818de2e05c1aa3c372cda5a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d2fb8c4ee1f82017c877fe70cebb30094a5d932c25ffdb819c35f52781e8855a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:da8756434548de27a6c29f1e00e463725272ba1132ed3e0534aeb76c56e3451e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d65ebcd9fd594d9104c5b23f3a68108f740f2273e6ca11576d4043bfcbf58db3","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:1ea5b14d18a6ec60e8f90577f241013ef932b362866b6ab29546955b32e292b4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:7a8e0541bcb01ebb69a56d351f683e9e9098a71a577673887b05d12e159f3f4e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:bb4dfc9dfeba0e7482abd14cb18f156f068a0174bdce7e702631101b7929ee64","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:6f3843384a70cfcea24fa976480423102a4204a69e171b87208006132ab15225","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:69a0ccc0997e7361d075cffd48ef00f4a68ea6b858802b855d100e3d6fde1cce","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d56674e7cef091ae9062bb95b9650d03fcd6a60f2544f40696eeac323ba15aab","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:39486838e0014b6051f05f0e27dc77e214dd69dded6aa4fe8e67ec537e89642e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:41e184f78ce5df6185ab000b563e4f3402cca87fa43acf4c8edc4a2a4d4dca85","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:44dce48e6c4b79bd3fd670b2f38d8a66ca5e1b27188c001d3c08f2ffc035e8e4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:c889161d5b4a167a8aec1acda26b38bedd0b729643185b51b854c7077a3220d2","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:1c2d26ea3d9e79c076929fd262b4027bd2d47144d7d8c51a37e8baa7749542eb","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:4000c23c5dd4f5d34287707dbd390e4400df74d3be1c64e96ec89e45c056d99f","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:07b9afbf49708913f2eaf0d2a04c7c893c1c87cc9365a691d799fd55a871568b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d54326b1a77a4a8aaa029d909fc5d6545937e3ff8dedf29b9893fa9333e3b21e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:c2fa24ca73429120c18d037427852219f35699765dbfe3cacf17bddc37de2524","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:38d87656e8f45d0a70b6bb45363d6aeec44feeae3eb06c77ec489c9406836350","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:12a4d15fbfa4868cfa6c4c10af39974e11f26ac06cad195dfd5890881ffc1623","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:dd05ef24a17f65acbfdb6822158efe1a7854e252642bfe5d5d3fc1216a3c33ac","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:af03506231cac5f9cd488033ce9faf38daedb68828c013e714bb9d5a25a3a475","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:4276ed03b6a1fa75685a35a0856c8d795adb1b528c9e556e8122720781ab70da","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e6706223d8575ffd5b46d98c64cb252bc4abbb74348141c8d4e2072fb124f5f6","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e836673f1b570ea55e39b4fda4b49ed01206d074aea806d3c39e830a5fb06e7d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:847dbe800f4abfc7183694739e80f38fa790888572ad4b62d460a4b54b58b4ac","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:75eef28a17d40aa7748689c7810ff4fb96c75b1bcc0ad825786e14898e879dba","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:442344620577d6498c1185889a6b6b90d2a35f2a1075b06c654be50dc2634a2b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:f08e9a892176046f29cee0855cd543fbe95de123c1931853cda85aacdd008cc4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:5421578adb8c5f75339ee1d1a5c9ea25b8caf9bcea8e08b8b33e8f00f4c54159","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:8218e0645b4e6b6ce8b332bec4de07f28c0d16678a845c7e0ae16497e48da1e1","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:47d14ac18e2b3cf1e7f8d25044011e73e9b5fae50dbcb785b24f7661d5ef085d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:89123a710130c9c3feb12db2a3e7fb8697bad73c4d6744b489029c2ff68f2628","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:4a020ac2fbc5b3ff3dbff36e9e70f3b3cc90ff770faad998c64d319f7bd24dfa","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:6d4d2be3bc1997a7f3bcf81427f04592071b5ac67d8015e18e6da729222b0306","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:2fffe5356af63f6ac610b61f8cbdd2a660dc01c775ca29c0a422d6dfc1bec8fe","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:917e2ec61826f7865714acec8895bed58c39d774af0606f2d32fa28c8216327b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:66fd8be580f5e2fb9b3ab1dd36c6d1020960615fe2642e7f5df463eeac668bcc","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:679d04d09dbe2afa604a89a65b14149a3c92db8fea096c2aede2aecc75a4ae7c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:47770fc6227e837a85733565f4a2625855a02b740aac577eff3e8e3b01c7070f","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:f8c264f616997a4d08c999784385843a9e852d127f8f4670863aeaa4e62f874a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:ff0f4d2c2ad758b134e30757cdd69762e41d3dab4c3de7c15442576898027819","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:f754a3bd61821709693fd87aaa4364c80886d1ed4c727e488bcd9417c5c5edd5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:3c11344734266038486f498948086475fa61eacdce541bfa5fd62cadd58a8eb8","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:6af9a6acb8feb30996e387ffdfa8623cbf0037936c14895cdd85cca16458da4d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:773dc2372b7939f6cb295d72d54315f42841a769b011b21fd1d8ff58688cfbdc","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e66143c811ae2a10c20a9a3c118d05b9741223cc68a16d2c288fa02ab351a20c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:09693ff099607db4af934ca3dffc0abcf31ed5002ab40c5b0efe3923778062ae","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:5bd7cdeeae8f0412693c021bc61beff377fef496a9334a4825f255de49933b41","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:3340fee06905f113fb10e054db62ea990a484f9d53e9ee5d80d0dbfb8b39d013","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:f0b109877074c85247d1480d6cdd0c870229c71c0f56f3ad8c907751a891831f","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:84e9f364ddf230e43159e3fcaee03bb9321d46e94d92636e2802811a9eb75d2b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:044115eb5fbb1a8d8d8bc85184c46915c306d52ad6debe82d240c6e28e74376d","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:aa8bf6ce67d2699fcdd6be53d35b04dff8679fcf1405b0908af1b5bec1cf2808","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d6ee4eae119598554734445ca519f9f1a8dfcba5b50ec7b3ca1a3525dc97ecdf","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:78b6291ece5498735ce8920aeef5190b7ac250a3cbb168416859998f5fe3cabe","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d7cd7f03f9a24f687b835ea98a33713fa7e100b6381cf527c3f56b532920e370","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:8df678c808f9bebf7e1ff3023d9ecaa04e09dac578968b3ef0fa786e32df0f71","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:11dc19dba23d4e17bc9be89e7f4b70820229479cc6c18426a4de7e7341f015ce","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:264fe3265ec9f915119c554a7783e69e5baa296df8e6f5871b20a6653f64f487","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:439e808338d5c563d9f876dc78563fd1534c0f419748e9247d46f4ef045576f2","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:a24a1300f704f231106ec2c3e4b7d7e2b60d769bc3c14b0afbda951d6c7c355b","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:f65065a63be6e3f76db4a177ea8ee0e73c76fa9252e835aa682749856133b454","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:6cb2555485aa067c03deda0d14d22646432ec00482cbdbb65a7a9178d1f450fc","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:685d417c16d73386875817ee6eb6394eeed665fdb49572d50f4e62b72feedd54","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T10:58:20.664938Z","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:0a1bbac43616ded4f47d261b29b9b133217edb647a8c4e2ac8882d6e9b199d1e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:c3e7649f065413809f9b136b3ca7fdf722b3d1a385d88c5922af1480bdd603f5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:337d2e73311400ea93ad49e7c3bb5f9fff01119c3285de00bd8e92930ce376c9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e6ed94700bd149fbb2f2e0ae58c6a4638d69df59cd7c8c9b24b12a37b51ba8a9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:1f0d79d1fa40e13a0a85ae29d977a33ac92111ec7cb537ea331dea7427674f8c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:3790999b1e7149f75cf39ba43fed5b1ab0e58335208e01d99a21474cf7ca3e83","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:4ecc1f4b79f044f3e8fc387db2c3e123c7ff9324e497d94a71778d2773bec760","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:4dcd0895998be00a1acfc73a47e7677178649004081bc01438a36032f3a26f59","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:61460e405770c7b59f3fe8cb2ab17e922fd382d0d3de717c27d36834fc78b05a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:a7740ecc79c13a1e2bb7ee7bccb35d22f6899d12817bce7e9a810423b441165e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e11968f25fd8424c1f820be0e7bd63ab09c3b7e95777301b84261ac87a8e25b1","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:bbfb5cbd03301e063cda47ee4e8ea0819b20edc07b092d8ceea627b7ebf8f9f5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e11f4cfcf9dbcf1a42c8b4b46568febb88179c6a1416bd7f745fba3b05e1ecf5","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:2d995f42f391dee1d21a904b880b49a8b2e8ea090471ea9243f0292bb013d84f","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:e658248a449f6d725db25d72965afab88478b41f4135a3cd6402df4b60717e9e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:b0da5a39606331afab3b662c6bd1450454e64176fd920da0ffef6bff9e3ad12e","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:f3e906c2cb0f64b76ec4e19831985d6bc7149ee137b0495a3754304490b9b4a0","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:63d557ff6fc551ce18d4c6043b10628ce5b8c1442169a7bd55fb0dc5e5f60814","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d89210b71fad1df6d83cb0ef7d1e9e415d4cca2bad7bccb8d3c0b64acd79a356","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:9d263189de269573681cab427fbaeda9bfbca0c7b625d8876bfc492df047073c","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:9bbcb2991cfc6788d3e5dfc7c5b0b1fe2b437e6b90327368676f4f7e012040c9","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:52b2e42252c12793daa1bee85129ffe35e07e49f2be2142bd957e621166a40fc","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:3a5421a140f6b851954ed5194785da99b78ec90b43594cd3c2a5cc9f7acf71d0","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:987ffa2e623e81dd2ef196cd521e20b66644997130592be9463916877aa89ecb","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:90b7c0974a90af240028c77cddac661fb04c234567a6cccb30131ee70aaf5bab","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:061b6f2eb93017d010fe4339553aec1ac733e3fbd4532ba696ee36b073097de4","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:79499f46d72969d77fc08e71fcb8802b17fbe4aef69b6be26796aad3aa3334cf","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:8d1d29e72c967cdcd7bfc8c4c60967a1bffb4bec014142362258fc9898717122","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:5067f51da03b4b6f8153a8ea2aefad0c1dac11f700452f2de8b17641c0f449ce","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:d4fb26a573ff4a7458b9ac4e2a6645e36b28104facf1ab8d14fd113d5f4a487a","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+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-04T06:33:57.428241+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-02T10:58:20.664938Z","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:2418bf96567176414488b9dbe03f8d3ef924ab5f3dfce437c5d95dbbef238987","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:8af8ad1416de9cd7656adff047c5747b5dc36c5ff5a220824f39bd5c4bb43624","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:08db3f668634de1cefae222144d5d877fa8c1d3a09ac2b83e59eb7b0706fffc2","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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:65e94573a9c55dc4dbaaae2ea14da9b95e18b4f9b383ef100529c977c93b8284","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-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+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-02T10:58:20.664938Z","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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 5 August 2026, this Paper Citation Record lists 100 of 219 outbound references and 1 inbound Pith citation observation for arXiv:2605.07814."}