◀ Click to filter
Luis D. PedrosaProfessor Auxiliar | DPSS
Total displayed: 16
Order by:
- Synthesizing Adaptable Network Functions
Rui Miguel Carvalho Marques
Luis D. Pedrosa (advisor), Fernando M. V. Ramos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2022 - SPIN: Synthesizing Performance Improvements for Network Functions
Francisco Pereira
Luis D. Pedrosa (advisor)
Fernando M. V. Ramos (coadvisor), Justine Sherry (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
Carnegie Mellon University
2021 - SPIN: Synthesizing Performance Improvements for Network Functions
Francisco Pereira
Luis D. Pedrosa (advisor)
Fernando M. V. Ramos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021
- SALAD-Nets – Synthesizing Adaptive Large-scale Accelerated and Distributed Network Functions
Pedro Ricardo Mateus
Luis D. Pedrosa (advisor), Fernando M. V. Ramos (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2025 - SecNet - Developing Secure Networks for Defense Systems on standard PCs
Guilherme Baracho
Ricardo Chaves (advisor)
Luis D. Pedrosa (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2024 - Development of an Internet-SCION translator, towards a secure Internet
João Ivo
Fernando M. V. Ramos (advisor)
Luis D. Pedrosa (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2024 - Projeto: NEAT – Network Emulator for Applied Teaching
José Maria Costa Luís Cardoso
Fernando M. V. Ramos (advisor)
Luis D. Pedrosa (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2024 - YAHO - Yet Another Homomorphic Optimiser
Guilherme Baeta Campos da Rocha Fontes
Luis D. Pedrosa (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - VeriBoot - A Formally Verified Bootloader for Aerospace Applications
Miguel Crespo
Luis D. Pedrosa (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - Clone Synthesizing Cloud Network Functions
David Baptista
Luis D. Pedrosa (advisor)
Fernando M. V. Ramos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - Finding Vulnerabilities in Satellite Controllers using Code Property Graphs
André Grilo
Luis D. Pedrosa (advisor)
André Souto (coadvisor)
Faculdade de Ciências, Universidade de Lisboa
2022 - YAHO - Yet Another Homomorphic Optimiser
Guilherme Fontes
Luis D. Pedrosa (advisor)
Carlos Nuno da Cruz Ribeiro (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2022 - NF Composition Synthesis
Pedro Moreira
Luis D. Pedrosa (advisor)
Fernando M. V. Ramos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021 - Programmable Networking Testbed Management System
Steven Das
Luis D. Pedrosa (advisor)
Fernando M. V. Ramos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2021 - Synthesis of Network Switch Programs
Francisco Machado
Luis D. Pedrosa (advisor)
Fernando M. V. Ramos (coadvisor)
Instituto Superior Técnico, Universidade de Lisboa
2020 - Parallel NF Synthesis
Francisco Pereira
Luis D. Pedrosa (advisor)
Departamento de Engenharia Informática, Instituto Superior Técnico, Universidade de Lisboa
2019 - Parallel NF Synthesis
Francisco Pereira
Luis D. Pedrosa (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2019 - Protocol Translation Synthesis
Joao Leitao
Luis D. Pedrosa (advisor)
Instituto Superior Técnico, Universidade de Lisboa
2019
- Internship
Rui Miguel Carvalho Marques
Fernando M. V. Ramos (advisor)
Luis D. Pedrosa (coadvisor)
INESC-ID Lisboa
2022