Tell me more ×
Cryptography Stack Exchange is a question and answer site for software developers, mathematicians and others interested in cryptography. It's 100% free, no registration required.
up vote 0 down vote favorite

I am working on few cloud cryptography protocols. i am new to protocol design, definitions and proving .

With some preliminary research i understand that there are two models of security proofs one is based on Dolev-Yao model and other is based on Complexity theory .

Are there any good papers using the above approaches , that would help me as reference ?

Edit: I want to manually work out the proofs first, so am looking for good reference examples of papers which does so

share|improve this question
Which kind of protocol have you in mind? From my point of view the best way to work out with a proof is by deeply understanding the definition of the objects that you are working on. Maybe you want know more on Zero-Knowledge and Multi Party Computation, try with the Goldreich book which is a good starting. wisdom.weizmann.ac.il/~oded/books.html – AntonioFa Jan 22 at 11:15
Reference requests are considered off topic here. That said, there is some promise to this question. Try editing it to make it less of a reference request and more of a question with a definitive answer. Then you can flag it and one of the moderators will reopen it. – mikeazo♦ Jan 22 at 13:07

closed as off topic by mikeazo♦ Jan 22 at 13:08

Questions on Cryptography Stack Exchange are expected to relate to cryptography within the scope defined in the FAQ. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about closed questions here.

1 Answer

up vote 0 down vote

For verifying cryptography protocols in practice, I recommend using the AVISPA tool. It works very well, and it even has some nice documentation.

If you really want to read research papers, you can read the research papers that describe some of the techniques that went into the tool. They are listed on the AVISPA web site.

If you ask me to recommend just one paper, here's what I'd recommend:

share|improve this answer
there are so many other tools as some body suggested in other thread, i was looking for manually working out of proofs so i wanted some references/examples of papers which has done so – sashank Jan 22 at 10:16

Not the answer you're looking for? Browse other questions tagged or ask your own question.