1. Abadi, M., Rogaway, P.: Reconciling two views of cryptography (the computational soundness of formal encryption). J. Cryptology 15(2), 103–127 (2002)
2. Barthe, G., Grégoire, B., Béguelin, S.Z.: Formal certification of code-based cryptographic proofs. In: POPL, pp. 90–101. ACM, New York (2009)
3. Billingsley, P.: Probability and Measure, 3rd edn. Wiley, Chichester (1995)
4. Bonawitz, K.A.: Composable Probabilistic Inference with Blaise. PhD thesis, MIT, Available as Technical Report MIT-CSAIL-TR-2008-044 (2008)
5. Borgström, J., Gordon, A.D., Greenberg, M., Margetson, J., Van Gael, J.: Measure transformer semantics for Bayesian machine learning. Technical report, Microsoft Research (2011)