Login / Signup
Fully automated analysis of padding-based encryption in the computational model.
Gilles Barthe
Juan Manuel Crespo
Benjamin Grégoire
César Kunz
Yassine Lakhnech
Benedikt Schmidt
Santiago Zanella Béguelin
Published in:
CCS (2013)
Keyphrases
</>
computational model
automated analysis
automated detection
computational models
biomedical imaging
visual analysis
cognitive architecture
cognitive modeling
language acquisition
computational modeling
computational framework
working memory
motion imagery
image retrieval
cognitive processes
cell nuclei