Formálně ověřená kryptografie ve Firefoxu 57

Mozilla na svém blogu věnovaném bezpečnosti informuje o formálně ověřené kryptografii ve Firefoxu 57. Jedná se o výsledek spolupráce Mozilly s INRIA a projektem Everest. Do Network Security Services (NSS) bude začleněna formálně ověřená kryptografická knihovna HACL*. Knihovna je naprogramována v programovacím jazyce F*. Před překladem a sestavením se překládá do programovacího jazyka C.

15.9.2017 10:33 | Ladislav Hagara | Komunita

Komentáře

[Ruža Becelin]

To je sice fajn, ale zas to zaprasi opt-out smirovanim.

Takze to vypada, ze FF 52 ESR bude muj posledni, prejdu na Vivaldi a FF52 si necham jako legacy, kdyz budu potrebovat add-ony jako DownThemAll a par dalsich.

Bylo by fajn, kdyby nekdo naprogramoval prohlizec, ktery by v zakladu umel akorat parsovat HTML/JS a zbytek se resil pres low-level pluginy (Takovy FF 3.6 reviwal). Nejsem programator, ale docela me zaujal Rust z hlediska ucici krivky. No, soupnu to do TODO, pokud to do te doby nekdo nenaprogramuje.

FF 3.6 zdrojaky se taky daji sehnat, tj. ucit se na cem je.

[BigBoss]

Nauc se BrainFuck, ten ma krasnou ucici krivku. Jo FF 3.6, to jeste zil Havel a Paroubek byl premier....to byly casy!

[R]

Skus Otter Browser.

[j]

Mas tu palemoon ... ten pridava konfiguraci na veci, ktery chrofox nikdy ani neumel vypnout(trebas hsts), a bydefault vypina vse, co je jakkoli kontroverzni co se bezpecnosti/soukromi tejce.