Cyklická obfuskácia a možnosti jej prelomenia SAT útokom - Janči, Daniel (STU v Bratislave FEI, 2023)