Weird machines: обнаружение скрытых вычислений через symbolic execution, fuzzing и формальные методы
В 2013 году Bangert et al. показали на USENIX WOOT штуку, от которой у меня до сих пор мурашки: Тьюринг-полную вычислительную систему, построенную...