Germany’s BSI has published the English report of a security evaluation of #VeraCrypt done by Fraunhofer SIT. We provided feedback during the finalization of the report and version 1.24-Update7 contains changes related to the evaluation.
The report is available at https://www.bsi.bund.de/DE/Publikationen/Studien/VeraCrypt/veracrypt.html
No security flaws found but potential weakness in JitterEntropy and /dev/random random generators that were fixed in 1.24-Update7 and use of old RIPEMD160 which will be replaced by Blake2s in next version.