This is my public diary.
I have a made a write-up on the anti-pattern game. This has been in a drawer for a long time, and I thought it was time for it to see the light of day. The most juicy bits are still to come in a separate write up of how one can do a complete search for a winning strategy.
Today my class had a guest lecture by Markus Roggenbach of Swansea University. He talked about a really interesting project where they did formal analysis on Android apps in order to detect collusion. The idea is that apps with different permissions can cooperate in order to exfiltrate information from the device, and they proved that this not only was possible, but also happens in the wild.