  This paper outlines an approach for proving existence of hyperbolic
quasi-periodic invariant tori using computer assisted methods based on an a
posteriori KAM-like theorem. We implement it for the dissipative standard map
following the approach and give computer assisted proofs of existence of
invariant circles for some parameter choices.
