Modular code-based cryptographic verification

In  ACM Conference on Computer and Communications Security

Publisher  ACM

Details

TypeInproceedings
Pages341-350
ISBN978-1-4503-0948-6
> Publications > Modular code-based cryptographic verification