@inproceedings{DGV08,
   author =    {M. Dalla Preda and R. Giacobazzi and E. Visentini},
   title =     {Hiding software watermarks in loop structures},
   booktitle = {Proc.\ of The 15th International 
                Static Analysis Symposium, SAS'08},
   year =      2008,
   series =    {Lecture Notes in Computer Science},
   editor = {M. Alpuente},
   publisher = {Springer-Verlag},
   volume   =  {5079},
   pages   =   {174-188}}