João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
Nuno Saavedra
Latest
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
Cite
×