Where to download CCured?

After reading a series of articles, I try to find CCured sources (or even binaries) to try to use it in my C source code.

However, all the links seem to be dead. After some googling, I ask here. Can someone download them (sources, documents, etc.) if you accidentally have a tarball lying on your hard drive?

EDIT: I also emailed one of the authors, but have not received a response yet. Try emailing your friends after a while.

(quote from the article)

CCured is a program conversion system that adds type-security guarantees to existing C. programs. CCured tries to check statically that memory errors cannot occur, and inserts runtime checks when static checking is insufficient. CCured extends the C type system by separating pointer types according to their use and uses a surprisingly simple type inference algorithm that can output the appropriate pointer types for existing C programs. CCured uses physical subtyping to recognize and verify a large number of ticks during compilation. Assignments of additional types are checked using runtime type information.