• Decentralized information flow control for the robot operating system 

      Gameti, Chinmay
      The Robot Operating System (ROS) is a popular open-source middleware widely used in the robotics community. While ROS provides extensive support for robotic application develop- ment, it lacks certain fundamental security ...
    • Design, Implementation, and Analysis of a TLB-based Covert Channel on GPUs 

      Nayak, Ajay Ashok
      GPUs are now commonly available in most modern computing platforms. They are increasingly being adopted in cloud platforms and data centers due to their immense computing capability. In response to this growth in usage, ...
    • An Evaluation of Basic Protection Mechanisms in Financial Apps on Mobile Devices 

      Agrawal, Nikhil
      This thesis concerns the robustness of security checks in financial mobile applications (or simply financial apps). The best practices recommended by OWASP for developing such apps demand that developers include several ...
    • Experiences in using Reinforcement Learning for Directed Fuzzing 

      Malakar, Subhendu
      Directed testing is a technique to analyze user-specified target locations in the program. It reduces the time and effort of developers by excluding irrelevant parts of the program from testing and focusing on reaching ...
    • Fair and Efficient Dynamic Memory De-bloating 

      Gangar, Parth
      The virtual memory abstraction simplifies programming and enhances portability but requires the processor to translate virtual addresses to physical addresses which can be expensive. To speed up the virtual-to-physical ...
    • A Framework for Privacy-Compliant Delivery Drones 

      Beck, Rakesh Rajan
      We present Privaros, a framework to enforce privacy policies on drones. Privaros is designed for commercial delivery drones, such as the ones that will likely be used by Amazon Prime Air. Such drones visit a number of host ...
    • Model Extraction and Active Learning 

      Shukla, Aditya
      Machine learning models are increasingly being offered as a service by big companies such as Google, Microsoft and Amazon. They use Machine Learning as a Service (MLaaS) to expose these machine learning models to the ...
    • Privadome: A System for Citizen Privacy in the Delivery Drone Era 

      Pillai, Gokulnath
      E-commerce companies are actively considering the use of delivery drones for customer fulfillment, leading to growing concerns around citizen privacy. Drones are equipped with cameras, and the video feed from these cameras ...
    • A Trusted-Hardware Backed Secure Payments Platform for Android 

      Agarwal, Rounak
      Digital payments using personal electronic devices have been steadily gaining in popularity for the last few years. While digital payments using smartphones are very convenient, they are also more susceptible to security ...