Symbolic Methods in Computational Cryptography Proofs release_bdp72veonjdvbksf32gbqwqmxu

by Gilles Barthe, Benjamin Gregoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub

Published in IEEE Computer Security Foundations Symposium by IEEE.

2019   p136-151

Archived Files and Locations

application/pdf  760.0 kB
file_lsftux3zknd73iemkbq2fvw6ba
hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2019
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 01f6ab19-9a76-44b7-b146-d96a3639d26a
API URL: JSON