Paulo Martins has completed both his Master’s and PhD degrees at Instituto Superior Técnico. He had the highest grade among the students finishing the Master’s degree in Electrical and Computer Engineer in 2013/2014 and concluded his PhD with Summa Cum Laude, a maximum grade awarded to less than 10% of the doctoral theses. His research work mostly focuses on the intersection between computer arithmetic and cryptography, having contributed to the field of the Residue Number System (RNS), and multiple areas of cryptography, such as post-quantum cryptography, Direct Anonymous Attestation (DAA) and Homomorphic Encryption (HE). Part of his research was conducted in collaboration with the Laboratoire d’informatique de Paris 6 (LIP6). Amongst the contributions of his 25 publications, one can highlight: the development of practical subquadratic modular multiplication for isogeny-based cryptography, the acceleration of post-quantum Oblivious Transfer (OT) with application to Private Set Intersection, the improvement of the DAA protocol both in terms of storage requirements and the time taken to execute it, and efficient algorithm-hiding Fully Homomorphic Encryption (FHE).
He enjoys bringing his developments to practical applications, having, for instance, participated in the FutureTPM, a 4.8m€ project financed by the European Commission that aims at the design of post-quantum cryptography suitable for integration with the Trusted Platform Module (TPM). He has had industrial experience by partaking in an internship at Samsung Research United Kingdom (SRUK), that resulted in the submission of two patents. He later worked as a security engineer at SRUK, supporting the certification of Samsung Android smartphone and tablet devices with Samsung Knox. Currently, he is part of the team that develops the Trust Management Engine (TME) at Qualcomm. The TME is the root of trust of Qualcomm chipsets, underpinning functionality such as secure boot and remote authentication.
If you’d like to talk to me about new developments in computer arithmetic, cryptography, or any other topic, feel free to reach me at paulo.sergio [at] netcabo.pt !