Faculty working in this area
| Faculty | website | |
|---|---|---|
| Jeremy Blackburn | jblackbu@binghamton.edu | |
| Zeyu Ding | dding1@binghamton.edu | |
| Kanad Ghose | ghose@binghamton.edu | |
| Kartik Gopalan | kartik@binghamton.edu | |
| Yu (David) Liu | davidl@binghamton.edu | |
| Dmitry Ponomarev | dponomar@binghamton.edu | |
| Aravind Prakash | aprakash@binghamton.edu | |
| Adnan Siraj Rakin | arakin@binghamton.edu | |
| Guanhua Yan | ghyan@binghamton.edu | |
| Ping Yang | pyang@binghamton.edu |
Highlights in this area
researches a better understanding of how people behave online. He is particularly
interested in 鈥渂ad鈥 behavior and has studied how cheating spreads like a disease in
a social network of gamers, mis- and disinformation, online extremism and memes. As
part of this broader work, he is building practical tools and systems for large-scale
data collection and analysis with the project.
researches the intersection of data privacy, software security, machine learning and algorithmic fairness. The overarching goal of his work is to protect sensitive personal information from being leaked in unintended ways. His current research focuses on differential privacy and its interactions with software security, formal verification, numerical optimization, statistical inference and machine learning.
researches experimental computer systems, including virtualization, cloud computing, security, distributed systems and networks. He heads the Operating Systems and Networks (OSNET) Group, where he works with students on new ways to build and use virtual machines, containers and hypervisors. Some recent projects include virtualization for bare-metal cloud, live replacement of hypervisors, live migration and privacy-preserving VMs.
researches programming languages and software engineering (energy-aware programming languages, energy-efficient and power-aware language runtimes, energy-aware deep neutral networks), security (formal reasoning of software/hardware interfaces) and robotics (safety and reliability of UAVs).
researches the intersection of computer architecture and security. His group investigates hardware-supported techniques to protect computer systems from various attack vectors. He works on side-channel attacks, hardware-supported-malware detection, trusted execution environments, and secure processors and memory systems.
specializes in source code and binary program analysis with emphasis on security. His recent and ongoing projects include code instrumentation via compiler modifications and binary instrumentation to enforce security policies. His group also works on vulnerability analysis and hardware-software cohesive security.
focuses on unsupervised machine learning. His research group is dealing with three important research questions:
- How to improve the performance of deep learning model with limited data in a collaborative environment? The investigation also looks into the challenges of domain shift and domain generalization of data.
- What are the security challenges in such a collaborative un-supervised training scheme? His group is investigating potential defensive solutions as well.
- How to incorporate a wide range of hardware fault injection techniques from CPU, GPU and FPGA to evaluate ML security and privacy threats?
is interested in cybersecurity, particularly for large-scale networked and distributed systems. He directs the Cybersecurity Science Laboratory. Along with his students, he is working on mobile network security, IoT security, malware classification, intrusion detection, AI security and safety, and critical infrastructure protection.
researches information and systems security, privacy, AI-based security, trustworthy AI and virtual machine security. She is the director of the . Her recent projects focus on improving the accuracy, real-time responsiveness, robustness and explainability of AI-based security solutions.