diff --git a/README.md b/README.md
index dd3cda16..ae2e7b69 100644
--- a/README.md
+++ b/README.md
@@ -31,8 +31,9 @@ A more detailed and technical description of the protocol can be found in this r
 
 - MixBytes (16/09/2020 - 03/12/2020): [report](./audits/Mixbytes-aave-v2-03-12-2020.pdf)
 - PeckShield (29/09/2020 - 03/12/2020) : [report](./audits/Peckshield-aave-v2-03-12-2020-EN.pdf) (Also available in Chinese in the same folder)
-- CertiK (28/09/2020 - 02-12-2020): [report](./audits/Certik-aave-v2-03-12-2020.pdf)
-- Consensys Diligence (09-09-2020 - 09-10-2020): [report](https://consensys.net/diligence/audits/2020/09/aave-protocol-v2/)
+- CertiK (28/09/2020 - 02/12/2020): [report](./audits/Certik-aave-v2-03-12-2020.pdf)
+- Consensys Diligence (09/09/2020 - 09/10/2020): [report](https://consensys.net/diligence/audits/2020/09/aave-protocol-v2/)
+- Certora, formal verification (02/08/2020 - 29/10/2020): [report](./audits/Certora-FV-aave-v2-03-12-2020.pdf)
 
 ## Connect with the community
 
diff --git a/audits/Certora-FV-aave-v2-03-12-2020.pdf b/audits/Certora-FV-aave-v2-03-12-2020.pdf
new file mode 100644
index 00000000..705d0961
Binary files /dev/null and b/audits/Certora-FV-aave-v2-03-12-2020.pdf differ