Modular code-based cryptographic verification

C├ędric Fournet, Markulf Kohlweiss, and Pierre-Yves Strub

Details

Publication typeInproceedings
Published inACM Conference on Computer and Communications Security
Pages341-350
ISBN978-1-4503-0948-6
PublisherACM
> Publications > Modular code-based cryptographic verification