A Formal Framework for Property-Driven Obfuscation Strategies-Reference-Cited by-同舟云学术

A Formal Framework for Property-Driven Obfuscation Strategies

Published:2013 Issue: Volume: Page:133-144
ISSN:0302-9743
Container-title:Fundamentals of Computation Theory
language:
Short-container-title:

Author:

Dalla Preda Mila,Mastroeni Isabella,Giacobazzi Roberto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40164-0_15

Reference16 articles.

1. Lecture Notes in Computer Science;H. Andéka,1989

2. Lecture Notes in Computer Science;B. Barak,2001

3. Collberg, C., Thomborson, C.D., Low, D.: Manufactoring cheap, resilient, and stealthy opaque constructs. In: ACM Symp. on Principles of Programming Languages (POPL 1998), pp. 184–196. ACM Press (1998)

4. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: ACM Symp. on Principles of Programming Languages (POPL 1977), pp. 238–252. ACM Press (1977)

5. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: ACM Symp. Principles of Programming Languages (POPL 1979), pp. 269–282. ACM Press (1979)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Stochastic Optimization of Program Obfuscation;2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE);2017-05

2. Testing android malware detectors against code obfuscation: a systematization of knowledge and unified methodology;Journal of Computer Virology and Hacking Techniques;2016-08-20

3. Towards better program obfuscation;Proceedings of the 38th International Conference on Software Engineering Companion;2016-05-14

4. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14