Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution.

Tobias F. Pfeffer Thomas Göthel Sabine Glesner

Published in: QRS (2019)

Keyphrases

automatic analysis
lightweight
cost effective
computationally expensive
manual annotation
parallel execution
highly efficient