Volume: Vol-4198 ITASEC & SERICS 2026 | Year: 2026

Paper: « paper46 | paper47 | paper48 »

A Static Workflow for Cryptography Verification in 4G/5G Basebands

• Lorenzo Lucca
• Sara Da Canal
• Giuseppe Bianchi
• Andrea Visconti

PDF