Andrei Sabelfeld: The Impact of Synchronisation on Secure Information Flow in Concurrent Programs. Ershov Memorial Conference 2001: 225-239