Browsing University of Waterloo by Subject "safety analysis"
Now showing items 1-2 of 2
-
Integration of Hydrogen Technology into Large Scale Industrial Manufacturing in Ontario
(University of Waterloo, 2022-01-12)Power-to-Gas is particularly applicable in Ontario’s energy market, due to the abundance of curtailed renewable energy. During off peak hours this results in not only low carbon, but low-cost electricity making hydrogen ... -
Polynomial Timed Reductions to Solve Computer Security Problems in Access Control, Ethereum Smart Contract, Cloud VM Scheduling, and Logic Locking.
(University of Waterloo, 2020-08-28)This thesis addresses computer security problems in: Access Control, Ethereum Smart Contracts, Cloud VM Scheduling, and Logic Locking. These problems are solved using polynomially timed reductions to 2 complexity classes: ...