Nov 2023 Our Dynodroid paper got Test of Time Award.
Jun 2023 NSF SaTC Medium for Security Verification of CI Workflows.
Mar 2023 Amazon ARA Award for Security Verification of CI Workflows.