APA Citation

Almeida, J. B., Barbosa, M., Pinto, J. S., & Vieira, B. (2011). Formal verification of side channel countermeasures using self-composition.

Chicago Style Citation

Almeida, José Bacelar, Manuel Barbosa, Jorge Sousa Pinto, and Bárbara Vieira. Formal Verification of Side Channel Countermeasures Using Self-composition. 2011.

MLA Citation

Almeida, José Bacelar, Manuel Barbosa, Jorge Sousa Pinto, and Bárbara Vieira. Formal Verification of Side Channel Countermeasures Using Self-composition. 2011.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.