From: colepoirier@1ec9c8c87c85f09e4718cd80e0605065e33975f0 Date: Tue, 9 Jun 2020 19:07:19 +0000 (+0100) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~2499 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4fb4736e3c1697b14588a527fe773274d2d8fc2e;p=libreriscv.git --- 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 8498a0b11..1805f04a9 100644 --- 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