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 条
  • [1] An abstract interpretation-based framework for software watermarking
    Cousot, P
    Cousot, R
    ACM SIGPLAN NOTICES, 2004, 39 (01) : 173 - 185
  • [2] Abstract interpretation-based semantic framework for software birthmark
    Zeng, Ying
    Liu, FenLin
    Luo, XiangYang
    Lian, ShiGuo
    COMPUTERS & SECURITY, 2012, 31 (04) : 377 - 390
  • [3] Abstract Interpretation-Based Protection
    Giacobazzi, Roberto
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2010, 5944 : 23 - 24
  • [4] Semantics-based software watermarking by abstract interpretation
    Dalla Preda, Mila
    Pasqua, Michele
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (02) : 339 - 388
  • [5] An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
    Kinder, Johannes
    Zuleger, Florian
    Veith, Helmut
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 : 214 - 228
  • [6] Abstract interpretation-based certification of assembly code
    Rival, X
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 41 - 55
  • [7] An abstract interpretation-based model for safety semantics
    Mastroeni, Isabella
    Giacobazzi, Roberto
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2011, 88 (04) : 665 - 694
  • [8] Abstract interpretation-based mobile code certification
    Albert, E
    Puebla, G
    Hermenegildo, M
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 446 - 447
  • [9] Abstract interpretation-based static safety for actors
    Garoche, Pierre-Loïc
    Pantel, Marc
    Thirioux, Xavier
    Journal of Software, 2007, 2 (03) : 87 - 98
  • [10] An abstract interpretation-based timing validation of hard real-time avionics software
    Thesing, S
    Souyris, J
    Heckmann, R
    Randimbivololona, F
    Langenbach, M
    Wilhelm, R
    Ferdinand, C
    2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 625 - 632
12345