A Static Workflow for Cryptography Verification in 4G/5G Basebands. - Lorenzo Lucca; Sara Da Canal; Giuseppe Bianchi 001; Andrea Visconti (ITASEC/SERICS, 2026)