Concepedia

José Bacelar Almeida

JB

12

Publications

483

Citations

11

H-Index

2010

Active since

Affiliations

University of Minho(Current)

IMDEA Software Institute

Universidade do Porto

Microsoft Research (United Kingdom)

José Bacelar Almeida is an author at University of Minho specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceCryptographyData SecurityFormal MethodsSoftware AnalysisFormal VerificationVerificationProgram AnalysisHardware Security

Publications per year

2010–2019

12

Publications

12

Verifying constant-time implementations

José Bacelar Almeida, Manuel Barbosa, Gilles Barthe et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2016 · 143 citations · Full text

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

Cryptographic Primitive, Engineering, Verification +17

Formal verification of side-channel countermeasures using self-composition

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto et al. · Science of Computer Programming · 2011 · 47 citations · Full text

Hardware Security, Engineering, Cryptography +9

Certified computer-aided cryptography

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

Cryptographic Primitive, Engineering, Information Security +21

Full proof cryptography

José Bacelar Almeida, Manuel Barbosa, Endre Bangerter et al. · 2012 · 34 citations · Full text

Rows per page

1–5 of 12