A Novel Approach for Reasoning About Liveness in Cryptographic Protocols and Its Application to Fair Exchange

doi 10.1109/eurosp.2017.12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Invariant-Based Reasoning About Parameterized Security Protocols

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
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

A Novel Approach for Securing Images Using Visual Cryptographic Scheme

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

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

Integrating Verification, Testing, and Learning for Cryptographic Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy