Concepedia

Tiago Oliveira

TO

9

Publications

297

Citations

9

H-Index

2017

Active since

Affiliations

INESC TEC(Current)

Universidade do Porto

Max Planck Institute for Security and Privacy

University of Minho

University of Lisbon

Tiago Oliveira is an author at INESC TEC specializing in engineering, data security, and cryptography.

Top concepts

EngineeringCryptographyData SecurityComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationComputer EngineeringInformation Security

Publications per year

2017–2023

9

Publications

9

Jasmin

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · 2017 · 101 citations · Full text

Cryptographic Primitive, Engineering, Verification +17

PV Hosting Capacity Dependence on Harmonic Voltage Distortion in Low-Voltage Grids: Model Validation with Experimental Data

Tiago Oliveira, Pedro M. S. Carvalho, Paulo F. Ribeiro et al. · Energies · 2018 · 51 citations · Full text

Engineering, Active Filters, Virtual Power Plant +17

Machine-Checked Proofs for Cryptographic Standards

José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa et al. · 2019 · 29 citations · Full text

Cryptographic Primitive, Engineering, Information Security +21

High-Assurance Cryptography in the Spectre Era

Gilles Barthe, Sunjay Cauligi, Benjamin Grégoire et al. · 2021 · 28 citations

Cryptographic Primitive, Engineering, Information Security +22

Wind power and CO2 emissions in the Irish market

Tiago Oliveira, Celeste Varum, Anabela Botelho · Energy Economics · 2018 · 20 citations

Economics, Carbon Emission Trading, Engineering +6

Rows per page

1–5 of 9