Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
Browse the full CONCUR paper archive.