Strong group ring isomorphisms Background/Motivation
Let $R$ be a commutative ring with unit.  If $G$ is a finite (or in general, discrete) group, let $R[G]$ be the group $R$-algebra associated to $G$.  The isomorphism problem for group rings asks for condiions on groups $G$ and $H$ such that $R[G]\simeq R[H]$.
Group rings are not a complete invariant, even of finite groups; in a 2001 Annals paper, Hertweck discovered two finite groups $G$ and $H$ with $\mathbb{Z}[G]\simeq \mathbb{Z}[H]$ and $G\not\simeq H$.  In general, group algebras over a field are even weaker invariants; for example, if $G$ and $H$ are any two finite abelian groups of order $n$, then $\mathbb{C}[G]\simeq \mathbb{C}[H]\simeq \mathbb{C}^n$, by e.g. the Chinese Remainder Theorem or Artin-Wedderburn.
I am curious about a slight strengthening of the isomorphism problem for group rings.  Namely, if $(S, +, \cdot)$ is a (not necessarily commutative) ring with unit, let the opposite ring $S^{op}=(S, +, \times)$ be the ring whose underlying Abelian group under addition is the same as that of $S$, but with the multiplicative structure reversed, i.e. $a\times b=b\cdot a$; the formation of the opposite is clearly functorial.  Note that if $R[G]$ is a group ring, it is naturally isomorphic to its opposite through the map $\phi_G:  g\mapsto g^{-1}$.  
The Problem
Now if $G, H$ are groups and $\psi: R[G]\to R[H]$ is an isomorphism of group rings, we may ask if it is compatible with the formation of the opposite ring---that is, does $\phi_H\circ \psi=\psi^{op}\circ \phi_G$?  Say that $G, H$ have strongly isomorphic group rings if such a $\psi$ exists.  

What is known about groups with strongly isomorphic group rings over commutative rings $R$?  Are there non-isomorphic finite groups $G, H$ with $\mathbb{Z}[G]$ strongly isomorphic to $\mathbb{Z}[H]$, for example?  More weakly, when is $\mathbb{C}[G]\simeq \mathbb{C}[H]$? 

Strong Isomorphism is Strong
Just to convince you that strong group ring isomorphism is in fact a stronger condition that group ring isomorphism, note that $\mathbb{C}[\mathbb{Z}/4\mathbb{Z}]$ is isomorphic to $\mathbb{C}[\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}]$ but not strongly isomorphic.  This is because $\phi_{\mathbb{Z}/4\mathbb{Z}}$ is not the identity, but $\phi_{\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}}$ is the identity on the underlying set of $\mathbb{C}[\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}]$.
Addendum (4/6/2011)
Andreas Thom points out in his excellent answer that the case of finite abelian groups over $\mathbb{C}$ is not much harder than the case of usual group ring isomorphisms.  Unfortunately the question over e.g. $\mathbb{Z}$ is likely to be extremely difficult, since the usual isomorphism problem over $\mathbb{Z}$ is apparently quite hard---I don't yet understand Hertweck's construction well enough, for example, to tell if the groups he constructs have strongly isomorphic group rings.  In any case, I would accept as an answer a summary of the current state of the art for strong isomorphism over $\mathbb{Z}$ (for example, does Hertweck's construction admit a strong isomorphism?), or any relatively recent reference addressing the  more general question (as Qiaochu Yuan points out in a comment, the question is equivalent to asking when the group rings of $G, H$ are isomorphic as $*$-algebras, which suggests to me that the question must have been studied by someone).
 A: If $G$ is a finite abelian group, then $\mathbb C[G] = \lbrace f \colon \hat G \to \mathbb C \rbrace$, where $\hat G$ is the Pontrjagin dual of $G$. The isomorphism $g \mapsto g^{-1}$ translates into the same map on the Pontrjagin dual (basically multiplication by $-1$ on $\hat G$), but now it is a bit easier to analyze. Note also, that there is a non-canonical isomorphism $G \cong \hat G$.
Hence, in order to find two non-isomorphic abelian groups which have strongly isomorphic complex group rings, we just have to analyze (in addition to the cardinality of the group) the orbit structure of multiplication by $-1$ on the group. Indeed, we are now just talking about an algebra of function on a set with some $\mathbb Z/2 \mathbb Z$-action.
Example: In $\mathbb Z/8\mathbb Z \times \mathbb Z/2\mathbb Z$, there are precisely $4$ elements, which are fixed under multiplication by $-1$, namely $(0,0),(4,0),(0,1)$ and $(4,1)$. The same is true for $\mathbb Z/4\mathbb Z \times \mathbb Z/4\mathbb Z$. Here, one has $(0,0),(2,0),(0,2)$ and $(2,2)$. Hence, there exists an isomorphism between $\mathbb C[\mathbb Z/8\mathbb Z \times \mathbb Z/2\mathbb Z]$ and $\mathbb C[\mathbb Z/4\mathbb Z \times \mathbb Z/4\mathbb Z]$, which respect the isomorphism which is induced by $g \mapsto g^{-1}$.
I do not know about an example with coefficients in $\mathbb Z$.
