Peeter Laud. Secure Implementation of Asynchronous Method Calls and Futures. In Chris J. Mitchell, Allan Tomlinson, editors, Trusted Systems, 4th International Conference, INTRUST 2012, London, UK, December 17-18, 2012. Proceedings. Volume 7711 of Lecture Notes in Computer Science, pages 25-47, Springer, 2012. [doi]
Abstract is missing.