SMS versenden: Cyklická obfuskácia a možnosti jej prelomenia SAT útokom