@misc{ SS15,
  author        = {Julien Schmaltz and Peter Schwabe},
  title         = {Verification of optimised 48-bit multiplications on AVR},
  year          = {2015},
  note          = {\url{https://cryptojedi.org/papers/\#avrverif}},
}