Yesterday, Shujie Zhao presented our paper “Analyzing and Improving Customer-side Cloud Security Certification” at the 9th International Workshop on Software Certification (WoSoCer). The slides for the talk can be found here.