|
Computational Soundness of Coinductive Symbolic Security under Active Attacks / / Mohammad Hajiabadi, Bruce M. Kapron
|
2013
|
1
|
|
Computational Soundness of Indistinguishability Properties without Computable Parsing / / Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto and Hideki Sakurada --
|
2012
|
1
|
|
Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification / / Michael Backes, Fabian Bendun, Dominique Unruh --
|
2013
|
1
|
|
Computational Statistics Approaches to Study Metabolic Syndrome / / Ilkka Huopaniemi and Samuel Kaski --
|
2013?
|
1
|
|
Computational Strategies for Skin Detection / / Simone Bianco, Francesca Gasparini, Raimondo Schettini
|
2013
|
1
|
|
Computational Structural Mechanics / / Ahmed K. Noor --37.
|
1997
|
1
|