Barthe, G.2022-03-022022-03-022012978-3-642-29419-8978-3-642-29420-43-642-29419-7https://publica.fraunhofer.de/handle/publica/154594Formal aspects of security and trust. 8th International workshop, FAST 2011