(no commit message)

diff --git a/systemes_libre/Systemes_Libres_Amazon_Alexa_IOT_Pitch_10-JUN-2020.mdwn b/systemes_libre/Systemes_Libres_Amazon_Alexa_IOT_Pitch_10-JUN-2020.mdwn
index 8498a0b11b6568b650a9382e14700cab60de2b39..1805f04a95f6de5a42a60b3944c39d7e8993eccb 100644 (file)
--- a/systemes_libre/Systemes_Libres_Amazon_Alexa_IOT_Pitch_10-JUN-2020.mdwn
+++ b/systemes_libre/Systemes_Libres_Amazon_Alexa_IOT_Pitch_10-JUN-2020.mdwn
@@ -62,6 +62,8 @@ additional good example bugs would include intel's ME vulnerabilities)
 
 * Almost every credit card and banking transaction is dependent on transaction processing servers, if these are hacked $M to $B of economic damage can be done
 
+Financial hardware such as cryptocurrency hardware wallets, and traditonal banking hardware from ATMs to stock terminals and transaction processing servers containing can be trusted with a much greater degree of confidence if the hardware crypto chips which they rely on are formally verified, with the entire HDL available for a full independent audit.
+
 
 # Part 4 - Low Power Requirements of RTOS and Industrial IOT Devices