Prateek Saxena

Prateek Saxena is an Associate Professor in the Computer Science Department at the National University of Singapore. His research focuses on computer security, with current projects addressing machine learning security, decentralized systems, privacy, and hardware architectures for security. Saxena holds a Ph.D. in Computer Science from the University of California, Berkeley, and has visited Microsoft Research Redmond. His work combines formal reasoning, tools, and ideas from multiple domains of computer science to build better security and privacy in practical systems. He has contributed to several research projects and publications in areas such as security, trustworthy AI, and programming languages.

Prateek Saxena is a researcher at the National University of Singapore, specializing in Computer Security and Programming Languages. His work focuses on enhancing the security of decentralized systems, smart contracts, and blockchain technologies. Saxena has contributed to the development of secure sharding protocols, methods for analyzing and mitigating vulnerabilities in blockchain systems, and tools for improving the security of web applications and browser extensions. His research also explores symbolic execution, binary analysis, and data-oriented programming to detect and prevent security threats. Saxena's publications highlight his commitment to advancing secure software development and protecting systems from emerging cyber threats.