Designing a Robust Controller for Obfuscating a Computer’s Power

Maya [1] is a new security defense that uses formal control to obfuscate the power side channels of a computer. This technical report describes the procedure to design the formal controller in Maya necessary for reshaping a computer’s power. The controller is designed with robust control theory principles and the design process is semi-automated with software like Matlab. This technical report includes the Matlab code required to design the controller.