I have read the paper by Anderson and Biham  describing the ciphers Bear and Lion, which combine a PRG and a hash function (each cipher does that in a different way). the authors proved that a key recovery attack on the ciphers would imply breaking the PRG and hash function used. I also read the paper by Morin  in which he shows a man-in-the-middle attack on Bear and Lion, and also proposes a new cipher (Aardvark) of the same kind, immune to such attack.
Was there any attack on Aardvark?
And are there other block ciphers with proof of security?
The references are the following (sorry, I couldn't find exactly the publication years and conference names)
 Ross Anderson and Eli Biham. Two Practical and Provably Secure Block Ciphers: BEAR and LION.
 Pat Morin (1996). Provably Secure and Efficient Block Ciphers.