Jonathan Shahen. Polynomial Timed Reductions to Solve Computer Security Problems in Access Control, Ethereum Smart Contract, Cloud VM Scheduling, and Logic Locking. PhD thesis, University of Waterloo, Ontario, Canada, 2020. [doi]
Abstract is missing.