An abstract interpretation-based framework for software watermarking

被引：0
|
作者：
Cousot, Patrick [1 ]
Cousot, Radhia [2 ]
机构：
[1] Écl. Normale Sup., 75230 Paris Cedex 05, France
[2] CNRS, École Polytechnique, 91128 Palaiseau Cedex, France
来源：
Conf Rec Annu ACM Symp Princ Program Lang | / 173-185期
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Algorithms - Copyrights - Cryptography - Digital watermarking - Java programming language - Problem solving - Reliability theory - Semantics - Software engineering
引用
下载
收藏
相关论文
共 50 条
  • [41] A comparable code obfuscation framework measuring efficiency based on abstract interpretation
    Gao, Ying
    Chen, Yi-Yun
    Jisuanji Xuebao/Chinese Journal of Computers, 2007, 30 (05): : 806 - 814
  • [42] A robust software watermarking framework using shellcode
    Ayan Dey
    Shibashis Ghosh
    Sukriti Bhattacharya
    Nabendu Chaki
    Multimedia Tools and Applications, 2020, 79 : 2555 - 2576
  • [43] A robust software watermarking framework using shellcode
    Dey, Ayan
    Ghosh, Shibashis
    Bhattacharya, Sukriti
    Chaki, Nabendu
    MULTIMEDIA TOOLS AND APPLICATIONS, 2020, 79 (3-4) : 2555 - 2576
  • [44] Experiments in abstarct interpretation-based code certification for pervasive systems
    Albert, E
    Puebla, G
    Hermenegildo, M
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1125 - 1130
  • [45] CONCERTO: A Framework for Combined Concrete and Abstract Interpretation
    Toman, John
    Grossman, Dan
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [46] An abstract interpretation framework for analysing mobile ambients
    Levi, F
    Maffeis, S
    STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 395 - 411
  • [47] An Abstract Interpretation Framework for Type and Effect Systems
    Galletta, Letterio
    FUNDAMENTA INFORMATICAE, 2014, 134 (3-4) : 355 - 393
  • [48] TOWARDS A FRAMEWORK FOR THE ABSTRACT INTERPRETATION OF LOGIC PROGRAMS
    NILSSON, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 68 - 82
  • [49] An Abstract Interpretation framework for genotype elimination algorithms
    Lettieri, Giuseppe
    THEORETICAL COMPUTER SCIENCE, 2012, 436 : 87 - 105
  • [50] A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
    Kim, Se-Won
    Rival, Xavier
    Ryu, Sukyoung
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2018, 40 (03):
12345