Workshop_Emile Vermeulen and Jonathan D'haene_Microsoft
Workshop_Tristan Wattiez and Peter Feijen_Transmit Security