Publications
View Mike Hicks’ academic publications by year or category, plus links to DBLP and Google Scholar.
Explore research areas in software security, programming languages, and testing. View publications, collaborators, and professional activities.
Written by Mike Hicks
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.