Secure multi-execution for Featherweight Firefox Model
An implementation of the secure multi-execution mechanism for the
Featherweight Firefox model
1.
More details on our model and its implementation are in the
technical
report.
1Featherweight Firefox model was originally implemented by
Aaron
Bohannon.