Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution | IEEE Conference Publication | IEEE Xplore