Luís Ferreirinha

:: PhD Student → Researcher

VU Amsterdam

Amsterdam, NL

Connect on Linkedin

l.p.felixferreirinha@vu.nl

ORCID

ResearchGate

about.txt

$ cat about.txt

research_topics :: [Formal Verification, Model Checking, Type Systems, Binary Analysis, Zero-Knowledge Proofs, Vulnerability Detection, Binary Patching]

λ Posts

13 May 2025
A Case for a Typed Assembly Language

λ Publications

-- ShortPaper :: Publication

zkTAL: Type Checking Assembly in Zero-Knowledge

Luís Ferreirinha, Klaus v. Gleissenthall

CompSys 2025

PDF

-- ConferencePaper :: Publication

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

∀ τ. well-typed programs → cannot go wrong

languages :: [Rust, Haskell, Python, C]