Luís F. Email & Phone Number

Lisbon, Portugal

- Drive micro-architectural design that takes security into account for a RISC-V superscalar out-of-order core.- Design, implement, and verify security features (Vector Crypto, Performance Counter Filtering, etc.).- Design, implement, and verify mitigations to Meltdown-Type attacks in a RISC-V micro-architecture.- Develop micro-architectural exploits.- Micro-Architectural Side-Channel Analysis and design mitigation.- Formal Verification of multiple modules: Fetch Unit, Branch Predictor, CSR Register File, etc.

Lisbon, Portugal

Research focus on transient-execution attacks, e.g., Meltdown and Spectre. I researched techniques on how a system should be designed with the assumption that all cores are insecure against transient-execution attacks. The assumption stems from not wanting to lower the performance of the core.I interpreted an attack as a two step process: 1) the attacker uses some mispredicted state to force the victim into revealing information;2) the victim then communicates the data through some covert channel. Therefore, if there is no communication channel then the attacker cannot recover the information sent by the victim.Most of my interest lied in covert channels in the cache hierarchy and how does one design a cache such that covert channels are difficult to setup.

- As a Research Assistant I was part of the FutureTPM European project.- Integrated multiple post-quantum cryptographic algorithms (Kyber, Dilithium, NTTRU, and LDDA) into the TPM software stack (TSS, emulator, and OpenSSL).- Provided guidance to possible future TPM hardware implementations using these algorithms.

London, Uk And Lisbon, Portugal

- Developed and designed a RISC-V CPU, codenamed Adept which targets bare metal applications and implements the RV32I instruction set. There are two configurations a 1‐Stage and a 3‐Stage in‐order configurations.- Developed the entire testing framework needed to ensure the processor is operating in a nominal state when implemented in an FPGA.- One of our clients was Maxeler Technologies, wherein I ported App Gallery applications in MaxJ to Amazon EC2 F1, and updated them to work on the latest Max5 boards.- Developed a tool which gathered data from implementation results (critical path and resource usage), and displayed them in a human readable format.

Lisbon, Portugal

- Won Energias de Portugal 2015.- Developed a prototype Android app, QStamp.- Built an interface that would allow the RFID tags, present in the food packaging, to talk to Firebase.- Implemented a base application in Arduino to monitor and control RFID tags.

Doctor Of Philosophy - Phd, Electrical And Computer Engineering

Master Of Science - Ms, Electrical And Computer Engineering