522 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Cryptographie et sécurité .:.
1 document

fulltext access Foundations for analyzing security APIs in the symbolic and computational model
Künnemann R.
École normale supérieure de Cachan - ENS Cachan (07/01/2014), Graham Steel (Dir.) [tel-00942459 - version 1]