No, but in saying that the internal crypto is cryptopp which was tested by that project, its a huge area though. I did ask Bruce Schneider to check the basic design when I started (in days when I had never more than 2 months salary in bank) and he said he would read the papers for $40,000 then make his mind up, I could not afford that as initial evaluation. This was a reason to fire in some patents as well to get at least some input.
If we did a security evaluation we would be looking at a very long process (truecrypt was over a year I think) but as we increase in user base this should happen for sure. I would hope it does independently as that would be best.
We sponsor some post doctorate students to find attacks in the design and have approached many universities and presented this, all great results from initial disbelief. This is the design though not the implementation which is a different issue to a great extent.