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 ?