Můžeme věřit překladačům? Projekty řešící schéma „důvěřivé důvěry“

Seznámíme se s některými zajímavými projekty, které se snaží – každý svým způsobem – vyřešit schéma „důvěřivé důvěry“, přesněji řečeno problém, kdy máme věřit, že námi používaný překladač například neobsahuje sofistikovaného trojského koně.