Security analysis of bytecode interpreters using Alloy
Thesis (Ph.D.)--Boston University === PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis or dissertation. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and wo...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
Boston University
2018
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2144/32048 |