Lze vyrábět důvěryhodný hardware? Projekt Betrusted

Andrew "bunnie" Huang se v příspěvku na svém blogu zamýšlí, zda lze vyrábět důvěryhodný hardware. Nejenom jako spoluautor open source notebooku Novena došel k závěru, že současný otevřený hardware je stejně důvěryhodný jako uzavřený hardware a nelze mu tedy důvěřovat. Andrew "bunnie" Huang navrhuje možný způsob vývoje, výroby a ověřování důvěryhodného hardwaru a představuje projekt Betrusted.

27.12.2019 18:44 | Ladislav Hagara | Zajímavý článek

Komentáře

The article is interesting he you gets to details.

[_]

Proč píšeš anglicky, když to neumíš? Pokud jsi Slovák, tak pochvala za snahu.

[Slavko]

Vy budete ten rusmi platený troll, že?

[Ovoce]

Teraz som bol týždeň na Slovensku a nikto nepičoval keď som na nich hovoril iba po česky, to bolo super.

Všetko najlepšie do nového rok, a nech si aj ty konečne raz šmykneš :)

[Zase jenom marketing]

Bezpečný HW je o tom, že si každý uživatel (nebo někdo komu ten uživatel věří) dokáže zkontrolovat, že v jeho HW není backdoor. Jinak je to jenom a pouze o tom, které firmě věřím, a které ne.

Je krásné, že si můžeme zverifikovat design displeje, ale kdo z nás je schopen pochopit specifikaci procesoru? Krom toho ten procesor bude na uzavřeném (a tedy non trusted) FPGA.
Zároveň píše:
"We rely on logic placement randomization to mitigate the threat of fixed silicon backdoors,"
Neboli každému uživateli dají úplně jiný procesor. To je ráj na ukrývání backdoorů do telefonů zajímavých zákazníků, a je to prasárna, jakou nedělá ani Huawei.. Říkají, že rozmístění součástek bude určeno random seedem, ale to je reálně neověřitelné...

[Jendа]

Krom toho ten procesor bude na uzavřeném (a tedy non trusted) FPGA.

Vždyť tohle právě řeší tím náhodným rozmístěním: doufají, že nelze vyrobit backdoor, který by šel na dálku aktivovat a použít, když je rozmístění náhodné.

Neboli každému uživateli dají úplně jiný procesor. To je ráj na ukrývání backdoorů do telefonů zajímavých zákazníků, a je to prasárna, jakou nedělá ani Huawei.. Říkají, že rozmístění součástek bude určeno random seedem

Neeee, to by ani nešlo, vyrábět individuální křemíky je finančně naprosto nemožné. Náhodná je ta konfigurace FPGA.

ale to je reálně neověřitelné...

Ten bitstream si budeš kompilovat otevřeným kompilátorem ty.

[---]

Co vzít tu důvěryhodnost z jiné strany? Nedal by se bezpečný mobil postavit okolo nejlevnější atmegy, co si koupím v krámu pře ulici?

[Peter Golis]

Nestačí Arduino Pohone?

[---]

Ne, mně jde právě o něco jiného. Jde o to, že atmega je z ekonomicko-logistických důvodů nebackdoorovatelná. U čipu, který se vyrábí v tak obrovských sériích a prodává se za pár korun nelze zajistit, aby zrovna ten čip, který si v tom krámě koupím, měl v sobě backdoor použitelný i v téhle situaci.

[Radovan]

V době, kdy šmírovací čip obsahují dětské chůvičky, varné konvice i elektronické cigarety vyráběné také v obrovských sériích? Prostě ten backdoor mají všechny, a v případě potřeby stačí nechat vyhledat ten správný. Jako tenkrát ty telefony v Albánii...

[Jendа]

To ale mluvíš o bluetooth nebo jiném bezdrátovém interface, ne?

Jak bys implementoval backdoor do atmegy? Můj oblíbený „pokud je v registru 1 hodnota 0xABCDEFGH a v registru 2 hodnota 0x98765432 a na začátku stránky signatura 0x0C0C0C0C, tak tam skoč“ bude u atmegy fakt trochu problém…

[_dw]

GH?

[Jendа]

To byl easteregg.

[mln]

Atmega je vam nanic pokial bude backdoor v GSM module. Pokial ten GSM modul funguje a pracuje ako sw radio, tak urcite je tam mozne nahrat aj nieco "navyse".

A open source ćip pre sw radio bude asi este asi par rokov tažke scifi.

[PetebLazar]

Soukromí jsme ztratili, když jsme před 20+ lety opovrhli svými!

[---]

A jakej backdoor tam očekáváš? Kameru a mikrofon? Do GSM modulu půjdou už zašifrovaná data, a lze mu pravidelně vypínat napájení.

[Jendа]

Určitě, v podstatě stačí vzít atmegu, SIM800L a zapojit to. Šifrovaný textový chat by to mělo zvládnout minimálně symetricky šifrovaný (ale třeba RSA to nedá v žádném případě, ECC nevím); pro hlasový hovor budeš asi potřebovat samostatný audio kodek protože to na tom neupočítáš (ale to nevadí, protože bude fyzicky oddělený od sítě) a nevím, jestli atmega dokáže prohnat AESem alespoň 10 kb/s co potřebuješ na hlas.

[Jendа]

Tak prej AVR s vysoce optimalizovaným kódem zvládne 200 kb/s AES a RSA-1024 trvá sekundu. RSA-2048 je na mém x86 počítači 7x pomalejší než RSA-1024, takže by mohlo trvat tak 7 sekund. A ECDSA jim trvá půl minuty a vyžaduje dost paměti.

Kdyby sis povolil STM32, dost by sis s výkonem pomohl.