Peeter Laud: Secure Implementation of Asynchronous Method Calls and Futures. INTRUST 2012: 25-47