Názor ke zprávičce Bezpečnostní audit TrueCryptu bude pokračovat od Kolemjdoucí - Samozřejmě deterministický proces zahrnuje i vstupní proměnné a...

Samozřejmě deterministický proces zahrnuje i vstupní proměnné a ano může to být časově náročné, mimo jiné proto jsou audity finančně náročné.

Mohu Vás ubezpečit, že chování IEEE754 je taktéž exaktně definované a bezpečnostní auditor ho zná jako když bičem mrská.