About this scholarly article

2017 IEEE European Symposium on Security and Privacy (EuroS&P) - Symbolic Models for Isolated Execution Environments by Jacomme, Charlie; Kremer, Steve; Scerri, Guillaume is a scholarly article available to read on EtoBox.

Author

Jacomme, Charlie; Kremer, Steve; Scerri, Guillaume

Publisher

IEEE

Published

2017