=Paper=
{{Paper
|id=Vol-4198/paper47
|storemode=property
|title=A Static Workflow for Cryptography Verification in 4G/5G Basebands
|pdfUrl=https://ceur-ws.org/Vol-4198/paper47.pdf
|volume=Vol-4198
|authors=Lorenzo Lucca,Sara Da Canal,Giuseppe Bianchi,Andrea Visconti
}}
==A Static Workflow for Cryptography Verification in 4G/5G Basebands==
<pdf width="1500px">https://ceur-ws.org/Vol-4198/paper47.pdf</pdf>
<pre>
None
</pre>