Yet Another Computer Scientist. Interests in security, operating systems, networking, formal verification.