A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols | Paper Citation Record

Observation 69e07286-8606-4bd2-9b0b-71ab3c900fbc · outbound

This paper cites Garcia, P.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Garcia, P

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.921846Z

Source-reported events for the cited work

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

Observation de5a7867-0b1b-4b33-8dff-c32a06f4c384 · outbound

This paper cites Vanhoef, F.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Vanhoef, F

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.892134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a469a6-7381-4f8b-977f-04c219a6822f · outbound

This paper cites 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).

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols 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)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.897137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01539d87-d9af-4cb0-b268-38880253a485 · outbound

This paper cites Fogel, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Fogel, S

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:31.903088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6784aa22-17a2-47a7-baa1-bc2a8c894c37 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.901626Z

Source-reported events for the cited work

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

Observation cbbe7e0d-e5ee-416c-87da-52c353e6d93a · outbound

This paper cites Cremers, M.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Cremers, M

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.915321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 957f78c3-854b-4975-935d-1968f5060ce9 · outbound

This paper cites Bhargavan, B.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Bhargavan, B

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.922219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ae8a793-3f69-49de-8c48-c04eb0947e5f · outbound

This paper cites Blanchet, Composition theorems for cryptoverif and application to TLS 1.3 (2018) 16– 30doi:10.1109/csf.2018.00009.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Blanchet, Composition theorems for cryptoverif and application to TLS 1.3 (2018) 16– 30doi:10.1109/csf.2018.00009

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.929211Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 854cf7d4-76e1-4861-9c61-dab08a98e79d · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 9

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:31.935483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d73514b0-5739-496c-a4f3-f9bc9a087f53 · outbound

This paper cites Blanchet, An efficient cryptographic protocol verifier based on Prolog rules, in: Com- puter Security Foundations Workshop, IEEE, IEEE Computer Society, 2001, pp.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Blanchet, An efficient cryptographic protocol verifier based on Prolog rules, in: Com- puter Security Foundations Workshop, IEEE, IEEE Computer Society, 2001, pp

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.941052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c91f04c4-e313-4637-8be0-5c61d6b80549 · outbound

This paper cites Meier, B.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Meier, B

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.953467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8fa6383-8a6f-4c45-87e8-5d9988e143a0 · outbound

This paper cites Basin, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Basin, S

Reference 12

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.835632Z

Source-reported events for the cited work

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

Observation 3b3f50c5-f1a0-4b39-be79-2b3281b0e36c · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.971602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f3fcf47-a92c-4440-ad38-dd939b7e5e6b · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.977220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd4a30d8-3375-43e0-8f92-75474579eb71 · outbound

This paper cites Garavel, M.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Garavel, M

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:31.982275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0cec8c6-4922-4839-b131-5eeb3437b1a2 · outbound

This paper cites Kulik, B.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Kulik, B

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.987273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c17206de-2b85-4e51-9df7-3f1adf9a3bec · outbound

This paper cites Dolev, A.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Dolev, A

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.993055Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccfdd6e3-a59e-440b-8a22-c344172b051d · outbound

This paper cites Sommerville, Software Engineering, 9th edition, Addison-Wesley, 2010.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Sommerville, Software Engineering, 9th edition, Addison-Wesley, 2010

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:31.998408Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 065ddae2-bb6b-4f63-bf2c-42fc6c6fb634 · outbound

This paper cites Bugliesi, R.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Bugliesi, R

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:32.004120Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72402e53-51f1-4399-bad3-3eacf0f895d0 · outbound

This paper cites Avalle, A.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Avalle, A

Reference 20

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:32.009646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3d51cd3-63db-4b71-89e0-b3fa3c39cd06 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.787752Z

Source-reported events for the cited work

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

Observation f850eafe-df7b-4875-862a-c2d5269f9833 · outbound

This paper cites Skevoulis, V.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Skevoulis, V

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:45:37.737355Z

Source-reported events for the cited work

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

Observation 339f3f70-284a-4c63-8a0d-baa3f9847be0 · outbound

This paper cites Scheurer, Formal Methods: The Problem Is Education, Springer Berlin Heidelberg, 2000, pp.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Scheurer, Formal Methods: The Problem Is Education, Springer Berlin Heidelberg, 2000, pp

Reference 23

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.769511Z

Source-reported events for the cited work

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

Observation 2f8ce773-dcc3-4a78-8377-57288f7bea8a · outbound

This paper cites Pomorova, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Pomorova, S

Reference 24

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.750559Z

Source-reported events for the cited work

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

Observation 1fc68a61-8029-495d-afe5-d329da36aad3 · outbound

This paper cites Avalle, A.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Avalle, A

Reference 25

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.732964Z

Source-reported events for the cited work

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

Observation de96194a-142e-4586-a2af-ade88b6ba535 · outbound

This paper cites Modesti, AnBx: Automatic generation and verification of security protocols implemen- tations, in: 8th International Symposium on Foundations & Practice of Security, Vol.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Modesti, AnBx: Automatic generation and verification of security protocols implemen- tations, in: 8th International Symposium on Foundations & Practice of Security, Vol

Reference 26

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.714278Z

Source-reported events for the cited work

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

Observation fb65c672-1899-436a-8e26-5948d10bedd9 · outbound

This paper cites Almousa, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Almousa, S

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.693526Z

Source-reported events for the cited work

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

Observation 3f0d0d40-9f48-436f-85c1-1bf974a8e52a · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.672934Z

Source-reported events for the cited work

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

Observation 009add36-11b5-4a2e-b8d4-1462cf0074d0 · outbound

This paper cites Zamansky, M.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Zamansky, M

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.649317Z

Source-reported events for the cited work

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

Observation e114169b-908b-43f1-8a12-1af916c2f8c9 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.625133Z

Source-reported events for the cited work

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

Observation c579c82e-9824-45a7-9322-df302a805a5e · outbound

This paper cites Brambilla, J.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Brambilla, J

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.071149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f4bf246-8701-43ee-9fea-6f7aef0d475a · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.082235Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b91076fd-7f7f-4501-b305-2a705bb0ec40 · outbound

This paper cites Garcia, P.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Garcia, P

Reference 33

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.554136Z

Source-reported events for the cited work

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

Observation d0ca137f-8462-49c5-b0a2-20dfdfdf0ce3 · outbound

This paper cites Bettini, Implementing domain-specific languages with Xtext and Xtend, Packt Publish- ing Ltd, 2016.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Bettini, Implementing domain-specific languages with Xtext and Xtend, Packt Publish- ing Ltd, 2016

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.094057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c97fd556-b31d-4431-b221-4dac1435de87 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.099251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 830f4c6a-bc21-45b2-a9cb-c0de7a4ae403 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.104467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eddaa677-b51e-4355-84ed-bbbf438e8f82 · outbound

This paper cites Bugliesi, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Bugliesi, S

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.109828Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b67a1e9b-74b1-46a8-8b5b-f050f101c545 · outbound

This paper cites Blanchet, V.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Blanchet, V

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.115231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5c91c91-81c3-4cfc-a87f-04d199d35dea · outbound

This paper cites Shaukat, A.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Shaukat, A

Reference 39

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T11:45:37.547711Z

Source-reported events for the cited work

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

Observation ac8858d2-c304-493b-a891-0fab984fce0a · outbound

This paper cites Fetaji, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Fetaji, S

Reference 40

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T11:45:37.454806Z

Source-reported events for the cited work

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

Observation a1c8498e-69bd-49b5-a785-e48d3efe6a40 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.131136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af6c9a24-9c2c-42ff-8e0a-bf6206907dba · outbound

This paper cites Gleirscher, D.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Gleirscher, D

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.137274Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6778cc4b-a0b5-42f6-bb79-692fcd627ae8 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.148740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd979c0e-ac9f-4028-8b81-6d41b42b12dc · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.153550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17a2e499-b3c2-4455-8508-565a210458c5 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 45

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:32.158834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72afc5ca-1371-4e3b-9a18-13b46d697981 · outbound

This paper cites Raimondo, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Raimondo, S

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.164082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ad854e4-25b9-48d3-8f87-669b13dce581 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 47

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.324335Z

Source-reported events for the cited work

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

Observation 6c54c5c6-7e81-42c8-9494-44a067612004 · outbound

This paper cites Abadi, R.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Abadi, R

Reference 48

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.306302Z

Source-reported events for the cited work

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

Observation a8b5e75f-28d2-42e9-a20e-9363bbdf6bfc · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 49

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.286567Z

Source-reported events for the cited work

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

Observation 387991f0-78b8-4b8a-aad0-a57cf400f62f · outbound

This paper cites Unwin, H.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unwin, H

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.186763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e41fa729-64bd-4605-812b-0394adb64a0d · outbound

This paper cites Tabassum, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Tabassum, S

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.192187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6efc4f8-1a1b-4736-a8fa-58f9984007cb · outbound

This paper cites Kuusinen, Software developers as users: Developer experience of a cross-platform in- tegrated development environment, in: P.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Kuusinen, Software developers as users: Developer experience of a cross-platform in- tegrated development environment, in: P

Reference 52

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.263607Z

Source-reported events for the cited work

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

Observation 0182b2dd-4523-48d6-84c7-daee2eec64f1 · outbound

This paper cites Lindmeier, A.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Lindmeier, A

Reference 53

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:45:34.822987Z

Source-reported events for the cited work

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

Observation 4426a2ec-23ce-4747-9e34-d835178ed3a1 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 54

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:45:34.738004Z

Source-reported events for the cited work

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

Observation 36f9ff82-d843-441b-b502-7b4ca7186e03 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.217154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2173ea6-e81c-4b36-b4e0-0e782a6106b0 · outbound

This paper cites Gleirscher, S.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Gleirscher, S

Reference 56

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.239942Z

Source-reported events for the cited work

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

Observation b0f82b42-9403-457d-9a3d-e8291441a611 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 57

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.217593Z

Source-reported events for the cited work

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

Observation 4f5475a6-984f-4c20-956f-5c50653152a3 · outbound

This paper cites Runge, I.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Runge, I

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.236415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 56753366-ab22-406c-ba05-b6b3a1847fe2 · outbound

This paper cites Fares, J.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Fares, J

Reference 59

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.173347Z

Source-reported events for the cited work

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

Observation e4b7d8d7-1f79-4201-b76d-bed26d2dad59 · outbound

This paper cites Bonfanti, M.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Bonfanti, M

Reference 60

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.152791Z

Source-reported events for the cited work

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

Observation e88e311b-8ea5-4fc5-a0eb-693acfeb52ba · outbound

This paper cites Lowe, A hierarchy of authentication specifications, in: CSFW’97, IEEE Computer Society Press, 1997, pp.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Lowe, A hierarchy of authentication specifications, in: CSFW’97, IEEE Computer Society Press, 1997, pp

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.258319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6010e20-5e30-4fe2-86d0-f94a0e4c8fc4 · outbound

This paper cites Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

Reference 62

Resolution: verified exact; local_arxiv, observed 2026-08-12T11:45:33.132616Z

Source-reported events for the cited work

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

Observation 09db2cbe-3127-4e62-a87e-7dd57ff40498 · outbound

This paper cites Barbosa, G.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Barbosa, G

Reference 63

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:32.270342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1cc436a-f13a-498d-8b5b-f6c36eb1993e · outbound

This paper cites Team, Avispa v1.0 user manual, available online:https://people.rennes.inria.fr/ Thomas.Genet/Crypt/AVISPA_manual.pdf (accessed on 22 November 2024).

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Team, Avispa v1.0 user manual, available online:https://people.rennes.inria.fr/ Thomas.Genet/Crypt/AVISPA_manual.pdf (accessed on 22 November 2024)

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.275741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0826dbfa-10bc-4037-8127-0ff0c194e591 · outbound

This paper cites Delaune, L.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Delaune, L

Reference 65

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.102357Z

Source-reported events for the cited work

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

Observation fd27c46a-28b5-4962-8486-c2f42e1c27c8 · outbound

This paper cites Blanchet, B.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Blanchet, B

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.288185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9551e680-ca62-4fe8-87f7-c45808d4a57e · outbound

This paper cites Carlsen, Optimal privacy and authentication on a portable communications system, ACM SIGOPS Oper.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Carlsen, Optimal privacy and authentication on a portable communications system, ACM SIGOPS Oper

Reference 67

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:45:34.479005Z

Source-reported events for the cited work

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

Observation 8eeeede4-526b-44a8-908e-4b2bbca30cee · outbound

This paper cites compute.dtu.dk/~samo/ (accessed on 22 November 2024).

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols compute.dtu.dk/~samo/ (accessed on 22 November 2024)

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.300716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecadb6e6-8f25-46e1-ae96-f0ad086592ed · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.306439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29e03903-ac74-45dc-aee3-c4400e5ec289 · outbound

This paper cites Kaufman, Internet key exchange (IKEv2) protocol, Tech.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Kaufman, Internet key exchange (IKEv2) protocol, Tech

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.313302Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6e09190-1577-4b4f-8826-8811a0414f2b · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.325345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e6b39cb-3c41-4b7b-b4b2-e3f6f5af9c9a · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.331339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 96287695-8530-497a-b6a9-f9faab8307de · outbound

This paper cites Concepts Tools 17 (3) (1996) 93–102.doi:10.1007/3-540-61042-1_43.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Concepts Tools 17 (3) (1996) 93–102.doi:10.1007/3-540-61042-1_43

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.337383Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f914f41-4d1c-4bfa-a28a-ef0574245150 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.344908Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ea8cf348-cc4c-4a31-a3b6-7d12fa4261b0 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 75

Resolution: verified exact; raw_fallback, observed 2026-08-12T11:45:34.305110Z

Source-reported events for the cited work

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

Observation 6c56da2f-30f1-4d5f-9809-11bb872b99de · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 76

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:45:34.210184Z

Source-reported events for the cited work

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

Observation 92af7bcb-09de-4d4b-be3f-f7497ca9c33c · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 77

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.064890Z

Source-reported events for the cited work

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

Observation 8db710b0-c7b4-45a8-9a88-ec3094e04569 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.373241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9396d8a1-23aa-423b-8364-ee75b3307963 · outbound

This paper cites Garcia, P.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Garcia, P

Reference 79

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:32.380117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2a29f02-9f08-408a-8388-75663107440a · outbound

This paper cites Likert, A technique for the measurement of attitudes., Archives of psychology (1932).

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Likert, A technique for the measurement of attitudes., Archives of psychology (1932)

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.386370Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f93d3fb2-bc0a-4148-a7a7-dffabb513c5c · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 81

Resolution: malformed identifier; no resolver link, observed 2026-08-12T11:45:32.395619Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77992296-10b5-443d-a597-68e5656079fe · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 82

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T11:45:37.948986Z

Source-reported events for the cited work

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

Observation 2ee4d33d-63a5-4cfa-a59d-8a31b420fa61 · outbound

This paper cites 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.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols 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

Reference 83

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.041464Z

Source-reported events for the cited work

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

Observation fd2a4d4c-624f-4488-ab20-478bd6b4bd2b · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.416617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73342616-3c69-47e6-9fbe-81bcc57455f4 · outbound

This paper cites Brezocnik, B.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Brezocnik, B

Reference 85

Resolution: verified exact; doi, observed 2026-08-12T11:45:32.997988Z

Source-reported events for the cited work

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

Observation 8cd8bde5-8f1f-4414-9a79-5cbd5c94dd67 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.435717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 311ffd11-9ace-4057-b7a2-3bc0193306ed · outbound

This paper cites org, [Online; accessed 14 October 2024] (2024).

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols org, [Online; accessed 14 October 2024] (2024)

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.402085Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 940df6af-ffb7-430b-96b6-dbc801785408 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 88

Resolution: verified exact; doi, observed 2026-08-12T11:45:32.933159Z

Source-reported events for the cited work

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

Observation 6d84bfd2-f643-4c1c-840a-5ecf4184e229 · outbound

This paper cites Automating Cryptographic Protocol Language Generation from Structured Specifications.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Automating Cryptographic Protocol Language Generation from Structured Specifications

Reference 89

Resolution: verified exact; local_arxiv, observed 2026-08-12T11:45:32.915948Z

Source-reported events for the cited work

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

Observation 972d8aa9-961e-49d3-bd86-671de23cd92b · outbound

This paper cites Braghin, M.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Braghin, M

Reference 90

Resolution: verified exact; doi, observed 2026-08-12T11:45:32.887523Z

Source-reported events for the cited work

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

Observation 8e7f5a94-4eff-4318-8d73-e8f2511e3a6b · outbound

This paper cites Glouche, T.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Glouche, T

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.469268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4549d83a-fd72-40e4-8b62-953dc1084c32 · outbound

This paper cites Masci, C.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Masci, C

Reference 92

Resolution: verified exact; doi, observed 2026-08-12T11:45:32.953270Z

Source-reported events for the cited work

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

Observation b33adf76-85cd-4f4e-be34-8cb866ee61b1 · outbound

This paper cites Armando, D.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Armando, D

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.484447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cbe428b-a22f-418c-9833-883de13ae6f2 · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 94

Resolution: verified exact; doi, observed 2026-08-12T11:45:33.193333Z

Source-reported events for the cited work

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

Observation df0e9a74-c676-437d-afea-7f24c65b406d · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.500587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3baaf1d9-0e0b-4f13-a9f9-1c283f16c85a · outbound

This paper cites an unresolved cited work.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Unresolved cited work

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.507308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4a82507-38f2-4b3b-b473-716e173ce0b5 · outbound

This paper cites Boichut, T.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Boichut, T

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.476311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40827f60-155c-48d2-971d-c2a9aacf90d0 · outbound

This paper cites Nicolas, V.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Nicolas, V

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.518625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d30cb15f-6f69-46a8-9713-3204965f359d · outbound

This paper cites Rusinowitch, Automated analysis of security protocols, in: L.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols Rusinowitch, Automated analysis of security protocols, in: L

Reference 99

Resolution: verified exact; doi, observed 2026-08-12T11:45:32.853968Z

Source-reported events for the cited work

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

Observation 0f32c98a-f72c-482a-89d8-aca323897f6d · outbound

This paper cites de Ruiter, ProVerif Editor, available online:https://proverifeditor.sourceforge.

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols de Ruiter, ProVerif Editor, available online:https://proverifeditor.sourceforge

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-12T11:45:32.531887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers