Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Martijn Oostdijk

Integrating Verification, Testing, and Learning for Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Related publications

First-Order Verification of Cryptographic Protocols

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Journal of Applied Non-Classical Logics
PhilosophyLogic
2009English

Type-Based Automated Verification of Authenticity in Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Cryptographic Protocols for Electronic Voting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

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

Multi-Exponentiation (Cryptographic Protocols)

IEE Proceedings - Computers and Digital Techniques
1994English

Protocols for Watermark Verification

IEEE Multimedia
Media TechnologySignal ProcessingHardwareComputer Science ApplicationsArchitectureSoftware
2001English

Resource Fairness and Composability of Cryptographic Protocols

Journal of Cryptology
Applied MathematicsComputer Science ApplicationsSoftware
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy