How the cardinals cast votes Print
By Bruce Schneier, CNN   
Monday, 25 February 2013

They use an old procedure with multiple counts (by hand), but surprisingly it seems to work for this select group of electors.