Amanote Research
Register
Sign In
Symbolic Models for Isolated Execution Environments
doi 10.1109/eurosp.2017.16
Full Text
Open PDF
Abstract
Available in
full text
Date
April 1, 2017
Authors
Charlie Jacomme
Steve Kremer
Guillaume Scerri
Publisher
IEEE