Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner. Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. In 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019. pages 318-325, IEEE, 2019. [doi]
Abstract is missing.