Welcome to my homepage!

    My name is Filipe Rosado da-Fonseca and I'm from Lisbon, Portugal.

    Currently, I'm doing research on cryptography. Specifically, I'm trying to establish a bridge between the theory of cryptosystems' creation and the way the latter are securely implemented against side-channel attacks (SCAs) in hardware. In other words, my research aims creating a theoretical model in which cryptosystems can be tested against SCAs.

    This model (SCA1 Model) defines the inner workings of the hardware used to test cryptosystems against SCAs. In addition, it defines an oracle that the adversary calls when he wants to undertake SCAs.

    The SCA1 Model allows the adversary to undertake both simple- and differential-side-channel attacks against the cryptosystems to test. To help cryptosystems' designers counteracting those attacks, the model assumes that the functions made available by the cryptographic hardware's APIs are securely protected (to some extent) against SCAs.

    Accordingly, in this model, the aim of the cryptosystems' designers is to use the functions made available by the latter APIs in such a way that the cryptosystems created by them do not leak any information through side-channels. Hence, the main aim of the SCA1 Model is helping the persons that create cryptosystems into creating cryptosystems that, from the beginning, are created to be secure against SCAs.

    I hope you have found the main topic of my research interesting. If that's so, then my papers/reports can be found here; my resumé can be found here; and my PGP's Public Keys can be found here.