Mats Brorsson

• Reliable Software Technologies – Ada-Europe 2012
• Proceedings of the Fourth Workshop on Cryptography and Security in Computing Systems