Symbolic Models for Isolated Execution Environments

No ratings

Presented at EuroSP 2017 by

Steve Kremer

Charlie Jacomme

Guillaume Scerri

N/A