@misc{cryptoeprint:2008:508,
    author = {Fabrice J.P.R. Pautot},
    title = {Some Formal Solutions in Side-channel Cryptanalysis - An Introduction},
    howpublished = {Cryptology ePrint Archive, Report 2008/508},
    year = {2008},
    url = {http://eprint.iacr.org/2008/508},
}