http://www.cis.upenn.edu/~KeyKOS/ is perhaps also of interest, then.