PSUDP
NgViz
JForlan
Covert Channel Detection and Mitigation
ICCHESS
Machine Learning in Checkers
S.O.S. (SudOku Solver)
OVAL2MulVAL
Hnefatafl