FBI se nepodařilo prolomit kódování pevných disků zabavených federální policí v bytě bankéře Daniela Dantese v Rio de Janeiro během operace Satyagraha (bankéř byl podezírán ze zpronevěry). Operace začal v červnu 2008 zabavením zmiňovaných pevných disků, avšak po roce jej musela vrátit bez obvinění.
Jak Brazilský národní kriminalistický úřad, tak FBI neuspěli při pokusu rozluštit data na pevném disku. Podle zprávy se o to v Brazílii pokoušel 5 měsíců, pak odeslali disky s žádostí o pomoc úřad FBI, kterému se však také nepodařilo rozluštit obsah pevných disků.
Z technického hlediska byl použit TrueCrypt a další blíže nejmenovaný systém kódování. Jako kódovací metoda byla použita norma 256 bit AES, tedy stejná jakou používá dnešní FileVault. Je třeba říci, že se v Brazílii ani v FBI nepokoušeli rozluštit disk jiným způsobem než uhodnutím hesla. Tzv. slovníkový útok po roce pokusů však nepřinesl kýžené výsledky.
