Mark Sherman
Technical Director, Software Engineering Institute
Mark Sherman is the technical director of the Cyber Security Foundations group in the SEI’s CERT® Division at the Carnegie Mellon University Software Engineering Institute. His team focuses on foundational research on the life cycle for building secure software and on data-driven analysis of cybersecurity. Prior to joining CERT, Sherman was at IBM and various startups, working on mobile systems, integrated hardware-software appliances, transaction processing, languages and compilers, virtualization, network protocols, and databases. He has published more than 50 papers on various topics in computer science.
Education
1983 Ph.D. in Computer Science, Carnegie Mellon University
1979 M.S. in Computer Science, Carnegie Mellon University
1977 S.B. in Mathematics, Electrical Engineering, and Computer Science, Massachusetts Institute of Technology
Affiliations
Research Interests
- AI and ML for security
- Applications of security and privacy
- automotive and transportation security and privacy
- blockchain
- cryptography
- cyber physical systems security and privacy
- cybersecurity + privacy
- embedded systems security
- Formal methods
- formal methods for security
- hardware security
- language-based security
- Measurement and analysis
- ML and AI
- security of AI and ML
- software security
- systems security
- threat analysis and modeling