updated sporadically at best

Even though cybersecurity is one of the hottest topics on the Internet, my specific area of research, information flow security, has remain...

Asperti, Geuvers,and Natarajan have this fun paper, Social processes, program verification, and all that , which provides a nice counterpoin...