Portrait of Luís Ferreirinha

Luís Ferreirinha

PhD Student at PLSec, Vrije Universiteit Amsterdam

Amsterdam, The Netherlands

I build type systems for assembly and prove binaries safe in zero-knowledge.

l.p.felixferreirinha@vu.nl

01about

Hello! I am a PhD Student at the PLSec group at Vrije Universiteit Amsterdam, currently advised by Klaus von Gleissenthall. My research focuses on formal verification and security, with a particular interest in assembly language and type systems.

I am currently working on a project that aims to bring zero-knowledge proofs to the world of binaries: providing type-checking proofs for typed binaries in zero-knowledge via zkSNARK proofs, enabling safety proofs for proprietary applications that are easy and fast to verify.

Research Topics
  • Formal Verification
  • Model Checking
  • Type Systems
  • Binary Analysis
  • Zero-Knowledge Proofs
  • Vulnerability Detection
  • Binary Patching
Languages
  • Rust
  • Haskell
  • Python
  • C

02news

  1. 2026

    BASICS published in Computers & Security.

  2. 2025

    Presented zkTAL at CompSys 2025, Utrecht.

  3. 2024

    Started my PhD at VU Amsterdam.

03posts

04publications

  • 2026

    BASICS: Binary Analysis and Stack Integrity Checker System for buffer overflow mitigation

    Luís Ferreirinha, Ibéria Medeiros

    Journal Computers & Security PDFDOIBIBTEXCODE
  • 2025

    zkTAL: Type Checking Assembly in Zero-Knowledge

    Luís Ferreirinha, Klaus v. Gleissenthall

    Short paper CompSys 2025 PDFSLIDES
  • 2024

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

    Luís Ferreirinha, Ibéria Medeiros

    Conference ENASE 2024 PDFSLIDESBIBTEX

05education

  • 2024

    MSc Informatics · University of Lisbon

    Thesis: Removal of Vulnerabilities in Binary Code by Program Model Checking and Concolic Execution PDF

  • 2022

    BSc Physics · University of Lisbon

    Minor in Informatics