Re:Apple's plan to “think different” about encryption opens ...
by asddubs on Saturday August 07, 2021 @05:44AM
(#28097242)
sure it's undecidable, you can reduce a decider for the word problem to that pretty easily, but in practice you probably only have to recognize a few common compilers to do a good enough job
[ Parent
| on HN ]
Re:Apple's plan to “think different” about encryption opens ...
by agent327 on Saturday August 07, 2021 @06:33AM
(#28097482)
But the viral property that makes this attack so insidious is, in the end, not sufficiently viral: the compiler will eventually drift away (as a consequence of it being developed further, of course) from the patterns it recognizes. The attack is not as dangerous as it sounds.
Re:Apple's plan to “think different” about encryption opens ...
by asddubs on Saturday August 07, 2021 @06:38AM
(#28097510)
I'm not really arguing that too much, since it's a pretty elaborate and finnicky thing ultimately, although I would wager to say that you could probably find patterns to recognize and modify clang/gcc/other relatively stable compilers for a long time to come (assuming no active mitigations against it)