---
type: Article
title: Research Projects in Formal Verification
description: Research projects involving James Ortiz, including TAPAS and work on security-protocol analysis, software product-line variability, and timed-system verification.
resource: https://jamesortiz.site/en/projects
tags: [tapas, anr, security-protocols, variability]
timestamp: 2026-08-15
---

# Projects

James Ortiz works on research projects in formal verification of security protocols, software product-line variability, and timed systems. The flagship project is TAPAS (ANR, 2024–2027), where he is Principal Investigator.

## TAPAS

**Trustworthy Automated Protocol Analysis for Security.** Funded by ANR (French National Research Agency), 2024–2027. Role: Principal Investigator.

Developing advanced formal methods tools for automated verification of security protocols in distributed systems. [ANR project page](https://anr.fr/project/tapas).

## Scaling Up Variability

Funded by EU Horizon Europe, 2023–2026. Role: Co-Investigator.

Addressing the challenge of variability in large-scale software systems through formal modeling and analysis techniques.

## SecureIoT

Funded by the Belgian Science Foundation, 2020–2023. Role: Researcher.

Security analysis and verification for Internet of Things devices and protocols. Developed techniques for detecting vulnerabilities in constrained environments.

## Related

- [James Ortiz](person.md)
- [Research](research.md)
- [Experience](experience.md)
- [Publications](publications.md)