# Tag Info

7

This is identical with CTR mode encryption with a MAC. That's known to be secure. It doesn't say in your question if: the Ai blocks are completely unique; the header is included in the MIC calculation. If those preconditions are met then I don't see any issue with the protocol. The first one I cannot verify but seems likely, the second one is certainly ...

4

At least for compiled languages it should also be possible to have tools that perform static analysis on machine code, shouldn't it? Indeed, such tools exist. There are companies specialized in this domain which provide this kind of tools (see this datasheet for example). But you should note that an only software tool will not be able to detect all ...

1

newR: [ -1, 1, 1, 0, -1, 0, 1, 0, 0, 1, -1 ] This polynomial is $f = -x^{10} + x^9 + x^6 - x^4 + x^2 + x - 1$ where you wanted: $f=x^{10}+x^9+x^6−x^4+x^2+x−1$ The sign for the $x^{10}$ was opposite. Your algorithm/code is actually correct. See the following calculation from sage: sage: f -x^10 + x^9 + x^6 - x^4 + x^2 + x - 1 sage: f_inv 30*x^10 ...

Only top voted, non community-wiki answers of a minimum length are eligible