Formal verification of side-channel countermeasures using self-composition release_k4jaosxejraejdgqhyfp6dcly4

by J. Bacelar Almeida, Manuel Barbosa, Jorge S. Pinto, Bárbara Vieira

Published in Science of Computer Programming by Elsevier BV.

2013   Volume 78, p796-812

Archived Files and Locations

application/pdf  314.6 kB
file_7jzuavfmffborn6fape5t7jnsm
repositorium.sdum.uminho.pt (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  478.4 kB
file_cm5wssz52rfrrlaepiqkdzrz2q
repositorium.sdum.uminho.pt (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2013
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0167-6423
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 972432fe-c9d6-4111-9cec-7a8f4e120ffc
API URL: JSON