Describir: Research for Practice: Private Online Communication; Highlights in Systems Verification.