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: 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: Digital Health; Mobile, Wearable, and Wireless Sensing Systems; Artificial Intelligence for Healthcare; Brain-Computer Interfaces; Digital Twins; Biometrics; Cybersecurity, Privacy, and Trustworthy AI

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