Text this: Finding Differential Paths in ARX Ciphers through Nested Monte-Carlo Search