Multi-party computation (MPC) is a field of study focused on devising cryptographic protocols that allow participants to learn the output of some function of their private inputs without trusting a third party to perform the computation. This is usually done at a large scale between data centers, with little emphasis...
Signal Temporal logic(STL) provides a convenient framework to describe various system properties over time. While there has been extensive research on verification and control synthesis from STL requirements, a lot of them revolve around the time-domain analysis. So, there are still some questions properly unaddressed like what is the frequency...
The rapid population growth in large urban cities has led to an unprecedented increase in both the number and the diversity of wireless devices and applications with varying quality of service requirements in terms of latency and data rates. LinkNYC is an example of an urban communication network infrastructure, which...
Substations are a crucial element at the transmission and distribution level of electric power systems. The primary substation equipment (power transformers and high voltage switching equipment) is used to transfer and transform electric energy by stepping up or down the voltage in transmission substations. Secondary equipment (such as IEDs, Intelligent...
Mobile video streaming has become an essential application in mobile wireless networks,making up most of the mobile data of today’s Internet traffic. Studies have shown that mobile video data is projected to make up about 78 percent of the global mobile data traffic, and that global mobile data traffic is...
Dynamic modeling is key to the successful operation and reliability of electrical grids by evaluating transient stability. Developing dynamic load models and identifying where they are necessary is a challenging task as loads are an aggregation of individual devices that change throughout the year. This thesis investigates how to develop...
CoprHD is an open source software-defined storage and API platform which creates an abstraction layer over multi-vendor heterogeneous storage systems. It offers the ability to discover, pool and automate the management of the storage ecosystem with the help of storage drivers establishing connections between CoprHD and storage systems. On the...
CoprHD is an open source software defined storage controller platform. It holds an inventory of all storage devices in the data center and understands their connectivity. It is an operating system for a storage cloud. It is designed with two key goals in mind:
• Make an enterprise or a...
Deep neural networks currently comprise the backbone of many applications where safety is a critical concern, for example: autonomous driving and medical diagnostics. Unfortunately these systems currently fail to detect out-of-distribution (OOD) inputs and can be prone to making dangerous errors when exposed to them. In addition, these same systems...
Deep learning is now being utilized widely in applications where sensitive data is being used for model training, for example, in health care. In this scenario, any data leakage will cause privacy concerns to whose data records are used to train the model. An attacker can actively cause privacy leakage...