Abstract | ||
---|---|---|
We put forward the first practical message authentication code MAC which is provably secure against continuous leakage under the Only Computation Leaks Information OCLI assumption. Within the context of continuous leakage, we introduce a novel modular proof technique: while most previous schemes are proven secure directly in the face of leakage, we reduce the leakage security of our scheme to its non-leakage security. This modularity, while known in other contexts, has two advantages: it makes it clearer which parts of the proof rely on which assumptions i.e. whether a given assumption is needed for the leakage or the non-leakage security and it also means that, if the security of the non-leakage version is improved, the security in the face of leakage is improved 'for free'. We conclude the paper by discussing implementations; one on a popular core for embedded systems the ARM Cortex-M4 and one on a high end processor Intel i7, and investigate some performance and security aspects. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-319-27239-9_18 | IACR Cryptology ePrint Archive |
DocType | Volume | ISBN |
Journal | 2013 | 978-3-319-27238-2 |
Citations | PageRank | References |
2 | 0.36 | 22 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel P. Martin 0001 | 1 | 6 | 2.62 |
Elisabeth Oswald | 2 | 197 | 17.67 |
Martijn Stam | 3 | 1659 | 67.36 |
Marcin Wójcik | 4 | 48 | 4.43 |