Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution

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]

Authors

Tobias F. Pfeffer

This author has not been identified. Look up 'Tobias F. Pfeffer' in Google

Thomas Göthel

This author has not been identified. Look up 'Thomas Göthel' in Google

Sabine Glesner

This author has not been identified. Look up 'Sabine Glesner' in Google