{"as_of":"2026-08-13T10:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e039cf0a5b3320b6b838083d29dcfad20d77499f4d9f9fa116ccd909f78d251e","coverage":[{"denominator":144,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T11:45:32.531887Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2411.17926/citation-record","integrity":"/paper/2411.17926/integrity","json":"/paper/2411.17926/citation-record.json","paper":"/paper/2411.17926"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/electronics13234660","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.916215Z","title":"Garcia, P","venue":null,"work_id":"0109e916-7dce-4966-b8c8-4e1b1987be36","year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.886259Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:6ca06a4f792d323fdd9bf223e80975b9b4f74cdf9661af642278ebc371f666ff","observation_id":"69e07286-8606-4bd2-9b0b-71ab3c900fbc","resolution":{"observed_at":"2026-08-12T11:45:33.921846Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.892134Z","title":"Vanhoef, F","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.892134Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:931f85f1b50c6b69f02f5cc43f1739921a27eca9a24aea0453ba80f2c9926b32","observation_id":"de5a7867-0b1b-4b33-8dff-c32a06f4c384","resolution":{"observed_at":"2026-08-12T11:45:31.892134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.897137Z","title":"Cassidy, Diagnosis of the OpenSSL Heartbleed Bug, available online: https:// www.seancassidy.me/diagnosis-of-the-openssl-heartbleed-bug.html (accessed on 22 November 2024) (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.897137Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:28d3cb7551ba8fdd167136b60e657aa34e9b7b2f290469c30a1bc7c02cf6036c","observation_id":"58a469a6-7381-4f8b-977f-04c219a6822f","resolution":{"observed_at":"2026-08-12T11:45:31.897137Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.903088Z","title":"Fogel, S","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.903088Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b1943d2ff96940f985982db81309c270c20acc8a0ea9c6c12aa3cddcee10dddb","observation_id":"01539d87-d9af-4cb0-b268-38880253a485","resolution":{"observed_at":"2026-08-12T11:45:31.903088Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-01704-0_27","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.895912Z","title":null,"venue":null,"work_id":"e6a73beb-e25f-4985-b713-86bd5ae39667","year":2018},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.909018Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:3b785c1152323147ef1c908add696c558e7d6c09643338db9e4e59050de5d9c9","observation_id":"6784aa22-17a2-47a7-baa1-bc2a8c894c37","resolution":{"observed_at":"2026-08-12T11:45:33.901626Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.915321Z","title":"Cremers, M","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.915321Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:a67365e3868227aa0ac60f4e8be2a75a1c3080220285aec86490c34be4e4234e","observation_id":"cbbe7e0d-e5ee-416c-87da-52c353e6d93a","resolution":{"observed_at":"2026-08-12T11:45:31.915321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.922219Z","title":"Bhargavan, B","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.922219Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:aa11291f64485056654a467c39513f7fa35ad6ad7fa5353808f86a1e14529572","observation_id":"957f78c3-854b-4975-935d-1968f5060ce9","resolution":{"observed_at":"2026-08-12T11:45:31.922219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.929211Z","title":"Blanchet, Composition theorems for cryptoverif and application to TLS 1.3 (2018) 16– 30doi:10.1109/csf.2018.00009","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.929211Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:08703a73df30ebeec4627f1606ff8a4c1390dd860f48faca3d4e258d5fc8e267","observation_id":"6ae8a793-3f69-49de-8c48-c04eb0947e5f","resolution":{"observed_at":"2026-08-12T11:45:31.929211Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.935483Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.935483Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:249b46f2a08dd1635931805a2882036c9af43350ecd077ac2fba13f788f40c29","observation_id":"854cf7d4-76e1-4861-9c61-dab08a98e79d","resolution":{"observed_at":"2026-08-12T11:45:31.935483Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.941052Z","title":"Blanchet, An efficient cryptographic protocol verifier based on Prolog rules, in: Com- puter Security Foundations Workshop, IEEE, IEEE Computer Society, 2001, pp","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.941052Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:92c313a025e52f9ebf833cf3e3942534e55fdb7133c436b03c0c809eaf522c85","observation_id":"d73514b0-5739-496c-a4f3-f9bc9a087f53","resolution":{"observed_at":"2026-08-12T11:45:31.941052Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.953467Z","title":"Meier, B","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.953467Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:99dd61dfea4c1f951004054ed9c67598f1a7b7cb4dc5b3467248c259e607a8dc","observation_id":"c91f04c4-e313-4637-8be0-5c61d6b80549","resolution":{"observed_at":"2026-08-12T11:45:31.953467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10207-004-0055-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.829122Z","title":"Basin, S","venue":null,"work_id":"2386ab8f-a0aa-4391-9e44-57fe76499586","year":2005},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.965656Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:8b6ed37a61505922a3fbe93741409a4ea87bb73fabb46074f7bb809e592999bd","observation_id":"f8fa6383-8a6f-4c45-87e8-5d9988e143a0","resolution":{"observed_at":"2026-08-12T11:45:33.835632Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.971602Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.971602Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:f4280e0c4e19b6c64d7996a301ce43415844e289c5baf6dd7ff48f7c9b242d9f","observation_id":"3b3f50c5-f1a0-4b39-be79-2b3281b0e36c","resolution":{"observed_at":"2026-08-12T11:45:31.971602Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.977220Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.977220Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:01371914bddb4a13f94631b9340eb66a195e5e7d05449e5fe570d006a80fe078","observation_id":"9f3fcf47-a92c-4440-ad38-dd939b7e5e6b","resolution":{"observed_at":"2026-08-12T11:45:31.977220Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.982275Z","title":"Garavel, M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.982275Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:58ebd4a8d3732a226c7b3d725d2654fb7cf79d92822900da52ca2ecaf428169e","observation_id":"dd4a30d8-3375-43e0-8f92-75474579eb71","resolution":{"observed_at":"2026-08-12T11:45:31.982275Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.987273Z","title":"Kulik, B","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.987273Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:832b763119cb96a149c3d92d6d2a162c30e65cdf67f6888c9820a22a61fdc641","observation_id":"b0cec8c6-4922-4839-b131-5eeb3437b1a2","resolution":{"observed_at":"2026-08-12T11:45:31.987273Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.993055Z","title":"Dolev, A","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.993055Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:e1b8745fc9b7013e502fc352710eb7f996fc1322d2887b491b311d5db07c642c","observation_id":"c17206de-2b85-4e51-9df7-3f1adf9a3bec","resolution":{"observed_at":"2026-08-12T11:45:31.993055Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:31.998408Z","title":"Sommerville, Software Engineering, 9th edition, Addison-Wesley, 2010","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.998408Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:886ca0785f3818b6bedeaec38da4db1f67813ab66ef0a03a4a63fd8613aeb9ea","observation_id":"ccfdd6e3-a59e-440b-8a22-c344172b051d","resolution":{"observed_at":"2026-08-12T11:45:31.998408Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.004120Z","title":"Bugliesi, R","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.004120Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:5fba4e0b15aa3c153ba61640956818b36283d39547b6de83edc10a07b9e82a4b","observation_id":"065ddae2-bb6b-4f63-bf2c-42fc6c6fb634","resolution":{"observed_at":"2026-08-12T11:45:32.004120Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.009646Z","title":"Avalle, A","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.009646Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:264e9ba6156b38280a5c02fbd5f7fe157e0089cc57020f2ab8368e86fdc510f6","observation_id":"72402e53-51f1-4399-bad3-3eacf0f895d0","resolution":{"observed_at":"2026-08-12T11:45:32.009646Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-41010-9_5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.781554Z","title":null,"venue":null,"work_id":"42f7df40-1906-4453-bb4b-dd77f52e2bc0","year":2013},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.015037Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:5a2f1492ba9427f94ce7c50c60791a988c96d4ff3ce23421dbd397f16bfbf503","observation_id":"c3d51cd3-63db-4b71-89e0-b3fa3c39cd06","resolution":{"observed_at":"2026-08-12T11:45:33.787752Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2006.32257","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:37.726608Z","title":"Skevoulis, V","venue":null,"work_id":"2defd542-a975-4bb1-8bdf-510f8c71da5e","year":2006},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.020838Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:67a3aff78cb3b8facb9f0dc6a8e395d3b073831f4b543e8cc09b7c0456a1aa36","observation_id":"f850eafe-df7b-4875-862a-c2d5269f9833","resolution":{"observed_at":"2026-08-12T11:45:37.737355Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-40891-6_18","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.763609Z","title":"Scheurer, Formal Methods: The Problem Is Education, Springer Berlin Heidelberg, 2000, pp","venue":null,"work_id":"615788d0-db1b-4de5-be8d-326f1f8473c8","year":2000},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.026871Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:27fba5258fc504f2ea5172cb9b545437a2bb80e66aad72a7cb4413d939dc4f44","observation_id":"339f3f70-284a-4c63-8a0d-baa3f9847be0","resolution":{"observed_at":"2026-08-12T11:45:33.769511Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.11610/isij.3507","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.745153Z","title":"Pomorova, S","venue":null,"work_id":"73ebde35-42ad-4dae-9f5b-dbbbd043f3ad","year":2016},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.033063Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:c6a6df5c8372745dc1329e54795743ecf183a2dff54a4dad9c59595fc4a71002","observation_id":"2f8ce773-dcc3-4a78-8377-57288f7bea8a","resolution":{"observed_at":"2026-08-12T11:45:33.750559Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4018/jsse.2011100103","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.726869Z","title":"Avalle, A","venue":null,"work_id":"935d8df8-5341-492f-929b-f80bba535149","year":2011},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.038592Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b3cb5f99d2665d2375405b28a64bd6ef27a156574b4ce5f7acc213a64bf1d5d3","observation_id":"1fc68a61-8029-495d-afe5-d329da36aad3","resolution":{"observed_at":"2026-08-12T11:45:33.732964Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-30303-1_10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.707779Z","title":"Modesti, AnBx: Automatic generation and verification of security protocols implemen- tations, in: 8th International Symposium on Foundations & Practice of Security, Vol","venue":null,"work_id":"0d00d8e9-b485-4a89-a92e-66aa7ebfdfaa","year":2015},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.044528Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:fa6b9656007cfcf55d20a2b39f37067bc14cadefe2ead9faec042c1aac65a0b3","observation_id":"de96194a-142e-4586-a2af-ade88b6ba535","resolution":{"observed_at":"2026-08-12T11:45:33.714278Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-25527-9_7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.687340Z","title":"Almousa, S","venue":null,"work_id":"fb832a8e-1cb3-4283-8106-a29bba936f41","year":2015},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.049233Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:806bdeb8244ffcc37fd1f9ce484a45601e74f5cbc8a55a863b6950e3fec91c5f","observation_id":"fb65c672-1899-436a-8e26-5948d10bedd9","resolution":{"observed_at":"2026-08-12T11:45:33.693526Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-45251-6_1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.663587Z","title":null,"venue":null,"work_id":"c9bbf9ff-7c06-427d-a3ea-e297d5a01760","year":1996},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.054515Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:6ff215f006390cc54a5b2e4d335c3ab3717b14a022b0456a9ee4ff03733a61ec","observation_id":"3f0d0d40-9f48-436f-85c1-1bf974a8e52a","resolution":{"observed_at":"2026-08-12T11:45:33.672934Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5220/0006770803050313","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.641211Z","title":"Zamansky, M","venue":null,"work_id":"01f68424-1f68-4d34-8996-7df4d6a7f10d","year":2018},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.060044Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:c7edd687ea62aee82c4cbc9cc769e1918ff7cdede36d1cc989b49044af0fa704","observation_id":"009add36-11b5-4a2e-b8d4-1462cf0074d0","resolution":{"observed_at":"2026-08-12T11:45:33.649317Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-71379-8_8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.616715Z","title":null,"venue":null,"work_id":"b0e4a430-89ae-40dc-9ea6-f336b0c936fc","year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.065576Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:99c5e53247fcc5f4c80206f091953963adc37701fdeb33a5cd804a07628e1a59","observation_id":"e114169b-908b-43f1-8a12-1af916c2f8c9","resolution":{"observed_at":"2026-08-12T11:45:33.625133Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.071149Z","title":"Brambilla, J","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.071149Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:34dfee77cc463e7be0b61c582e768f87aa5602233f8fc8f484251c5d33e2fae4","observation_id":"c579c82e-9824-45a7-9322-df302a805a5e","resolution":{"observed_at":"2026-08-12T11:45:32.071149Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.082235Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.082235Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:642db014a6849cef67107650430b47e5d5b3132dbd06f5f686f7a83f92bdaed7","observation_id":"0f4bf246-8701-43ee-9fea-6f7aef0d475a","resolution":{"observed_at":"2026-08-12T11:45:32.082235Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/issrew.2017.69","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.547533Z","title":"Garcia, P","venue":null,"work_id":"68313851-893b-4dab-986b-f0234a55e18a","year":2017},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.088503Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:81f7ef59cf0ddb819a9edc7c249fbcfd8b358a93ebd15ee555e13348bf2cd99c","observation_id":"b91076fd-7f7f-4501-b305-2a705bb0ec40","resolution":{"observed_at":"2026-08-12T11:45:33.554136Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.094057Z","title":"Bettini, Implementing domain-specific languages with Xtext and Xtend, Packt Publish- ing Ltd, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.094057Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:a7c9cfbd60cdd16cf66a09ba75d13d38365b3b66f8b365d0af604217c6877bca","observation_id":"d0ca137f-8462-49c5-b0a2-20dfdfdf0ce3","resolution":{"observed_at":"2026-08-12T11:45:32.094057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.099251Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.099251Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b0e150487638c2f5e646c73bb0fa4e3749f9f3eb02d6fafdf4a60519da7597b6","observation_id":"c97fd556-b31d-4431-b221-4dac1435de87","resolution":{"observed_at":"2026-08-12T11:45:32.099251Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.104467Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.104467Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:f73724d3f23a478b286d62b6a326e480acab5778c11be2dc2c6599cbd55451cd","observation_id":"830f4c6a-bc21-45b2-a9cb-c0de7a4ae403","resolution":{"observed_at":"2026-08-12T11:45:32.104467Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.109828Z","title":"Bugliesi, S","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.109828Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:c76bce17a3977594159e203e0f4e12f05027275e8e49fcc7746cc9c864d43bd4","observation_id":"eddaa677-b51e-4355-84ed-bbbf438e8f82","resolution":{"observed_at":"2026-08-12T11:45:32.109828Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.115231Z","title":"Blanchet, V","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.115231Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:dc367eb8ab0ef9ffa92696343c3c4a8800cf0ec50a3ae36f7fe89f6540c5cb3d","observation_id":"b67a1e9b-74b1-46a8-8b5b-f050f101c545","resolution":{"observed_at":"2026-08-12T11:45:32.115231Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ibcast","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:37.540985Z","title":"Shaukat, A","venue":null,"work_id":"0a9725a0-471f-49d6-b45d-8dc90f20b1a7","year":2018},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.120221Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:189b7b1075256dc78c122f021e1031922339afe17050eabe82668fa54a11f0b4","observation_id":"c5c91c91-81c3-4cfc-a87f-04d199d35dea","resolution":{"observed_at":"2026-08-12T11:45:37.547711Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/iti","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:37.443605Z","title":"Fetaji, S","venue":null,"work_id":"6019787f-4462-48a7-b6af-ba9f9bc08314","year":2007},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.125240Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:72ae2a850aca767fc12341ee8cc1e2149efd3827ed3d8679acaad620449ebf99","observation_id":"ac8858d2-c304-493b-a891-0fab984fce0a","resolution":{"observed_at":"2026-08-12T11:45:37.454806Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.131136Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.131136Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:193f99320acce0e702db77661dca1f702f51e344f15749f35022d981dd4b4697","observation_id":"a1c8498e-69bd-49b5-a785-e48d3efe6a40","resolution":{"observed_at":"2026-08-12T11:45:32.131136Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.137274Z","title":"Gleirscher, D","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.137274Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b95fdeb775840f7ee3d12cb73777474109a4d5192db86f521719d6331b7edf7f","observation_id":"af6c9a24-9c2c-42ff-8e0a-bf6206907dba","resolution":{"observed_at":"2026-08-12T11:45:32.137274Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.148740Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.148740Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b7ffc02ab4848260f8d958902035a6c2bab88527cc593eb6e53f46e4f240cd6b","observation_id":"6778cc4b-a0b5-42f6-bb79-692fcd627ae8","resolution":{"observed_at":"2026-08-12T11:45:32.148740Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.153550Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.153550Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:40c7726394915d8c5f1792c0f869e58063873f27b58256ca4bd7fbf7d205e6d7","observation_id":"dd979c0e-ac9f-4028-8b81-6d41b42b12dc","resolution":{"observed_at":"2026-08-12T11:45:32.153550Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.158834Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.158834Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:f7cfa05b145779626fc9a75d62a1ae3edd8517722206ee8a35cf1934e2a76f4b","observation_id":"17a2e499-b3c2-4455-8508-565a210458c5","resolution":{"observed_at":"2026-08-12T11:45:32.158834Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.164082Z","title":"Raimondo, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.164082Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:e7abd33914a54eaaf98c38de4230809c03463c41d109873202b01a19a376101e","observation_id":"72afc5ca-1371-4e3b-9a18-13b46d697981","resolution":{"observed_at":"2026-08-12T11:45:32.164082Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00165-019-00492-1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.319284Z","title":null,"venue":null,"work_id":"c9184620-e4f0-4cf0-b47e-a0a677c2361b","year":2019},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.169540Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:398871be1ff064bf1d72947aaaca301227de402c1757485f4fe98e49b7365c9c","observation_id":"2ad854e4-25b9-48d3-8f87-669b13dce581","resolution":{"observed_at":"2026-08-12T11:45:33.324335Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/32.481513","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.299691Z","title":"Abadi, R","venue":null,"work_id":"008771be-f12b-4df7-b83f-18bdd498a7d2","year":1994},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.175499Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:9209c63911f1b4ba5780a09942d1b4659e577f0650184a802886df019988e104","observation_id":"6c54c5c6-7e81-42c8-9494-44a067612004","resolution":{"observed_at":"2026-08-12T11:45:33.306302Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.149.2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.281714Z","title":null,"venue":null,"work_id":"0d7e6ba6-8bed-465c-af07-74ed415329c5","year":2014},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.181037Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:109d824c54d735fc7829d852fb3da26751f5399fb6c74c6146ac25265495295c","observation_id":"a8b5e75f-28d2-42e9-a20e-9363bbdf6bfc","resolution":{"observed_at":"2026-08-12T11:45:33.286567Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.186763Z","title":"Unwin, H","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.186763Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:43ae4ec969ed768fb325125e4c909640f8aaf505534d403e02cf5888ba80d83c","observation_id":"387991f0-78b8-4b8a-aad0-a57cf400f62f","resolution":{"observed_at":"2026-08-12T11:45:32.186763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.192187Z","title":"Tabassum, S","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.192187Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:6488a0052f87fc541b3294f51754962c32031774443810c0039178a6cef8a324","observation_id":"e41fa729-64bd-4605-812b-0394adb64a0d","resolution":{"observed_at":"2026-08-12T11:45:32.192187Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-26844-6_40","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.257476Z","title":"Kuusinen, Software developers as users: Developer experience of a cross-platform in- tegrated development environment, in: P","venue":null,"work_id":"c7e2e778-7efd-42b3-8bd1-2fd376af9208","year":2015},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.197572Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:94a1061db09156fd3d20e0808ba566c951f033a15ca587a5f9731e15d9d6cc62","observation_id":"f6efc4f8-1a1b-4736-a8fa-58f9984007cb","resolution":{"observed_at":"2026-08-12T11:45:33.263607Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1590.34216","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:34.812941Z","title":"Lindmeier, A","venue":null,"work_id":"adadeda2-c0a4-4a6c-9de1-652c8b91f8a4","year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.205082Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:ad5a0fe755e818de4fbfbff05e3c8c07a7f53b6085038189f28adbcdc0e3cf55","observation_id":"0182b2dd-4523-48d6-84c7-daee2eec64f1","resolution":{"observed_at":"2026-08-12T11:45:34.822987Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9318.36854","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:34.728433Z","title":null,"venue":null,"work_id":"0eec2240-61e9-470a-a8e9-9a8d6a2fdc50","year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.211220Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:af708402ae82700ef4b97ffaa5a0400ae15fd1216e3d254d10acc659352e9146","observation_id":"4426a2ec-23ce-4747-9e34-d835178ed3a1","resolution":{"observed_at":"2026-08-12T11:45:34.738004Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.217154Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.217154Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b0147688cf9613b249295190060d51826b5f3efdc28ceaf6e5912b36b824065d","observation_id":"36f9ff82-d843-441b-b502-7b4ca7186e03","resolution":{"observed_at":"2026-08-12T11:45:32.217154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3357231","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.233206Z","title":"Gleirscher, S","venue":null,"work_id":"54f18f10-a0b2-4f55-a06e-3ef958596370","year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.225526Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:6c766b1ff40b743623058a937997ffa5b2c7638f658c3e2bd257fcb729c3bab5","observation_id":"a2173ea6-e81c-4b36-b4e0-0e782a6106b0","resolution":{"observed_at":"2026-08-12T11:45:33.239942Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-98938-9_23","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.209573Z","title":null,"venue":null,"work_id":"0b78cb80-fe4c-4eca-8864-4a4a67e9df14","year":2018},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.230567Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:ce29529bb8e6c41ca3515f240fb39e9d32fc73b498ed7918cc0c53732097e167","observation_id":"b0f82b42-9403-457d-9a3d-e8291441a611","resolution":{"observed_at":"2026-08-12T11:45:33.217593Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.236415Z","title":"Runge, I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.236415Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:cef6191717d09bd2600b7898e7aca6c6b746aff681e5731ca1b9cd7de01cf8e5","observation_id":"4f5475a6-984f-4c20-956f-5c50653152a3","resolution":{"observed_at":"2026-08-12T11:45:32.236415Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-71261-6_4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.167534Z","title":"Fares, J","venue":null,"work_id":"bb498c0a-0f58-4224-94af-e18d631a7dae","year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.247535Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:fe7b0bb5135d333e69e2edcb1d9cb62d31e1fdc2b9d47bc3f8f23c10a6a557d5","observation_id":"56753366-ab22-406c-ba05-b6b3a1847fe2","resolution":{"observed_at":"2026-08-12T11:45:33.173347Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-57288-8_21","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.146538Z","title":"Bonfanti, M","venue":null,"work_id":"6df9345c-008f-451f-b4ba-8ffddf604b3b","year":2017},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.252955Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:1d32d088ee190abc2ba1b57210154ff74cce38aa66676590560eb9e06d7de38d","observation_id":"e4b7d8d7-1f79-4201-b76d-bed26d2dad59","resolution":{"observed_at":"2026-08-12T11:45:33.152791Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.258319Z","title":"Lowe, A hierarchy of authentication specifications, in: CSFW’97, IEEE Computer Society Press, 1997, pp","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.258319Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:105c36fd049e0645b5a46396c7e010c11044e06a12406c4652062333a235bc5a","observation_id":"e88e311b-8ea5-4fc5-a0eb-693acfeb52ba","resolution":{"observed_at":"2026-08-12T11:45:32.258319Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1407.5286","last_updated":"2016-02-05T21:41:07Z","snapshot_observed_at":"2026-07-06T03:49:31.124698Z","submitted_at":"2014-07-20T13:18:21Z","title":"Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking","version":4},"cited_work":{"arxiv_id":"1407.5286","doi":"10.48550/arxiv.1407.5286","metadata_source":"pith","pith_arxiv_id":"1407.5286","snapshot_observed_at":"2026-08-12T12:16:16.734455Z","title":"Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking","venue":"cs.SE","work_id":"35c3887d-ccea-4f8c-b9b9-6d767c7740e6","year":2014},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.263109Z"},"links":{"cited_paper":"/paper/1407.5286","citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:2ec298f84999e6e4116148941cc18edd10af515c08c7dbc2be45a63a90ec4a48","observation_id":"d6010e20-5e30-4fe2-86d0-f94a0e4c8fc4","resolution":{"observed_at":"2026-08-12T11:45:33.132616Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.270342Z","title":"Barbosa, G","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.270342Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:d6496431b0ac43fcf440c28e30a21e57dc271b01ee2af2005d7d934fed8a9009","observation_id":"09db2cbe-3127-4e62-a87e-7dd57ff40498","resolution":{"observed_at":"2026-08-12T11:45:32.270342Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.275741Z","title":"Team, Avispa v1.0 user manual, available online:https://people.rennes.inria.fr/ Thomas.Genet/Crypt/AVISPA_manual.pdf (accessed on 22 November 2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.275741Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:574bb31cacc42565b2df6ef7bce77a883a306944acaa20eaf70d85b09f8b34d2","observation_id":"d1cc436a-f13a-498d-8b5b-f6c36eb1993e","resolution":{"observed_at":"2026-08-12T11:45:32.275741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.jlamp.2016.10.005","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.095499Z","title":"Delaune, L","venue":null,"work_id":"5b328c7d-f871-4a89-b618-dc371c518be1","year":2017},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.282164Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:fdd093f6b94200a40860bf04490cc6285baafc7ba811fba83de5272c812ec7a0","observation_id":"0826dbfa-10bc-4037-8127-0ff0c194e591","resolution":{"observed_at":"2026-08-12T11:45:33.102357Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.288185Z","title":"Blanchet, B","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.288185Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:49b69e1d0fdddc4eea609799f060cf13057ea53fcaf1f5f6807acd60f5c9c4f9","observation_id":"fd27c46a-28b5-4962-8486-c2f42e1c27c8","resolution":{"observed_at":"2026-08-12T11:45:32.288185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2110.18211","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:34.463175Z","title":"Carlsen, Optimal privacy and authentication on a portable communications system, ACM SIGOPS Oper","venue":null,"work_id":"b62d294b-d0fe-4d7d-ad7e-fd4452604e6d","year":1994},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.293813Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:03cc1eaf08322fb798a6171f74b52d665aa0e3033b394277b5604d0b3bdb18bf","observation_id":"9551e680-ca62-4fe8-87f7-c45808d4a57e","resolution":{"observed_at":"2026-08-12T11:45:34.479005Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.300716Z","title":"compute.dtu.dk/~samo/ (accessed on 22 November 2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.300716Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:ae97fcb1d2c61df364966ebf58849577ae7b7deefe2ca4025a961be3e2056389","observation_id":"8eeeede4-526b-44a8-908e-4b2bbca30cee","resolution":{"observed_at":"2026-08-12T11:45:32.300716Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.306439Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.306439Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:16424491f20f11c12bfd033286bca91388d62ec84ab8421b91bc6252e769d4a5","observation_id":"ecadb6e6-8f25-46e1-ae96-f0ad086592ed","resolution":{"observed_at":"2026-08-12T11:45:32.306439Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.313302Z","title":"Kaufman, Internet key exchange (IKEv2) protocol, Tech","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.313302Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:0e21af5735e218b185f29836cefb33c6c975d57bbb58485fba156f928f96f63f","observation_id":"29e03903-ac74-45dc-aee3-c4400e5ec289","resolution":{"observed_at":"2026-08-12T11:45:32.313302Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.325345Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.325345Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:d1b11e11ae7d219cedac24c52c1ce7b6b0e45b38f868c004618a6f64a5facb10","observation_id":"b6e09190-1577-4b4f-8826-8811a0414f2b","resolution":{"observed_at":"2026-08-12T11:45:32.325345Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.331339Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.331339Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:18e4c8c1edddf82cfe3c3b74dead8da616e37838fb5e023f0e908bb47cf4bf98","observation_id":"8e6b39cb-3c41-4b7b-b4b2-e3f6f5af9c9a","resolution":{"observed_at":"2026-08-12T11:45:32.331339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.337383Z","title":"Concepts Tools 17 (3) (1996) 93–102.doi:10.1007/3-540-61042-1_43","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.337383Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:dd41be64b2b23cbb0594c751afdc66d5c0405adc071a3d4f14eecf12aa52d1b8","observation_id":"96287695-8530-497a-b6a9-f9faab8307de","resolution":{"observed_at":"2026-08-12T11:45:32.337383Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.344908Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.344908Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:c6c1ab3181870df256fff5d81fae2869c3561e2953a3567112c04fdfbfe57a93","observation_id":"5f914f41-4d1c-4bfa-a28a-ef0574245150","resolution":{"observed_at":"2026-08-12T11:45:32.344908Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4592.24594","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:34.292519Z","title":null,"venue":null,"work_id":"8a5f2098-731f-437d-94bc-59820c303f37","year":1987},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.350734Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:4b5fbc5cc8bbc236f983b39647db36e621b515970a2c4f9d8b0a64d2c186fc89","observation_id":"ea8cf348-cc4c-4a31-a3b6-7d12fa4261b0","resolution":{"observed_at":"2026-08-12T11:45:34.305110Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2510.32253","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:34.200212Z","title":null,"venue":null,"work_id":"e5bc19bd-71cc-4f6d-9286-b7ddc7aa7eab","year":1999},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.359546Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:dd53f887fcf5ecfcf51f338f42c58022d6ec4487e0c4dc42ba88639f4054018c","observation_id":"6c56da2f-30f1-4d5f-9809-11bb872b99de","resolution":{"observed_at":"2026-08-12T11:45:34.210184Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/2.108052","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.058409Z","title":null,"venue":null,"work_id":"d764633d-a55d-43ab-9939-46929e476aa1","year":1992},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.367083Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:873ba5c300a9a3b4c220a70edaa5c2735d42a6276753e4af81f763abc907a422","observation_id":"92af7bcb-09de-4d4b-be3f-f7497ca9c33c","resolution":{"observed_at":"2026-08-12T11:45:33.064890Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.373241Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.373241Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:d9e3a80d7d5f893cd12326611e6edd25c7017fb87753000489b16802d47a2d5a","observation_id":"8db710b0-c7b4-45a8-9a88-ec3094e04569","resolution":{"observed_at":"2026-08-12T11:45:32.373241Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.380117Z","title":"Garcia, P","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.380117Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:ff9136d3781a3653ab7a22bfe78a342992638690170d1dd0df09db9cf75d0dc6","observation_id":"9396d8a1-23aa-423b-8364-ee75b3307963","resolution":{"observed_at":"2026-08-12T11:45:32.380117Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.386370Z","title":"Likert, A technique for the measurement of attitudes., Archives of psychology (1932)","venue":null,"work_id":null,"year":1932},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.386370Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:84393fcc2fc5992a61614fb0e2de40cde404fa974404002dd9bc0de146473fb3","observation_id":"d2a29f02-9f08-408a-8388-75663107440a","resolution":{"observed_at":"2026-08-12T11:45:32.386370Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.395619Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.395619Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:ff37bd3aca2aeb54b77c2af360729688992a9e14fb9229920d9c9e19a54951ad","observation_id":"f93d3fb2-bc0a-4148-a7a7-dffabb513c5c","resolution":{"observed_at":"2026-08-12T11:45:32.395619Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2001.93013","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:37.928069Z","title":null,"venue":null,"work_id":"66b5b142-2a32-4e66-8fb9-d7f3bd1c0c26","year":2001},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:31.946806Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:715fc6cb242cb2ebd51b3ab0b01934910c64cd88a2d0662284b699b6658f37a4","observation_id":"77992296-10b5-443d-a597-68e5656079fe","resolution":{"observed_at":"2026-08-12T11:45:37.948986Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.15388/infedu.2020.19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.031549Z","title":"Modesti, Integrating formal methods for security in software security education, Infor- matics in Education 19 (3) (2020) 425–454.doi:10.15388/infedu.2020.19","venue":null,"work_id":"f80d2481-9015-4f37-8a5e-ee29574941b9","year":2020},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.410510Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:4da136fa6e23f08f5a960680627e00d49bb8b106f514d11d5c67a9cffa0327a7","observation_id":"2ee4d33d-63a5-4cfa-a59d-8a31b420fa61","resolution":{"observed_at":"2026-08-12T11:45:33.041464Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.416617Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.416617Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:3fc97512aeabe4814779ed77235f8b984f808f959dc54acb7ca1bdbc1abbc50c","observation_id":"fd2a4d4c-624f-4488-ab20-478bd6b4bd2b","resolution":{"observed_at":"2026-08-12T11:45:32.416617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2632362","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.991309Z","title":"Brezocnik, B","venue":null,"work_id":"3d4d66eb-fa12-4cef-a13c-bb11b9f39308","year":2014},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.425439Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:fe388c23bc9ed68c5e0bae73eaeae14bd5935babbc850a214eac240ee40acab5","observation_id":"73342616-3c69-47e6-9fbe-81bcc57455f4","resolution":{"observed_at":"2026-08-12T11:45:32.997988Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.435717Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.435717Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:b397d5f65f84b570ad4a1760a0e4b139bee6429a0ec7f684158fe5d1ef117dd7","observation_id":"8cd8bde5-8f1f-4414-9a79-5cbd5c94dd67","resolution":{"observed_at":"2026-08-12T11:45:32.435717Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.402085Z","title":"org, [Online; accessed 14 October 2024] (2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.402085Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:1d3a501413354f59964af5bdf70ad34f093690a75421bd96f1bdfd02416f362b","observation_id":"311ffd11-9ace-4057-b7a2-3bc0193306ed","resolution":{"observed_at":"2026-08-12T11:45:32.402085Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-55602-8_","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.928013Z","title":null,"venue":null,"work_id":"50a97eb6-142e-414f-9612-2b929fc35dd3","year":1992},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.450098Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:303a0e93d5341961b750bd487fe20a5e71f85b737f3cb93c485647cc193e2d1c","observation_id":"940df6af-ffb7-430b-96b6-dbc801785408","resolution":{"observed_at":"2026-08-12T11:45:32.933159Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2105.09150","last_updated":"2022-04-05T16:47:32Z","snapshot_observed_at":"2026-08-05T11:04:20.516933Z","submitted_at":"2021-05-19T14:14:13Z","title":"Automating Cryptographic Protocol Language Generation from Structured Specifications","version":2},"cited_work":{"arxiv_id":"2105.09150","doi":"10.48550/arxiv.2105.09150","metadata_source":"pith","pith_arxiv_id":"2105.09150","snapshot_observed_at":"2026-08-12T12:16:16.734455Z","title":"Automating Cryptographic Protocol Language Generation from Structured Specifications","venue":"cs.CR","work_id":"64f9c8ac-4b5d-4ba0-814c-01ad18a4251e","year":2021},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.456244Z"},"links":{"cited_paper":"/paper/2105.09150","citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:e78c87d8019dd3bbf4b0eb599ad19de9b065fb87d1e68b2d1f3f6d7a977f0082","observation_id":"6d84bfd2-f643-4c1c-840a-5ecf4184e229","resolution":{"observed_at":"2026-08-12T11:45:32.915948Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5220/0012386400003645","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.882267Z","title":"Braghin, M","venue":null,"work_id":"07a9f20b-acc5-425f-a39a-408734d12061","year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.462618Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:c0308adf54c9ab5a0d39ac732fcb1c4f1e935d101f4832a1bae0b61cff058492","observation_id":"972d8aa9-961e-49d3-bd86-671de23cd92b","resolution":{"observed_at":"2026-08-12T11:45:32.887523Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.469268Z","title":"Glouche, T","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.469268Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:113ed0bf483672c4d2f1ec2650e59702c093e4cd766d3056b4e2faa25ff2308a","observation_id":"8e7f5a94-4eff-4318-8d73-e8f2511e3a6b","resolution":{"observed_at":"2026-08-12T11:45:32.469268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.310.5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.946839Z","title":"Masci, C","venue":null,"work_id":"4db8d0f1-d36b-4419-bc4b-17bc791b4b8d","year":2019},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.442151Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:6b25ef900a104c74013288a7e5e984b6b95964323cfb783b70c02f7ea7c9476d","observation_id":"4549d83a-fd72-40e4-8b62-953dc1084c32","resolution":{"observed_at":"2026-08-12T11:45:32.953270Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.484447Z","title":"Armando, D","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.484447Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:c8f519669cd6df396e1f4da58b17a5a7d77deb0d60947de8e7f4552703d33dd6","observation_id":"b33adf76-85cd-4f4e-be34-8cb866ee61b1","resolution":{"observed_at":"2026-08-12T11:45:32.484447Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18420/se2021_34","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:33.187210Z","title":null,"venue":null,"work_id":"5ae3a9e2-af05-4180-a981-e93482ed6323","year":null},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.242225Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:5e8669c8ca6ae35a325ac965b2ccd8690c6dca33f60df90a552be9cf34ff5244","observation_id":"9cbe428b-a22f-418c-9833-883de13ae6f2","resolution":{"observed_at":"2026-08-12T11:45:33.193333Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.500587Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.500587Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:053e695ffd6866269ee84ae54ca2220a7071379a40f42914ccdd11aa32c8aa8b","observation_id":"df0e9a74-c676-437d-afea-7f24c65b406d","resolution":{"observed_at":"2026-08-12T11:45:32.500587Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.507308Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.507308Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:05d1c13ab1eebb4f0b0ad0c10fc451121cf2319f18000596d6cd2685537fce3e","observation_id":"3baaf1d9-0e0b-4f13-a9f9-1c283f16c85a","resolution":{"observed_at":"2026-08-12T11:45:32.507308Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.476311Z","title":"Boichut, T","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.476311Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:fa87b68261f4ff425b29a785e24e6021828cdac06c68e9cf34845612140d1bdc","observation_id":"d4a82507-38f2-4b3b-b473-716e173ce0b5","resolution":{"observed_at":"2026-08-12T11:45:32.476311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.518625Z","title":"Nicolas, V","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.518625Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:ee8aa99d3882651a3ba45083b8499527dbdecfe457223beaea0f43e1c461c462","observation_id":"40827f60-155c-48d2-971d-c2a9aacf90d0","resolution":{"observed_at":"2026-08-12T11:45:32.518625Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s1571-0661(04","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.847022Z","title":"Rusinowitch, Automated analysis of security protocols, in: L","venue":null,"work_id":"90efdefd-0e51-4fb3-a875-511e1c628d57","year":2003},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.489923Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:0b2221f8c1ba3124047a926e863dbe9694c67021a4361ee13106b7c426420c8b","observation_id":"d30cb15f-6f69-46a8-9713-3204965f359d","resolution":{"observed_at":"2026-08-12T11:45:32.853968Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:45:32.531887Z","title":"de Ruiter, ProVerif Editor, available online:https://proverifeditor.sourceforge","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-12T11:45:32.531887Z"},"links":{"citing_paper":"/paper/2411.17926"},"observation_digest":"sha256:4e984981a093b0511ef9a05da0b78ac9a0bd52595ba9af17413108ef89231a62","observation_id":"0f32c98a-f72c-482a-89d8-aca323897f6d","resolution":{"observed_at":"2026-08-12T11:45:32.531887Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2411.17926","last_updated":"2024-11-26T22:44:08Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-12T11:39:55.033386Z","submitted_at":"2024-11-26T22:44:08Z","title":"A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":11,"metadata_mismatch":6,"parse_uncertain":0,"unresolved":50,"verified_exact":33,"verified_fuzzy":0},"total_outbound_references":144},"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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 100 of 144 outbound references and 0 inbound Pith citation observations for arXiv:2411.17926."}