Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mika Cohen

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Related publications

First-Order Verification of Cryptographic Protocols

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Integrating Verification, Testing, and Learning for Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Improving Automatic Verification of Security Protocols With XOR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Verification of Temporal Properties

1994English

Equivalence Properties by Typing in Cryptographic Branching Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Programming Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Cryptographic Protocols From Lattices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy