Research for practice: private online communication; highlights in systems verification.