Frederik Armknecht Yacine Gasmi Ahmad-Reza Sadeghi Patrick Stewin Martin Unger Gianluca Ramunno Davide Vernizzi An efficient implementation of trusted channels based on openssl. 41-50 2008 STC http://doi.acm.org/10.1145/1456455.1456462 conf/ccs/2008stc db/conf/ccs/stc2008.html#ArmknechtGSSURV08