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

Tobias F. Pfeffer, Thomas Gthel, Sabine Glesner

Browse the full QRS paper archive.