Portrait of Luís Ferreirinha

Luís Ferreirinha

PhD Student at PLSec, Vrije Universiteit Amsterdam

Amsterdam, The Netherlands

About

about.txt

$ cat about.txt

Research Topics
  • Formal Verification
  • Model Checking
  • Type Systems
  • Binary Analysis
  • Zero-Knowledge Proofs
  • Vulnerability Detection
  • Binary Patching

Posts

Publications

short-paper

zkTAL: Type Checking Assembly in Zero-Knowledge

Luís Ferreirinha, Klaus v. Gleissenthall

CompSys 2025

PDF
conference-paper

On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs

Luís Ferreirinha, Ibéria Medeiros

ENASE 2024

PDF BIBTEX

Talks

zkTAL: Type Checking Assembly in Zero-Knowledge

CompSys 2025, Utretch, The Netherlands
SLIDES

On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs

ENASE 2024, Angers, France
SLIDES

Education

MSc Informatics

University of Lisbon

Sept 2024

  • Removal of Vulnerabilities in Binary Code by Program Model Checking and Concolic Execution (Dissertation)

BSc Physics

University of Lisbon

Jul 2022

Minor in Informatics

Skills

Languages
  • Rust
  • Haskell
  • Python
  • C