Luís Ferreirinha

Luís Ferreirinha

PhD Student in Computer Science

About Me

Luís Pedro Félix Ferreirinha, is a PhD student at Vrije Universiteit Amsterdam, researching formal methods for software verification under the supervision of Professor Klaus von Gleissenthall. He holds a Master's degree in Computer Science from the Faculty of Sciences of the University of Lisbon, and a Bachelor's degree in Physics from the same institution. His previous research focused on the application of model checking to binary programs, with the goal of detecting and correcting buffer overflow vulnerabilities.

Research

  • Software Verification
  • Formal Methods
  • Model Checking
  • Type Theory
  • Programming Languages
  • Compilers
  • Vulnerability Discovery
  • Reverse Engineering

    • Publications

    Conferences

    2024

  • Ferreirinha, L. and Medeiros, I. (2024). On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ISBN 978-989-758-696-5, ISSN 2184-4895, pages 717-724. (paper)

    • Talks

    2024

  • On the Path to Buffer Overflow Detection by Model Checkging the Stack of Binary Programs. ENASE 2024 Conference, Angers, France (presentation)

    • Contact

    Faculty of Science

    Department of Computer Science

    NU Building, Vrije Universiteit Amsterdam

    The Netherlands

    l.p.felixferreirinha@vu.nl

    ResearchGate

    Orcid

    GitHub

    LinkedIn