Mike Hicks’ professional service activities, including conference committees, editorial roles, and leadership positions.

Information about Mike Hicks’ research group, including previous students, postdocs, and collaborators.

The Cedar policy language for authorization, and verification-guided development methodologies for building high-assurance systems.

Research on measuring and improving cybersecurity practices, developer behavior, and end-user impact.

Research on fuzzing, property-based testing, and their combination to improve software quality and security.

This seminar course explores how to assess the technology and practices that aim to enhance computer security and privacy. A key theme is understanding how to measure whether security and privacy goals have been achieved. We read and discuss papers from the research literature, learn about promising measurement and data analysis techniques, and surface gaps to find opportunities to do better.

View Mike Hicks’ academic publications by year or category, plus links to DBLP and Google Scholar.

This seminar course explores how to assess the technology and practices that aim to enhance computer security and privacy. A key theme is understanding how to measure whether security and privacy goals have been achieved. We read and discuss papers from the research literature, learn about promising measurement and data analysis techniques, and surface gaps to find opportunities to do better.