Computer Security and Cryptography

Research Topics: Applied cryptography; information security; privacy-preserving computation and outsourcing

Research Topics: Software/systems security and software engineering; program analysis and testing; machine learning for security; security and reliability of multi-language software, distributed systems, and mobile/IoT systems and applications

Research Topics: Programming languages; epistemic logic; type theory; concurrency; language-based security; information-flow control

Research Topics: Emerging network technologies and security, machine learning for security and privacy, security and privacy in IoT and CPS, security and privacy in social networks, usable privacy and security

Research Topics: Emerging biometrics; human-computer interaction and cognitive science; cyber-physical security; neuromorphic computing; mobile and wearable computing; low-power sensing

Research Topics: Optimization; deep learning; foundation models; computer vision and machine learning

Research Topics: digital media forensics; computer vision; machine learning

Research Topics: Behavioral biometrics; computer security; distributed systems; fault-tolerant computing (hardware/software)

Research Topics: Algorithms; computational geometry; machine learning; differential privacy; geometric computing in deep learning and biomedical applications

Research Topics: Embedded and cyber-physical systems; body sensor networks; biomedical signal analytics; telemedicine; human-computer interaction

Research Topics: Interactive proof assistants; type theory and programming languages; program verification and synthesis; language-based security