Concepedia

Raphel Ernani Rodrigues

RE

1

Publications

57

Citations

1

H-Index

2013

Active since

Affiliations

Universidade Federal de Minas Gerais(Current)

Raphel Ernani Rodrigues is an author at Universidade Federal de Minas Gerais specializing in programming languages, software analysis, and data security.

Top concepts

CompilersEngineeringCryptographyVerificationData SecurityFormal MethodsBinary AnalysisStatic AnalysisComputer ScienceHardware Systems

Publications per year

2013–2013

1

Publications

1

A fast and low-overhead technique to secure programs against integer overflows

Raphel Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira · 2013 · 57 citations

Cryptographic Primitive, Engineering, Information Security +32

Rows per page

1–1 of 1