<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<article key="journals/scp/AlmeidaBPV13" mdate="2021-02-17">
<author orcid="0000-0003-0011-7455">Jos&#233; Bacelar Almeida</author>
<author orcid="0000-0002-6848-5564">Manuel Barbosa</author>
<author orcid="0000-0002-0892-3577">Jorge Sousa Pinto</author>
<author>B&#225;rbara Vieira</author>
<title>Formal verification of side-channel countermeasures using self-composition.</title>
<pages>796-812</pages>
<year>2013</year>
<volume>78</volume>
<journal>Sci. Comput. Program.</journal>
<number>7</number>
<ee type="oa">https://doi.org/10.1016/j.scico.2011.10.008</ee>
<url>db/journals/scp/scp78.html#AlmeidaBPV13</url>
</article></dblp>
