Completeness and incompleteness in Abstract Interpretation
389
32.4
Microsoft Research330 тыс
Следующее
07.07.16 – 3661:03:33Популярные
01.02.23 – 7 2945:27
01.12.22 – 37219:27Опубликовано 7 июля 2016, 22:41
Completeness and incompleteness in Abstract Interpretation: A model for information concealment in code protection
We will consider completeness and incompleteness of abstract interpretation as models for understanding the phenomenon of hiding information in code protecting transformations and white-box cryptography in a MATE (Man-At-The-End) attack scenario. This is the case in software watermarks and code obfuscation. These code transformations will be are devoted to force incompleteness with respect to an attacker which is modeled as an abstract interpreter. The potency of an attacker consist here in its ability to extract a complete view of program's execution. The model is general enough to include generic static and dynamic attacks. Known protecting transformations will be systematically derived and implemented by specializing a "distorted" interpreter with respect to the source code to protect. Interestingly the distortion required to protect the code corresponds precisely (and systematically) to the potency of the expected attacker in a clean mathematical correspondence.
We will consider completeness and incompleteness of abstract interpretation as models for understanding the phenomenon of hiding information in code protecting transformations and white-box cryptography in a MATE (Man-At-The-End) attack scenario. This is the case in software watermarks and code obfuscation. These code transformations will be are devoted to force incompleteness with respect to an attacker which is modeled as an abstract interpreter. The potency of an attacker consist here in its ability to extract a complete view of program's execution. The model is general enough to include generic static and dynamic attacks. Known protecting transformations will be systematically derived and implemented by specializing a "distorted" interpreter with respect to the source code to protect. Interestingly the distortion required to protect the code corresponds precisely (and systematically) to the potency of the expected attacker in a clean mathematical correspondence.
Свежие видео
4 дня – 1 1613:41
5 дней – 80 95814:12
9 дней – 1 00319:00
10 дней – 1 021 3000:30
Случайные видео
198 дней – 1281:29
220 дней – 20 11036:08
30.07.23 – 5 7304:29
20.04.22 – 2 0226:29
02.01.20 – 6641:14:42
08.11.06 – 114 6011:01
1 день – 1 7020:16
3 дня – 7 41111:56
4 дня – 1 8450:56
5 дней – 3 9642:55
9 дней – 5717:37
10 дней – 3 1302:12
13 дней – 8 4600:16
2 дня – 19 76014:01
