Pablo Martín Robledillo

Test and debugging of a modified version of Rocket Chip SoC that will be used to evaluate a Meltdown-style attack running on Linux.

Research assistance with an FPGA Mezzanine Card featuring the transceiver AD9361 connected to a WR-ZEN board (Xilinx Zynq-7000).

Master Thesis (30 ECTS): Evaluation of ORC Attack against Memory Isolation in a Linux-based RISC-V System Evaluation of the ORC Attack, a hardware security vulnerability attack for in-order pipelines without speculative execution, running on top of Linux and on real embedded hardware (Embedded Linux OS, Rocket Chip microprocessor, Nexys-A7 FPGA).

Bachelor Thesis (12 ECTS): Implementation of Safety Algorithms for Wireless Sensor Networks Implementation in FPGA (Altera Cyclone II) of a system destined to establish an encrypted communication with other devices of a wireless sensor network using Elliptic Curve Cryptography. A proof of concept was developed to establish an encrypted communicaton between the FPGA board and MATLAB.