Works cited by this work

35 works

Work: Formal Verification of Cryptographic Protocols

1. On the security of public key protocols

   Danny Dolev, A. Yao

   Article19832 citations

   ABIABI:AkademIndex/openalex/2026.other.653819

2. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653805

3. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653806

4. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653807

5. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653808

6. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653809

7. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653810

8. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653811

9. Untitled

   Other1 citations

   ABIABI:AkademIndex/openalex/2026.other.653812

10. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653813

11. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653814

12. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653815

13. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653816

14. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653817

15. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653818

16. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653820

17. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653821

18. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653822

19. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653823

20. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653824

21. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653825

22. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653826

23. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653827

24. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653828

25. Untitled

    Other1 citations

    ABIABI:AkademIndex/openalex/2026.other.653829