We obtain a quenched vector-valued almost sure invariance principle (ASIP) for large classes of random dynamical systems exhibiting some degree of hyperbolicity. More precisely, we consider random perturbations of a fixed Anosov diffeomorphism as well as random perturbations of a billiard map associated to the periodic Lorentz gas. We also deal with wide classes of piecewise expanding maps both in one and higher dimensions. Our proofs are based on a modification of the spectral method for establishing ASIP introduced by S. Gouëzel. Finally, by using martingale techniques, we revisit the quenched scalar-valued ASIP for random piecewise-expanding dynamics and improve the known error estimates.