A composable computational soundness notion.

Véronique Cortier Bogdan Warinschi

Published in: CCS (2011)

Keyphrases

real time
computational power
machine learning
decision making
multiscale
search space