Miguel Quaresma | Ph.D researcher in high performance, formally verified cryptography. Endurance athlete focusing on trail running, cycling and triathlons.

Posts

Apr 16, 2020
Docker Primer
Apr 11, 2020
Setting up OPTEE and Linux for the Pine A64