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

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

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

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

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

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