How to translate C code to COQ [on hold]

I want to model a cryptographic library in COQ which is written in C language.
For that I need methods to translate the C code to COQ Gallina code. Are there COQ libaries/tools which can help translate code form C to COQ's functional language?