Is there a security analysis of CryptDB?

Question

Its interesting to see critical thinking being applied to cryptDB in contrast to all the hoopla around it here . cryptDB is not a major theoretical breakthrough but potpourri of technologies to make it work. But then am curious if there is a formal security analysis done by anybody on cryptDB. all over the web its just being praised without any thorough analysis .

On a side note : If there is none, I would like to take it up, but i am new to security analysis, so Is there a good reference paper for carrying out security analysis on some crypto implementation ?

Answer 1

A quick glance at their most recent paper shows some security analysis. Secton 2 talks about some different threats, what guarantees they can provide, etc. Section 8.3 also evaluates the security of the system. This may or may not be what you are looking for, you'd have to decide for your self.