Found exactly what the original poster was looking for. (Elapsed time to find: 10 seconds.)

[ QUOTE ]
PokerStars shuffle verified by Cigital and BMM International

In May 2003, PokerStars submitted extensive information about the PokerStars random number generator (RNG) to two independent organizations. We asked these two trusted resources to perform an in-depth analysis of the randomness of the output of the RNG, and its implementation in the shuffling of the cards on PokerStars.

Both independent companies were given full access to the source code and confirmed the randomness and security of our shuffle. Click here for more details.

[/ QUOTE ]

HTH.