Equivariant crystalline cohomology and base change

Given a perfect field $k$ of characteristic $p>0$, a smooth proper $k$-scheme $Y$, a crystal $E$ on $Y$ relative to $W(k)$ and a finite group $G$ acting on $Y$ and $E$, we show that, viewed as virtual $k[G]$-module, the reduction modulo $p$ of the crystalline cohomology of $E$ is the de Rham cohomology of $E$ modulo $p$. On the way we prove a base change theorem for the virtual $G$-representions associated with $G$-equivariant objects in the derived category of $W(k)$-modules.