Huh. It's actually kind of popular in Computer Science papers in the security field to alternate (Alice, Bob, Carol, ...), and also (in general) for some male authors to always use a feminine pronoun when referring to anonymous or hypothetical actors. Surprised you haven't noticed either.