bib/biblioand.bib

   1 % This file was created with JabRef 2.3.1.
   2 % Encoding: ANSI_X3.4-1968
   3
   4 @INPROCEEDINGS{rifq/others03,
   5                     author = {Rifqi, Maria and Detyniecki, Marcin and Bouchon-Meunier, Bernadette},
   6                x-lip6teams = {APA},
   7                   x-lip6id = {4425},
   8   x-international-audience = {yes},
   9                      title = {{D}iscrimination power of measures of resemblance},
  10                  booktitle = {{IFSA}'03},
  11                       year = {2003},
  12                   location = {Istanbul, Turkey}
  13 }
  14
  15
  16 @ARTICLE{Rifqi:2000:DPM:342947.342970,
  17                     author = {Rifqi, Maria and Berger, Vincent and Bouchon-Meunier, Bernadette},
  18                x-lip6teams = {APA},
  19                   x-lip6id = {4417},
  20   x-international-audience = {yes},
  21                      title = {{D}iscrimination power of measures of comparison},
  22                    journal = {{F}uzzy {S}ets and {S}ystems},
  23                     volume = {110},
  24                       year = {2000},
  25                      pages = {189-196}
  26 }
  27
  28
  29
  30 @book{Anderberg-Cluster-1973,
  31   added-at = {2008-10-29T00:31:48.000+0100},
  32   author = {Anderberg, M. R.},
  33   biburl = {http://www.bibsonomy.org/bibtex/2f586cc49441c591f06539d11d3e06006/kirylenka},
  34   interhash = {a94e1d2f9a5f6cf6c2e7822f789040b0},
  35   intrahash = {f586cc49441c591f06539d11d3e06006},
  36   keywords = {cluster_analysis wismasys0809},
  37   publisher = {Academic Press},
  38   timestamp = {2008-10-29T00:31:48.000+0100},
  39   title = {Cluster Analysis for Applications},
  40   year = 1973
  41 }
  42
  43
  44
  45 @article{yule1950introduction,
  46         Author = {Yule, G.U. and Kendall, MG},
  47         Date-Added = {2009-08-14 22:16:50 -0500},
  48         Date-Modified = {2009-08-14 22:16:50 -0500},
  49         Journal = {Statistics},
  50         Title = {An Introduction to the Theory of},
  51         Year = {1950}}
  52
  53
  54 @inproceedings{fgb11:ip,
  55 inhal = {no},
  56 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
  57 equipe = {and},
  58 classement = {ACTI},
  59 author = {Friot, Nicolas and Guyeux, Christophe and Bahi, Jacques},
  60 title = {Chaotic Iterations for Steganography - Stego-security and chaos-security},
  61 booktitle = {SECRYPT'2011, Int. Conf. on Security and Cryptography. SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications},
  62 pages = {218--227},
  63 address = {Sevilla, Spain},
  64 editor = {Javier Lopez and Pierangela Samarati},
  65 publisher = {SciTePress},
  66 month = jul,
  67 year = 2011,
  68
  69 }
  70
  71
  72 @ARTICLE{Cayre2008,
  73   author = {Cayre, F. and Bas, P.},
  74   title = {Kerckhoffs-Based Embedding Security Classes for WOA Data Hiding},
  75   journal = {IEEE Transactions on Information Forensics and Security},
  76   year = {2008},
  77   volume = {3},
  78   pages = {1--15},
  79   number = {1},
  80   doi = {10.1109/TIFS.2007.916006},
  81   issn = {1556-6013},
  82   keywords = {cryptography, random sequences, spread spectrum communication, telecommunication
  83         security, watermarking, Kerckhoffs-based embedding security classes,
  84         WOA Data Hiding, pseudorandom sequences, spread-spectrum techniques,
  85         steganography security, watermark-only-attack, watermarking, Security,
  86         spread-spectrum (SS) watermarking},
  87   owner = {guyeux},
  88   timestamp = {2009.06.29}
  89 }
  90 @INPROCEEDINGS{Perez06,
  91   author = {Perez-Freire, Luis  and Pérez-Gonzalez, F.  and Comesaña, Pedro },
  92   title = {Secret Dither Estimation in Lattice-Quantization Data Hiding: A Set-Membership
  93         Approach},
  94   booktitle = {Security, Steganography, and Watermarking of Multimedia Contents, San Jose, California},
  95   year = {2006},
  96   volume =6072,
  97   pages={1--12},
  98   month = jan,
  99   publisher = spie,
 100   address = spie_loc
 101 }
 102
 103
 104
 105 @ARTICLE{Cayre2005,
 106   author = {Cayre, F. and Fontaine, C. and Furon, T.},
 107   title = {Watermarking security: theory and practice},
 108   journal = {IEEE Transactions on Signal Processing},
 109   year = {2005},
 110   volume = {53},
 111   pages = {3976--3987},
 112   number = {10},
 113   keywords = {blind source separation, cryptography, watermarking, Fisher information
 114         matrix, blind source separation, cryptanalysis, information theory,
 115         spread spectrum techniques, substitutive scheme, watermarking security,
 116         Blind source separation, Fisher information matrix, equivocation,
 117         security, watermarking}
 118 }
 119
 120
 121
 122 @inproceedings{Shujun1,
 123   author = {Li Shujun and Li Qi and Li Wenmin and Mou Xuanqin and Cai Yuanlong},
 124   title = {Statistical Properties of Digital Piecewise Linear Chaotic Maps and
 125         Their Roles in Cryptography and Pseudo-Random Coding},
 126   booktitle = {Cryptography and Coding, 8th IMA International Conference,
 127                Cirencester, UK},
 128   month=dec,
 129   year = 2001,
 130   publisher = springer,
 131   address = springer_loc,
 132   series    = lncs,
 133   volume    = {2260},
 134    pages = {205--221}}
 135
 136
 137 @misc{cgh16:onp,
 138 inhal = {no},
 139 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 140 equipe = {and},
 141 classement = {COM},
 142 author = {Couchot, Jean-François  and Guyeux, Christophe and H\'eam, Pierre-Cyrille},
 143 title = {Random Walk in a N-cube Without Hamiltonian Cycle
 144   to Chaotic Pseudorandom Number Generation: Theoretical and Practical
 145   Considerations},
 146 howpublished = {in submission to the RAIRO - Theoretical Informatics and Applications special issue to the 15-th Mons Theoretical Computer Science Days},
 147 month = mar,
 148 year = 2015,
 149 }
 150
 151
 152 @misc{bgco16:onp,
 153 inhal = {no},
 154 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 155 equipe = {and},
 156 classement = {COM},
 157 author = {Bakiri, Mohammed and  Guyeux, Christophe and Couchot, Jean-Fran{\c}cois and Oudjida, Abdelkrim Kamel},
 158 title = {Survey on Hardware Implementation of Random Number Generators on FPGA: Theory and Experimental Analyses},
 159 howpublished = {in submission to the ACM Computing Surveys journal},
 160 month = aug,
 161 year = 2015,
 162 }
 163
 164 @misc{bdcc15:onp,
 165 inhal = {no},
 166 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 167 equipe = {and},
 168 classement = {COM},
 169 author = {
 170 Bitar, Ahmad and
 171 Darazi, Rony and
 172 Couchot, Jean-Fran{\c}cois and
 173 Couturier, Rapha\¨el},
 174 title = {Blind digital watermarking in PDF documents using
 175 Spread Transform Dither Modulation},
 176 howpublished = {in submission to the Multimedia Tools and Applications journal},
 177 month = dec,
 178 year = 2014
 179 }
 180
 181
 182
 183
 184
 185 @inproceedings{couchot04:onp,
 186 inhal = {no},
 187 author = {Couchot, Jean-Fran\c{c}ois},
 188 title = {V\'erification d'invariant par superposition},
 189 booktitle = {{MAJECSTIC}'04, {MA}nifestation de {JE}unes {C}hercheurs {STIC}},
 190 address = {Calais, France},
 191 ps = {http://lifc.univ-fcomte.fr/~couchot/pubs/cou04.ps.gz},
 192 url = {http://lil.univ-littoral.fr/~lewandowski/majecstic/programme.html},
 193 note = {Actes en ligne sur {    t http://lil.univ-littoral.fr/\~{}lewandowski/majecstic/programme.html}},
 194 abstract = {Un système d'événements B modélise un système d'intérêt et l'environnement avec lequel il réagit. Il permet d'exprimer une spécification abstraite au niveau ensembliste, dont les événements sont parfois indéterministes et dont la propriété de cohérence, appelée invariant, s'exprime à l'aide d'une formule logique du premier ordre. Cette étude s'applique à un langage de spécification équivalent à une classe de systèmes d'événements qui conserve les notions d'ensemble, d'indéterminisme et d'invariant écrit en logique équationnelle du premier ordre. Elle propose une démarche de vérification automatique d'invariant inductif et de construction d'un tel invariant par renforcement. L'apport principal est le caractère automatique de la démarche, fondée sur une procédure de décision par superposition. L'étude est illustrée par deux exemples d'algorithmes d'exclusion mutuelle.},
 195 month = oct,
 196 year = 2004,
 197
 198 }
 199
 200
 201
 202
 203 @inproceedings{aangc+15:ip,
 204 inhal = {no},
 205 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 206 equipe = {and},
 207 classement = {ACTI},
 208 author = {Alkindy, Bassam and Al'Nayyef, Huda and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
 209 title = {Improved Core Genes Prediction for Constructing well-supported Phylogenetic Trees in large sets of Plant Species},
 210 booktitle = {IWBBIO 2015, 3rd Int. Work-Conf. on Bioinformatics and Biomedical Engineering, Part I},
 211 pages = {379--390},
 212 doi = {10.1007/978-3-319-16483-0_38},
 213 url = {http://dx.doi.org/10.1007/978-3-319-16483-0_38},
 214 series = {LNCS},
 215 volume = 9043,
 216 address = {Granada, Spain},
 217 month = apr,
 218 year = 2015,
 219
 220 }
 221
 222
 223
 224
 225
 226
 227
 228 @inproceedings{agcs+15:ip,
 229 inhal = {no},
 230 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 231 equipe = {and},
 232 classement = {ACTI},
 233 author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Parisod, Christian and Bahi, Jacques},
 234 affiliation = {Christian Parisod est privat docent a l'UniversitÃ© de Neuchatel (Suisse)},
 235 title = {Hybrid Genetic Algorithm and Lasso Test Approach for Inferring Well Supported Phylogenetic Trees based on Subsets of Chloroplastic Core Genes},
 236 booktitle = {AlCoB 2015, 2nd Int. Conf. on Algorithms for Computational Biology},
 237 pages = {***--***},
 238 series = {LNCS/LNBI},
 239 volume = {*},
 240 publisher = {Springer},
 241 address = {Mexico City, Mexico},
 242 day = 4,
 243 month = aug,
 244 year = 2015,
 245 note = {To appear in the LNCS/LNBI series},
 246
 247 }
 248
 249
 250
 251 @inproceedings{bcg11:ip,
 252 inhal = {no},
 253 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 254 equipe = {and},
 255 classement = {ACTI},
 256 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
 257 title = {Performance Analysis of a Keyed Hash Function based on Discrete and Chaotic Proven Iterations},
 258 booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
 259 pages = {52--57},
 260 address = {Luxembourg, Luxembourg},
 261 month = jun,
 262 year = 2011,
 263 note = {Best paper award},
 264
 265 }
 266
 267 @article{bcg12:ij,
 268 inhal = {no},
 269 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 270 equipe = {and},
 271 classement = {ACLNI},
 272 impact-factor ={#},
 273 isi-acro = {#},
 274 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
 275 title = {Quality analysis of a chaotic proven keyed hash function},
 276 journal = {International Journal On Advances in Internet Technology},
 277 pages = {26--33},
 278 volume = 5,
 279 number = 1,
 280 publisher = {IARIA},
 281 year = 2012,
 282
 283 }
 284
 285
 286 @article{ccg15:ij,
 287 inhal = {no},
 288 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 289 equipe = {and},
 290 classement = {ACLI},
 291 impact-factor ={#},
 292 isi-acro = {#},
 293 author = {Couchot, Jean-Fran\c{c}ois and Couturier, Rapha\"el and Guyeux, Christophe},
 294 title = {{STABYLO}: {STeganography with Adaptive, Bbs, and binarY embedding at LOw cost}},
 295 journal = {Annals of Telecommunications},
 296 doi = {10.1007/s12243-015-0466-7},
 297 url = {http://dx.doi.org/10.1007/s12243-015-0466-7},
 298 publisher = {Springer},
 299 year = 2015,
 300 note = {Available online. Paper version to appear},
 301
 302 }
 303
 304 @inproceedings{fccg15:ip,
 305 inhal = {no},
 306 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 307 equipe = {and},
 308 classement = {ACTI},
 309 author = {Fadil, Yousra Ahmed and Couchot, Jean-Fran\c{c}ois and Couturier, Rapha\"el and Guyeux, Christophe},
 310 title = {Steganalyzer performances in operational contexts},
 311 booktitle = {IIH-MSP 2015, 11th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
 312 pages = {***--***},
 313 address = {Adelaide, Australia},
 314 month = sep,
 315 year = 2015,
 316 note = {To appear},
 317
 318 }
 319
 320
 321 @inproceedings{bcfg12a:ip,
 322 inhal = {no},
 323 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 324 equipe = {and},
 325 classement = {ACTI},
 326 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe},
 327 title = {Application of Steganography for Anonymity through the Internet},
 328 booktitle = {IHTIAP'2012, 1-st Workshop on Information Hiding Techniques for Internet Anonymity and Privacy},
 329 pages = {96--101},
 330 url = {http://arxiv.org/abs/1202.5302v1},
 331 address = {Venice, Italy},
 332 month = jun,
 333 year = 2012,
 334
 335 }
 336
 337
 338 @inproceedings{bcfg+13:ip,
 339 inhal = {no},
 340 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 341 equipe = {and},
 342 classement = {ACTI},
 343 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe and Mazouzi, Kamel},
 344 title = {Quality Studies of an Invisible Chaos-Based Watermarking Scheme with Message Extraction},
 345 booktitle = {IIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
 346 pages = {547--550},
 347 doi = {10.1109/IIH-MSP.2013.141},
 348 url = {http://dx.doi.org/10.1109/IIH-MSP.2013.141},
 349 address = {Beijing, China},
 350 month = oct,
 351 year = 2013,
 352
 353 }
 354
 355 @inproceedings{bcfg12b:ip,
 356 inhal = {no},
 357 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 358 equipe = {and},
 359 classement = {ACTI},
 360 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Friot, Nicolas and Guyeux, Christophe},
 361 title = {A Robust Data Hiding Process Contributing to the Development of a Semantic Web},
 362 booktitle = {INTERNET'2012, 4-th Int. Conf. on Evolving Internet},
 363 pages = {71--76},
 364 address = {Venice, Italy},
 365 month = jun,
 366 year = 2012,
 367
 368 }
 369
 370
 371
 372
 373
 374 @inproceedings{bcg11b:ip,
 375 inhal = {no},
 376 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 377 equipe = {and},
 378 classement = {ACTI},
 379 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
 380 title = {Steganography: a Class of Algorithms having Secure Properties},
 381 booktitle = {IIH-MSP-2011, 7-th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing},
 382 pages = {109--112},
 383 address = {Dalian, China},
 384 month = oct,
 385 year = 2011,
 386
 387 }
 388
 389
 390 @article{bcg11:ij,
 391 inhal = {no},
 392 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 393 equipe = {and},
 394 classement = {ACLI},
 395 impact-factor ={1.363},
 396 isi-acro = {COMPUT J},
 397 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe},
 398 title = {Steganography: a class of secure and robust algorithms},
 399 journal = {The Computer Journal},
 400 volume = 55,
 401 number = 6,
 402 pages = {653--666},
 403 doi = {10.1093/comjnl/bxr116},
 404 url = {http://dx.doi.org/10.1093/comjnl/bxr116},
 405 publisher = {Oxford University Press},
 406 year = 2012,
 407 }
 408
 409
 410
 411 @inproceedings{bcgw11:ip,
 412 inhal = {no},
 413 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 414 equipe = {and},
 415 classement = {ACTI},
 416 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Wang, Qianxue},
 417 title = {Class of Trustworthy Pseudo Random Number Generators},
 418 booktitle = {INTERNET 2011, the 3-rd Int. Conf. on Evolving Internet},
 419 pages = {72--77},
 420 address = {Luxembourg, Luxembourg},
 421 month = jun,
 422 year = 2011,
 423
 424 }
 425
 426 @misc{chgw+14:onp,
 427 inhal = {no},
 428 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 429 equipe = {and},
 430 classement = {COM},
 431 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
 432 title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers},
 433 howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Montoises d'Informatique Th\'eorique), Nancy, France},
 434 day = 23,
 435 month = sep,
 436 year = 2014,
 437 }
 438
 439
 440
 441
 442
 443 @inproceedings{aagp+15:ip,
 444 inhal = {no},
 445 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 446 equipe = {and},
 447 classement = {ACTIN},
 448 author = {Alsrraj, Reem and Alkindy, Bassam and Guyeux, Christophe and Philippe, Laurent and Couchot, Jean-Fran\c{c}ois},
 449 title = {Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization},
 450 booktitle = {CIBB 2015, 12th Int. Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics},
 451 pages = {***--***},
 452 address = {Naples, Italy},
 453 day = 10,
 454 month = sep,
 455 year = 2015,
 456 note = {To appear},
 457
 458 }
 459
 460 @inproceedings{acgm+14:ij,
 461 inhal = {no},
 462 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 463 equipe = {and},
 464 classement = {ACTI},
 465 author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Mouly, Arnaud and Salomon, Michel and Bahi, Jacques},
 466 title = {Finding the Core-Genes of Chloroplasts},
 467 booktitle = {ICBBS 2014, 3rd Int. Conf. on Bioinformatics and Biomedical Science},
 468 pages = {357--364},
 469 series = {IJBBB, Journal of Bioscience, Biochemistery, and Bioinformatics},
 470 number = {4(5)},
 471 doi = {10.7763/IJBBB.2014.V4.371},
 472 url = {http://dx.doi.org/10.7763/IJBBB.2014.V4.371},
 473 address = {Copenhagen, Denmark},
 474 day = 18,
 475 month = jun,
 476 year = 2014,
 477
 478 }
 479
 480
 481
 482
 483 @inproceedings{akgcs+14:oip,
 484 inhal = {no},
 485 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 486 equipe = {and},
 487 classement = {COM},
 488 author = {Alkindy, Bassam and Guyeux, Christophe and Couchot, Jean-Fran\c{c}ois and Salomon, Michel and Bahi, Jacques},
 489 title = {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts},
 490 booktitle = {BIBM14, IEEE Int. Conf. on Bioinformatics and Biomedicine},
 491 address = {Belfast, United Kingdom},
 492 day = 2,
 493 month = nov,
 494 year = 2014,
 495 note = {Short paper},
 496 }
 497
 498 @misc{acgs13:onp,
 499 inhal = {no},
 500 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 501 equipe = {and},
 502 classement = {COM},
 503 author = {Alkindy, Bassam and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
 504 title = {Finding the core-genes of Chloroplast Species},
 505 howpublished = {Journ\'ees SeqBio 2013, Montpellier},
 506 month = nov,
 507 year = 2013,
 508
 509 }
 510
 511
 512
 513
 514
 515 @PhdThesis{guyeuxphd,
 516 author = {Guyeux, Christophe},
 517 title = {Le désordre des it\'erations chaotiques et leur utilit\'e en sécurit\'e informatique},
 518 type = {Th\`ese de {D}octorat},
 519 school = {LIFC, Universit\'e de Franche-Comt\'e},
 520 equipe = {AND},
 521 note = {Rapporteurs~: Pascale Charpin, Directrice de Recherche, INRIA-Rocquencourt ; Eric Filiol, Professeur, ESIEA-Laval ; Pierre Spitéri, Professeur Emérite, IRIT-ENSEEIHT. Examinateurs~: Michel de Labachelerie, Directeur de recherche CNRS, Université de Franche-Comté ; Laurent Larger, Professeur, Université de Franche-Comté ; Jean-Claude Miellou, Professeur, Université de Franche-Comté ; Congduc Pham, Professeur, Université de Pau. Directeur~: Jacques M. Bahi, Professeur, Université de Franche-Comté},
 522 month = {13 décembre},
 523 year = 2010,
 524
 525 }
 526
 527 @inproceedings{chgw+14:oip,
 528 inhal = {no},
 529 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO, INFO:INFO_SE},
 530 equipe = {ie},
 531 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
 532 title = {Pseudorandom Number Generators with Balanced Gray Codes},
 533 booktitle = {Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
 534 pages = {469--475},
 535 address = {Vienna, Austria},
 536 month = aug,
 537 date = aug,
 538 year = 2014
 539 }
 540
 541
 542
 543
 544 @INPROCEEDINGS{nusmv02,
 545   author = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and
 546         Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto
 547         Sebastiani and Armando Tacchella},
 548   title = {NuSMV 2: An OpenSource Tool for Symbolic Model Checking},
 549   booktitle = {CAV},
 550   year = {2002},
 551   pages = {359-364},
 552   crossref = {DBLP:conf/cav/2002}
 553 }
 554
 555 @unpublished{Cha06,
 556 author = {Nishanth Chandrasekaran},
 557 title = {Verifying Convergence of Asynchronous Iterative Algorithms based on Lyapunov Functions},
 558 year = 2006,
 559 }
 560
 561 @InProceedings{GO01,
 562  Author    = "Gastin, P. and Oddoux, D.",
 563  Title     = "Fast {LTL} to {B{\"u}chi} Automata Translation",
 564  BookTitle = "Proceedings of the 13th Conference on Computer Aided Verification (CAV'01)",
 565  Publisher = "Springer",
 566  Series    = lncs,
 567  Number    = 2102,
 568  Year      = 2001,
 569  Pages     = "53--65"
 570 }
 571
 572 @inproceedings{cg04:np,
 573 inhal = {no},
 574 author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain},
 575 title = {Analyse d'atteignabilit\'e d\'eductive},
 576 booktitle = {Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, AFADL'04},
 577 pages = {269--283},
 578 editor = {Julliand, Jacques},
 579 address = {Besan\c{c}on, France},
 580 month = jun,
 581 year = 2004,
 582
 583 }
 584
 585
 586 @article{cdgr03:ij,
 587 inhal = {no},
 588 author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
 589 title = {Scalable Automated Proving and Debugging of Set-Based Specifications},
 590 journal = {Journal of the Brazilian Computer Society (JBCS)},
 591 volume = 9,
 592 number = 2,
 593 pages = {17--36},
 594 url = {http://lifc.univ-fcomte.fr/~couchot/pubs/CDGR03.pdf},
 595 month = nov,
 596 year = 2003,
 597 note = {ISSN 0104-6500},
 598
 599 }
 600
 601
 602 @inproceedings{cddg+04:ip,
 603 inhal = {no},
 604 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
 605 equipe = {vesontio},
 606 author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
 607 title = {Proving and Debugging Set-Based Specifications},
 608 booktitle = {WMF'03 proceedings},
 609 series = {ENTCS, Electronic Notes in Theoretical Computer Science},
 610 volume = 95,
 611 pages = {189--208},
 612 editor = {A. Cavalcanti and P. Machado},
 613 address = {Campina Grande, Brazil},
 614 url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012},
 615 month = may,
 616 year = 2004,
 617
 618 }
 619
 620
 621 @inproceedings{cdgr04:onp,
 622 inhal = {no},
 623 author = {Couchot, Jean-Fran\c{c}ois and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.},
 624 title = {{B}arvey~: {V}\'erification automatique de consistance de machines abstraites {B}},
 625 pages = {369--372},
 626 booktitle = {AFADL'04, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, },
 627 address = {Besan\c{c}on, France},
 628 month = jun,
 629 year = 2004,
 630 editor = {Julliand, Jacques},
 631 note = {Session outils},
 632
 633 }
 634
 635
 636 @INPROCEEDINGS{CGK05,
 637   author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nikolai Kosmatov},
 638   title = {A uniform deductive approach for parameterized protocol safety},
 639   booktitle = {ASE},
 640   year = {2005},
 641   pages = {364-367},
 642   bibsource = {DBLP, http://dblp.uni-trier.de},
 643   crossref = {DBLP:conf/kbse/2005},
 644   ee = {http://doi.acm.org/10.1145/1101908.1101971}
 645 }
 646
 647 @INPROCEEDINGS{abcvs05,
 648   author = {Abbas, A. and Bahi, J. M. and Contassot-Vivier, S. and Salomon, M.},
 649   title = {Mixing Synchronism / Asynchronism in Discrete-State Discrete-Time
 650         Dynamic Networks},
 651   booktitle = {4th Int. Conf. on Engineering Applications and Computational Algorithms,
 652         DCDIS'2005},
 653   year = {2005},
 654   pages = {524--529},
 655   address = {Guelph, Canada},
 656   month = jul,
 657   note = {ISSN 1492-8760}
 658 }
 659
 660 @ARTICLE{Bah00,
 661   author = {Bahi, J. M.},
 662   title = {Boolean totally asynchronous iterations},
 663   journal = ijma,
 664   year = {2000},
 665   volume = {1},
 666   pages = {331--346}
 667 }
 668
 669 @ARTICLE{BCV06,
 670   author = {Bahi, J. M. and Contassot-Vivier, S.},
 671   title = {Basins of attraction in fully asynchronous discrete-time discrete-state
 672         dynamic networks},
 673   journal = TNN,
 674   year = {2006},
 675   volume = {17},
 676   pages = {397-408},
 677   number = {2}
 678 }
 679
 680 @ARTICLE{bcv02,
 681   author = {Bahi, J. M. and Contassot-Vivier, S.},
 682   title = {Stability of fully asynchronous discrete-time discrete-state dynamic
 683         networks},
 684   journal = TNN,
 685   year = {2002},
 686   volume = {13},
 687   pages = {1353--1363},
 688   number = {6}
 689 }
 690
 691
 692 @inproceedings{bcgr11:ip,
 693 inhal = {no},
 694 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
 695 equipe = {and},
 696 classement = {ACTI},
 697 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Richard, Adrien},
 698 title = {On the Link Between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems},
 699 booktitle = {FCT'11, 18th Int. Symp. on Fundamentals of Computation Theory},
 700 series = {LNCS},
 701 volume = 6914,
 702 pages = {126--137},
 703 doi = {10.1007/978-3-642-22953-4_11},
 704 url = {http://dx.doi.org/10.1007/978-3-642-22953-4_11},
 705 address = {Oslo, Norway},
 706 month = aug,
 707 year = 2011,
 708
 709 }
 710
 711
 712
 713 @techreport{BCVC10:ir,
 714   author = {Bahi, J. M. and Contassot-Vivier, S. and Couchot, J.-F.},
 715   title = {Convergence Results of Combining Synchronism and Asynchronism for
 716         Discrete-State Discrete-Time Dynamic Network},
 717   year = {2010},
 718  institution = {LIFC - Laboratoire d’{I}nformatique de
 719                 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
 720  type = {Research Report},
 721  number = {RR2010-02},
 722  pdf = {/publis/papers/pub/2010/RR2010-02.pdf},
 723  month = may
 724  }
 725
 726 @techreport{Cou10:ir,
 727   author = {Couchot, J.-F.},
 728   title = {Formal {C}onvergence {P}roof for {D}iscrete
 729 {D}ynamical {S}ystems},
 730  institution = {LIFC - Laboratoire d’{I}nformatique de
 731                 l'{U}niversit\'{e} de {F}ranche {C}omt\'{e}},
 732  type = {Research Report},
 733  number = {RR2010-03},
 734  pdf = {/publis/papers/pub/2010/RR2010-03.pdf},
 735  month = may,
 736  year = 2010
 737  }
 738
 739
 740
 741 @ARTICLE{BM00,
 742   author = {Bahi, J. M. and Michel, C.},
 743   title = {Convergence of discrete asynchronous iterations},
 744   journal = {International Journal Computer Mathematics},
 745   year = {2000},
 746   volume = {74},
 747   pages = {113--125}
 748 }
 749
 750 @ARTICLE{BM99,
 751   author = {Bahi, J. M. and Michel, C.},
 752   title = {Simulations of asynchronous evolution of discrete systems},
 753   journal = {Simulation Practice and Theory},
 754   year = {1999},
 755   volume = {7},
 756   pages = {309--324}
 757 }
 758
 759
 760 @ARTICLE{Bau78,
 761   author = {G\'{e}rard M. Baudet},
 762   title = {Asynchronous Iterative Methods for Multiprocessors},
 763   journal = JACM,
 764   year = {1978},
 765   volume = {25},
 766   pages = {226--244},
 767   number = {2},
 768   doi = {http://doi.acm.org/10.1145/322063.322067},
 769   issn = {0004-5411},
 770   publisher = {ACM}
 771 }
 772
 773 @BOOK{BT89,
 774   title = {Parallel and distributed computation: numerical methods},
 775   publisher = prenticeHall,
 776   year = {1989},
 777   author = {Dimitri P. Bertsekas and John N. Tsitsiklis},
 778   isbn = {0-13-648700-9}
 779 }
 780
 781 @ARTICLE{blast07,
 782   author = {Dirk Beyer and Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar},
 783   title = {The software model checker Blast},
 784   journal = STTT,
 785   year = {2007},
 786   volume = {9},
 787   pages = {505-525},
 788   number = {5-6}
 789 }
 790
 791 @INPROCEEDINGS{LeCun85,
 792   author = {Y Le~Cun},
 793   title = {A learning scheme for threshold networks},
 794   booktitle = {Cognitiva'95},
 795   year = {1985},
 796   pages = {599--604},
 797   address = {Paris, France}
 798 }
 799
 800 @ARTICLE{Elm90,
 801   author = {Jeffrey L. Elman},
 802   title = {Finding Structure in Time},
 803   journal = {Cognitive Science},
 804   year = {1990},
 805   volume = {14},
 806   pages = {179--211}
 807 }
 808
 809 @ARTICLE{FS00,
 810   author = {Andreas Frommer and Daniel B. Szyld},
 811   title = {On asynchronous iterations},
 812   journal = JCAM,
 813   year = {2000},
 814   volume = {123},
 815   pages = {201--216},
 816   number = {1-2},
 817   doi = {http://dx.doi.org/10.1016/S0377-0427(00)00409-X},
 818   issn = {0377-0427},
 819   publisher = elsevier
 820 }
 821
 822 @ARTICLE{GS08,
 823   author = {Goles Ch., E. and Salinas,L.},
 824   title = {Comparison between parallel and serial dynamics of Boolean networks},
 825   journal = tcs,
 826   year = {2008},
 827   volume = {396},
 828   pages = {247--253},
 829   number = {1-3}
 830 }
 831
 832 @BOOK{Hol03,
 833   title = {The SPIN Model Checker: Primer and Reference Manual},
 834   publisher = {Addison-Wesley, Pearson Education},
 835   year = {2003},
 836   author = {Gerard J. Holzmann}
 837 }
 838
 839 @ARTICLE{SH99,
 840   author = {Shih M.-H. and Ho, J.-L.},
 841   title = {Solution of the Boolean Markus-Yamabe Problem},
 842   journal = advapplMath,
 843   year = {1999},
 844   volume = {22},
 845   pages = {60 - 102},
 846   number = {1}
 847 }
 848
 849 @ARTICLE{Ric08,
 850   author = {Adrien Richard},
 851   title = {An extension of a combinatorial fixed point theorem of Shih and Dong
 852         },
 853   journal = advapplMath,
 854   year = {2008},
 855   volume = {41},
 856   pages = {620--627},
 857   number = {4},
 858   publisher = elsevier
 859 }
 860
 861 @ARTICLE{RC07,
 862   author = {Adrien Richard and Jean-Paul Comet},
 863   title = {Necessary conditions for multistationarity in discrete dynamical
 864         systems},
 865   journal = discreteapplMath,
 866   year = {2007},
 867   volume = {155},
 868   pages = {2403--2413},
 869   number = {18},
 870   issn = {0166-218X},
 871   publisher = elsevier
 872 }
 873
 874 @BOOK{Rob95,
 875   title = {Les syst\`emes dynamiques discrets},
 876   publisher = springer,
 877   year = {1995},
 878   author = {F. Robert},
 879   volume = {19},
 880   series = {Math\'ematiques et Applications}
 881 }
 882
 883 @ARTICLE{SD05,
 884   author = {Shih, M.-H. and Dong J.-L.},
 885   title = {A combinatorial analogue of the Jacobian problem in automata networks},
 886   journal = advapplMath,
 887   year = {2005},
 888   volume = {34},
 889   pages = {30 - 46},
 890   number = {1},
 891   issn = {0196-8858}
 892 }
 893
 894 @ARTICLE{Tho73,
 895   author = {Thomas, R.},
 896   title = {Boolean Formalization of Genetic Control Circuits},
 897   journal = jtb,
 898   year = {1973},
 899   volume = {42},
 900   pages = {563--585}
 901 }
 902
 903 @ARTICLE{WJBG98,
 904   author = {Xin Wang and Arun K. Jagota and Fernanda Botelho and Max H. Garzon},
 905   title = {Absence of Cycles in Symmetric Neural Networks},
 906   journal = NC,
 907   year = {1998},
 908   volume = {10},
 909   pages = {1235-1249},
 910   number = {5},
 911   file = {:/home/couchot/rech/Ref/WJBG98.pdf:PDF}
 912 }
 913
 914 @PROCEEDINGS{DBLP:conf/cav/2002,
 915   title = {Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen,
 916         Denmark, July 27-31, 2002, Proceedings},
 917   year = {2002},
 918   editor = {Ed Brinksma and Kim Guldstrand Larsen},
 919   volume = {2404},
 920   series = lncs,
 921   publisher = springer,
 922   booktitle = {CAV}
 923 }
 924
 925 @PROCEEDINGS{DBLP:conf/kbse/2005,
 926   title = {20th IEEE/ACM International Conference on Automated Software Engineering
 927         (ASE 2005), November 7-11, 2005, Long Beach, CA, USA},
 928   year = {2005},
 929   editor = {David F. Redmiles and Thomas Ellman and Andrea Zisman},
 930   publisher = {ACM},
 931   bibsource = {DBLP, http://dblp.uni-trier.de},
 932   booktitle = {ASE}
 933 }
 934
 935 @book{Mor08,
 936  author = {Ben-Ari, Mordechai},
 937  year = {2008},
 938  title = {Principles of the Spin Model Checker},
 939  isbn = {1846287693, 9781846287695}},
 940  publisher = springer,
 941  }
 942
 943
 944 @INPROCEEDINGS{Wei97,
 945   author = {Weise,Carsten},
 946   title = {An incremental formal semantics for {PROMELA}},
 947   booktitle = {SPIN97, the Third SPIN Workshop},
 948   year = {1997},
 949   pages = {}
 950 }
 951
 952 @PHDTHESIS{Couchot-PhD06,
 953   AUTHOR = {Couchot, Jean-Fran\c{c}ois},
 954   TITLE = {V\'erification d'invariant de syst\`emes param\'etr\'es par
 955   superposition},
 956   MONTH = {avril},
 957   SCHOOL = {LIFC, Universit\'e de Franche-Comt\'e},
 958   TYPE = {Th\`ese de {D}octorat},
 959   YEAR = {2006}
 960 }
 961
 962 @Article{dJGH04,
 963   author =       {de Jong, H. and Gouz\'e, J.-L. and Hernandez, C. and
 964                   Page, M. and Tewfik, S. and Geiselmann, J.},
 965   title =        {Qualitative simulation of genetic regulatory networks
 966                   using piecewise-linear models},
 967   journal =      {Bull. Math. Biol.},
 968   year =         {2004},
 969   OPTkey =       {},
 970   volume =       {66},
 971   number =       {2},
 972   pages =        {301--340},
 973   OPTmonth =     {},
 974   OPTnote =      {},
 975   OPTannote =    {}
 976 }
 977
 978 @Article{BCRG04,
 979   author =       {Bernot, G. and Comet, J.-P. and Richard, A. and Guespin, J.},
 980   title =        {A Fruitful Application of Formal Methods to Biological
 981                   Regulatory Networks: Extending {T}homas' Asynchronous
 982                   Logical Approach with Temporal Logic},
 983   journal =      {J. Theor. Biol.},
 984   year =         {2004},
 985   volume =       {229},
 986   number =       {3},
 987   pages =        {339--347},
 988   EQUIPE =       {bioinfo},
 989   KIND =         {intrevue}
 990 }
 991
 992 @Article{GN06,
 993   author =       {Gonzales, A.G. and Naldi, A. and S\'anchez, L. and Thieffry, D. and Chaouiya, C.},
 994   title =        {{GINsim}: a software suite for the qualitative modelling, simulation and analysis of regulatory networks},
 995   journal =      {Biosystems},
 996   year =         {2006},
 997   OPTkey =       {},
 998   volume =       {84},
 999   number =       {2},
1000   pages =        {91--100},
1001   OPTmonth =     {},
1002   OPTnote =      {},
1003   OPTannote =    {}
1004 }
1005
1006 @Article{dJGH03,
1007   author =       {De Jong, H. and Geiselmann, J. and Hernandez, C. and
1008                   Page, M.},
1009   title =        {Genetic Network Analyzer: qualitative simulation
1010                   of genetic regulatory networks.},
1011   journal =      {Bioinformatics},
1012   year =         {2003},
1013   volume =       {19},
1014   number =       {3},
1015   pages =        {336-44.}
1016 }
1017
1018 @Article{KCRB09,
1019   author =       {Khalis, Z. and Comet, J.-P. and Richard, A. and Bernot, G.},
1020   title =        {The SMBioNet Method for Discovering Models of Gene Regulatory Networks},
1021   journal =      {Genes, Genomes and Genomics},
1022   year =         {2009},
1023   OPTkey =       {},
1024   volume =       {3},
1025   number =       {1},
1026   OPTpages =     {15-22},
1027   OPTmonth =     {},
1028   OPTnote =      {},
1029   OPTannote =    {}
1030 }
1031
1032 @article{ARBCR08,
1033  author = {Ahmad, Jamil and Roux, Olivier and Bernot, Gilles and Comet, Jean-Paul and Richard, Adrien},
1034  title = {Analysing formal models of genetic regulatory networks with delays},
1035  journal = {Int. J. Bioinformatics Res. Appl.},
1036  volume = {4},
1037  number = {3},
1038  year = {2008},
1039  issn = {1744-5485},
1040  pages = {240--262},
1041  doi = {http://dx.doi.org/10.1504/IJBRA.2008.019573},
1042  publisher = {Inderscience Publishers},
1043  address = {Inderscience Publishers, Geneva, SWITZERLAND},
1044  }
1045 @TechReport{R09-c,
1046   author =       {Richard, A.},
1047   title =        {Local negative circuits and fixed points in Boolean networks},
1048   institution =  {preprint arXiv number 0910.0750},
1049   year =         {2009},
1050   OPTkey =       {},
1051   OPTtype =      {},
1052   OPTnumber =    {},
1053   OPTaddress =   {},
1054   OPTmonth =     {},
1055   OPTnote =      {},
1056   OPTannote =    {}
1057 }
1058
1059
1060 @ARTICLE{RRT08,
1061   author = {Remy, R. and Ruet, P. and Thieffry, D.},
1062   title = {Graphic requirement for multistability and attractive cycles in a
1063         Boolean dynamical framework},
1064   journal = {Advances in Applied Mathematics},
1065   year = {2008},
1066   volume = {41},
1067   pages = {335-350},
1068   number = {3},
1069   owner = {couchot},
1070   timestamp = {2009.02.05}
1071 }
1072
1073 @inproceedings{DBLP:conf/icann/BahiCMMS06,
1074   author    = {Jacques M. Bahi and
1075                Sylvain Contassot-Vivier and
1076                Libor Makovicka and
1077                {\'E}ric Martin and
1078                Marc Sauget},
1079   title     = {Neural Network Based Algorithm for Radiation Dose Evaluation
1080                in Heterogeneous Environments},
1081   booktitle = {ICANN (2)},
1082   year      = {2006},
1083   pages     = {777-787},
1084   ee        = {http://dx.doi.org/10.1007/11840930_81},
1085   crossref  = {DBLP:conf/icann/2006-2},
1086   bibsource = {DBLP, http://dblp.uni-trier.de}
1087 }
1088
1089 @proceedings{DBLP:conf/icann/2006-2,
1090   editor    = {Stefanos D. Kollias and
1091                Andreas Stafylopatis and
1092                Wlodzislaw Duch and
1093                Erkki Oja},
1094   title     = {Artificial Neural Networks - ICANN 2006, 16th International
1095                Conference, Athens, Greece, September 10-14, 2006. Proceedings,
1096                Part II},
1097   booktitle = {ICANN (2)},
1098   publisher = {Springer},
1099   series    = {Lecture Notes in Computer Science},
1100   volume    = {4132},
1101   year      = {2006},
1102   isbn      = {3-540-38871-0},
1103   bibsource = {DBLP, http://dblp.uni-trier.de}
1104 }
1105
1106
1107
1108
1109 @Book{Drey08,
1110   author =       {Dreyfus, Gérard and Martinez, Jean-Marc and Samuelides, Manuel   and Gordon, Mirta B.  and Badran, Fouad  and Thiria, Sylvie },
1111   ALTeditor =    {},
1112   title =        {Apprentissage statistique, Réseaux de neurones - Cartes topologiques - Machines à vecteurs supports},
1113   publisher =    {Eyrolles},
1114   year =         {2008},
1115   OPTkey =       {},
1116   OPTvolume =    {},
1117   OPTnumber =    {},
1118   OPTseries =    {},
1119   OPTaddress =   {},
1120   OPTedition =   {},
1121   OPTmonth =     {},
1122   OPTnote =      {},
1123   OPTannote =    {}
1124 }
1125
1126
1127
1128
1129
1130 @BOOK{Devaney,
1131   title = {An Introduction to Chaotic Dynamical Systems},
1132   publisher = {Redwood City: Addison-Wesley},
1133   year = {1989},
1134   author = {R. L. Devaney},
1135   edition = {2nd},
1136   owner = {guyeux},
1137   timestamp = {27/01/2008}
1138 }
1139
1140
1141 @article{cds13:ij,
1142 inhal = {no},
1143 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1144 equipe = {and},
1145 classement = {ACLI},
1146 impact-factor ={1.255},
1147 isi-acro = {MECHATRONICS},
1148 author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel},
1149 title = {Active {MEMS}-based flow control using artificial neural network},
1150 journal = {Mechatronics},
1151 volume = 23,
1152 number = 7,
1153 pages = {898--905},
1154 doi = {10.1016/j.mechatronics.2013.02.010},
1155 url = {http://dx.doi.org/10.1016/j.mechatronics.2013.02.010},
1156 abstract = {These last years several research works have studied the application of Micro-Electro-Mechanical Systems (MEMS) for aerodynamic active flow control. Controlling such MEMS-based systems remains a challenge. Among the several existing control approaches for time varying systems, many of them use a process model representing the dynamic behavior of the process to be controlled. The purpose of this paper is to study the suitability of an artificial neural network first to predict the flow evolution induced by MEMS, and next to optimize the flow w.r.t. a numerical criterion. To achieve this objective, we focus on a dynamic flow over a backward facing step where MEMS actuators velocities are adjusted to maximize the pressure over the step surface. The first effort has been to establish a baseline database provided by computational fluid dynamics simulations for training the neural network. Then we investigate the possibility to control the flow through MEMS configuration changes. Results are promising, despite slightly high computational times for real time application.},
1157 publisher = {Elsevier},
1158 month = oct,
1159 year = 2013,
1160 note = {Available online. Paper version to appear},
1161
1162 }
1163
1164
1165 @inproceedings{cds12:ip,
1166 inhal = {no},
1167 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1168 equipe = {and},
1169 classement = {ACTI},
1170 author = {Couchot, Jean-Fran\c{c}ois and Deschinkel, Karine and Salomon, Michel},
1171 title = {Suitability of Artificial Neural Network for {MEMS}-based Flow Control},
1172 booktitle = {dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS},
1173 pages = {1--6},
1174 editor = {Bourgeois, Julien and de Labachelerie, Michel},
1175 address = {Besan\c{c}on, France},
1176 publisher = {IEEE CPS},
1177 month = apr,
1178 year = 2012,
1179
1180 }
1181
1182
1183 @article{bcgs12:ij,
1184 inhal = {no},
1185 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1186 equipe = {and},
1187 classement = {ACLI},
1188 impact-factor ={2.081},
1189 isi-acro = {CHAOS},
1190 author = {Bahi, Jacques and Couchot, Jean-Fran\c{c}ois and Guyeux, Christophe and Salomon, Michel},
1191 title = {Neural Networks and Chaos: Construction, Evaluation of Chaotic Networks, and Prediction of Chaos with MultiLayer Feedforward Network},
1192 journal = {Chaos, An Interdisciplinary Journal of Nonlinear Science},
1193 volume = 22,
1194 number = 1,
1195 pages = {013122-1 -- 013122-9},
1196 doi = {10.1063/1.3685524},
1197 url = {http://dx.doi.org/10.1063/1.3685524},
1198 publisher = {American Institute of Physics},
1199 month = mar,
1200 year = 2012,
1201 note = {9 pages},
1202
1203 }
1204
1205
1206 @inproceedings{bgs11:ip,
1207 inhal = {no},
1208 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1209 equipe = {and},
1210 classement = {ACTI},
1211 author = {Bahi, Jacques M. and Guyeux, Christophe and Salomon, Michel},
1212 title = {Building a Chaotic Proven Neural Network},
1213 booktitle = {ICCANS 2011, IEEE Int. Conf. on Computer Applications and Network Security},
1214 address = {Maldives, Maldives},
1215 month = may,
1216 year = 2011,
1217 }
1218
1219 @ARTICLE{guyeux09,
1220   author = {Bahi, Jacques M. and Guyeux, Christophe},
1221   title = {Hash Functions Using Chaotic Iterations},
1222   journal = {Journal of Algorithms \& Computational Technology},
1223   year = {2010},
1224   volume = {4},
1225   pages = {167--181},
1226   number = {2},
1227   classement = {ACLNI},
1228   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1229   equipe = {and},
1230   impact-factor = {#},
1231   inhal = {no},
1232   isi-acro = {#}
1233 }
1234
1235
1236
1237 @PHDTHESIS{GuyeuxThese10,
1238   author = {Christophe Guyeux},
1239   title = {Le d\'{e}sordre des it\'{e}rations chaotiques et leur utilit\'{e}
1240         en s\'{e}curit\'{e} informatique},
1241   school = {Universit\'{e} de Franche-Comt\'{e}},
1242   year = {2010},
1243   owner = {christophe},
1244   timestamp = {2010.12.21}
1245 }
1246
1247 @INPROCEEDINGS{gfb10:ip,
1248   author = {Guyeux, Christophe and Friot, Nicolas and Bahi, Jacques M.},
1249   title = {Chaotic iterations versus Spread-spectrum: chaos and stego security},
1250   booktitle = {IIH-MSP'10, 6-th International Conference on Intelligent Information Hiding and
1251         Multimedia Signal Processing},
1252   year = {2010},
1253   pages = {208--211},
1254   address = {Darmstadt, Germany},
1255   month = oct,
1256   classement = {ACTI},
1257   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1258   equipe = {and},
1259   inhal = {no}
1260 }
1261
1262
1263 @ARTICLE{Adler65,
1264   author = {R. L. Adler and A. G. Konheim and M. H. McAndrew},
1265   title = {Topological entropy},
1266   journal = {Transactions of the American Mathematical Society},
1267   year = {1965},
1268   volume = {114},
1269   pages = {309-319},
1270   owner = {guyeux},
1271   timestamp = {2008.05.29}
1272 }
1273
1274 @ARTICLE{Bowen,
1275   author = {Rufus Bowen},
1276   title = {Entropy for group endomorphisms and homogeneous spaces},
1277   journal = {Transactions of the American Mathematical Society},
1278   year = {1971},
1279   volume = {153},
1280   pages = {401-414},
1281   owner = {guyeux},
1282   timestamp = {15/02/2008}
1283 }
1284
1285 @article{10.1109/CIMSiM.2010.36,
1286 author = {Jiri Holoska and Zuzana Oplatkova and Ivan Zelinka and Roman Senkerik},
1287 title = {Comparison between Neural Network Steganalysis and Linear Classification Method Stegdetect},
1288 journal ={Computational Intelligence, Modelling and Simulation, International Conference on.},
1289 volume = {0},
1290 year = {2010},
1291 pages = {15-20},
1292 doi = {http://doi.ieeecomputersociety.org/10.1109/CIMSiM.2010.36},
1293 publisher = {IEEE Computer Society},
1294 address = {Los Alamitos, CA, USA},
1295 }
1296 @article{10.1109/ICME.2003.1221665,
1297 author = {Liu Shaohui and Yao Hongxun and Gao Wen},
1298 title = {Neural network based steganalysis in still images},
1299 journal ={Multimedia and Expo, IEEE International Conference on},
1300 volume = {2},
1301 year = {2003},
1302 pages = {509-512},
1303 doi = {http://doi.ieeecomputersociety.org/10.1109/ICME.2003.1221665},
1304 publisher = {IEEE Computer Society},
1305 address = {Los Alamitos, CA, USA},
1306 }
1307
1308 @ARTICLE{Sullivan06steganalysisfor,
1309     author = {Sullivan, Kenneth and Madhow,Upamanyu  and Chandrasekaran,Shivkumar  and Manjunath,B. S.  },
1310     title = {Steganalysis for Markov cover data with applications to images},
1311     journal = {IEEE Transactions on Information Forensics and Security},
1312     year = {2006},
1313     volume = {1},
1314     pages = {275--287}
1315 }
1316
1317
1318 @misc{Gray47,
1319 year=1953,
1320 author = "Gray, Frank",
1321 title = "Pulse code communication",
1322 note = "{US} Patent 2,632,058, March 17 1953,(filed November 13 1947)"}
1323
1324
1325
1326
1327 @INPROCEEDINGS{guyeux10ter,
1328   author = {Bahi, Jacques M. and Guyeux, Christophe},
1329   title = {A new chaos-based watermarking algorithm},
1330   booktitle = {SECRYPT'10, International Conference on Security
1331 and Cryptography},
1332   year = {2010},
1333   pages = {455--458},
1334   address = {Athens, Greece},
1335   month = jul,
1336   publisher = {SciTePress},
1337   classement = {ACTI},
1338   domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
1339   equipe = {and},
1340   inhal = {no}
1341 }
1342
1343
1344 @inproceedings{Qiao:2009:SM:1704555.1704664,
1345  author = {Qiao, Mengyu and Sung, Andrew H. and Liu, Qingzhong},
1346  title = {Steganalysis of MP3Stego},
1347  booktitle = {Proceedings of the 2009 international joint conference on Neural Networks},
1348  series = {IJCNN'09},
1349  year = {2009},
1350  location = {Atlanta, Georgia, USA},
1351  pages = {2723--2728},
1352  numpages = {6},
1353  publisher = {IEEE Press}
1354 }
1355
1356 @inproceedings{CouchotD07IFM,
1357 inhal = {no},
1358 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1359 equipe = {ie},
1360 classement = {*},
1361 author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric},
1362 title = {Guiding the Correction of Parameterized Specifications},
1363 booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods},
1364 pages = {176--194},
1365 series = {LNCS},
1366 volume = 4591,
1367 publisher = {Springer},
1368 doi = {10.1007/978-3-540-73210-5_10},
1369 url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10},
1370 address = {Oxford, UK},
1371 month = jul,
1372 year = 2007,
1373
1374 }
1375
1376 @inproceedings{couchot07FTP,
1377 inhal = {no},
1378 equipe = {and},
1379 classement = {*},
1380 author = {Couchot, Jean-Fran\c{c}ois and Hubert, T.},
1381 title = {A Graph-based Strategy for the Selection of Hypotheses},
1382 booktitle = {FTP'07, Int. Workshop on First-Order Theorem Proving},
1383 address = {Liverpool, UK},
1384 month = sep,
1385 year = 2007,
1386
1387 }
1388
1389
1390 @inproceedings{cgs09:ip,
1391 inhal = {inria},
1392 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1393 equipe = {ie},
1394 classement = {ACTI},
1395 author = {Couchot, Jean-Fran\c{c}ois and Giorgetti, Alain and Stouls, Nicolas},
1396 title = {{G}raph {B}ased {R}eduction of {P}rogram {V}erification {C}onditions},
1397 abstract = {{I}ncreasing the automaticity of proofs in deductive verification of {C} programs is a challenging task. {W}hen applied to industrial {C} programs known heuristics to generate simpler verification conditions are not efficient enough. {T}his is mainly due to their size and a high number of irrelevant hypotheses. {T}his work presents a strategy to reduce program verification conditions by selecting their relevant hypotheses. {T}he relevance of a hypothesis is determined by the combination of a syntactic analysis and two graph traversals. {T}he first graph is labeled by constants and the second one by the predicates in the axioms. {T}he approach is applied on a benchmark arising in industrial program verification.},
1398 affiliation = {{L}aboratoire d'{I}nformatique de l'{U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {LIFC} - {INRIA} - {U}niversit{\'e} de {F}ranche-{C}omt{\'e} - {AMAZONES} - {CITI} {I}nsa {L}yon / {INRIA} {G}renoble {R}h{\^o}ne-{A}lpes - {INSA} - {I}nstitut {N}ational des {S}ciences {A}ppliqu{\'e}es - {INRIA} },
1399 booktitle = {AFM'09, {A}utomated {F}ormal {M}ethods (colocated with {CAV}'09)},
1400 publisher = {ACM Press},
1401 pages = {40--47},
1402 url = {http://arxiv.org/abs/0907.1357},
1403 otherUrl = {http://hal.inria.fr/inria-00402204},
1404 address = {Grenoble, France},
1405 editor = {Hassen Sa\"{i}di and N. Shankar},
1406 year = 2009,
1407
1408 }
1409
1410
1411
1412 @inproceedings{couchot07cade,
1413 inhal = {no},
1414 equipe = {and},
1415 classement = {*},
1416 author = {Couchot, Jean-Fran\c{c}ois and Lescuyer, S.},
1417 title = {Handling Polymorphism in Automated Deduction},
1418 booktitle = {CADE'07, 21st Int. Conf. on Automated Deduction},
1419 pages = {263--278},
1420 series = {LNCS},
1421 volume = 4603,
1422 publisher = {Springer},
1423 isbn = {978-3-540-73594-6},
1424 doi = {10.1007/978-3-540-73595-3_18},
1425 url = {http://dx.doi.org/10.1007/978-3-540-73595-3_18},
1426 address = {Bremen, Germany},
1427 month = jul,
1428 year = 2007,
1429
1430 }
1431
1432
1433
1434
1435
1436
1437
1438 @inproceedings{BCDG07,
1439 inhal = {no},
1440 domainehal = {INFO:INFO_SE, INFO:INFO_MO},
1441 equipe = {vesontio},
1442 classement = {ACTI},
1443 author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain},
1444 title = {Instantiation of Parameterized Data Structures for Model-Based Testing},
1445 booktitle = {B'2007, the 7th Int. B Conference},
1446 pages = {96--110},
1447 series = {LNCS},
1448 volume = 4355,
1449 publisher = {Springer},
1450 doi = {10.1007/11955757_10},
1451 url = {http://dx.doi.org/10.1007/11955757_10},
1452 editor = {Julliand, Jacques and Kouchnarenko, Olga},
1453 address = {Besancon, France},
1454 month = jan,
1455 year = 2007,
1456
1457 }
1458
1459
1460
1461 @article{byrd1995limited,
1462  author = {Byrd, Richard H. and Lu, Peihuang and Nocedal, Jorge and Zhu, Ciyou},
1463  title = {A Limited Memory Algorithm for Bound Constrained Optimization},
1464  journal = {SIAM J. Sci. Comput.},
1465  issue_date = {Sept. 1995},
1466  volume = {16},
1467  number = {5},
1468  month = sep,
1469  year = {1995},
1470  issn = {1064-8275},
1471  pages = {1190--1208},
1472  numpages = {19},
1473  url = {http://dx.doi.org/10.1137/0916069},
1474  doi = {10.1137/0916069},
1475  acmid = {210980},
1476  publisher = {Society for Industrial and Applied Mathematics},
1477  address = {Philadelphia, PA, USA},
1478  keywords = {bound constrained optimization, large-scale optimization, limited memory method, nonlinear optimization, quasi-Newton method},
1479 }
1480
1481 @article{ANU:1770520,
1482 author = {Powell,M. J. D.},
1483 title = {Direct search algorithms for optimization calculations},
1484 journal = {Acta Numerica},
1485 volume = {7},
1486 month = {1},
1487 year = {1998},
1488 issn = {1474-0508},
1489 pages = {287--336},
1490 numpages = {50},
1491 doi = {10.1017/S0962492900002841},
1492 URL = {http://journals.cambridge.org/article_S0962492900002841},
1493 }
1494
1495 @article{Wang13,
1496 year={2013},
1497 issn={0920-8542},
1498 journal={The Journal of Supercomputing},
1499 volume={64},
1500 number={3},
1501 doi={10.1007/s11227-010-0500-5},
1502 title={Communication-resource-aware adaptive watermarking for multimedia authentication in wireless multimedia sensor networks},
1503 url={http://dx.doi.org/10.1007/s11227-010-0500-5},
1504 publisher={Springer US},
1505 keywords={Watermarking; Authentication; Wireless multimedia sensor network},
1506 author={Wang, Honggang},
1507 pages={883-897},
1508 language={English}
1509 }
1510
1511 @ARTICLE{HLG09,
1512 author={Yifeng He and Lee, I. and Ling Guan},
1513 journal={Circuits and Systems for Video Technology, IEEE Transactions on},
1514 title={Distributed Algorithms for Network Lifetime Maximization in Wireless Visual Sensor Networks},
1515 year={2009},
1516 volume={19},
1517 number={5},
1518 pages={704-718},
1519 keywords={distributed algorithms;video communication;wireless sensor networks;Lagrangian duality;distributed algorithms;network lifetime maximization;numerical simulations;routing scheme;video quality;video sensor nodes;wireless visual sensor networks;Convex optimization;distributed algorithms;network lifetime maximization;power consumption;wireless visual sensor network},
1520 doi={10.1109/TCSVT.2009.2017411},
1521 ISSN={1051-8215}}
1522
1523 @ARTICLE{PM06,
1524 author={Palomar, D.P. and Mung Chiang},
1525 journal={Selected Areas in Communications, IEEE Journal on},
1526 title={A tutorial on decomposition methods for network utility maximization},
1527 year={2006},
1528 volume={24},
1529 number={8},
1530 pages={1439-1451},
1531 keywords={distributed algorithms;gradient methods;radio networks;resource allocation;Gauss-Seidel iteration;Jacobi method;Lagrange duality;decomposition method;decoupling technique;distributed algorithm;modular network;network utility maximization;resource allocation;subgradient method;Congestion control;cross-layer design;decomposition;distributed algorithm;network architecture;network control by pricing;network utility maximization;optimization;power control;resource allocation},
1532 doi={10.1109/JSAC.2006.879350},
1533 ISSN={0733-8716}}
1534
1535 @article{HFD14,
1536 year={2014},
1537 journal={EURASIP Journal on Information Security},
1538 eid={1},
1539 volume={2014},
1540 number={1},
1541 doi={10.1186/1687-417X-2014-1},
1542 title={Universal distortion function for steganography in an arbitrary domain},
1543 url={http://dx.doi.org/10.1186/1687-417X-2014-1},
1544 publisher={Springer International Publishing},
1545 author={Holub, Vojtěch and Fridrich, Jessica and Denemark, Tomáš},
1546 language={English}
1547 }
1548
1549 @inproceedings{conf/wifs/HolubF12,
1550   added-at = {2013-01-23T00:00:00.000+0100},
1551   author = {Holub, Vojtech and Fridrich, Jessica J.},
1552   biburl = {http://www.bibsonomy.org/bibtex/2a685b4b8b521ac99734fb52c064ca994/dblp},
1553   booktitle = {WIFS},
1554   crossref = {conf/wifs/2012},
1555   ee = {http://dx.doi.org/10.1109/WIFS.2012.6412655},
1556   interhash = {cbef658a6868216eef585dd759ae0668},
1557   intrahash = {a685b4b8b521ac99734fb52c064ca994},
1558   isbn = {978-1-4673-2285-0},
1559   keywords = {dblp},
1560   pages = {234-239},
1561   publisher = {IEEE},
1562   timestamp = {2013-01-23T00:00:00.000+0100},
1563   title = {Designing steganographic distortion using directional filters.},
1564   url = {http://dblp.uni-trier.de/db/conf/wifs/wifs2012.html#HolubF12},
1565   year = 2012
1566 }
1567
1568
1569
1570
1571 @article{FillerJF11,
1572   author    = {Tom{\'a}s Filler and
1573                Jan Judas and
1574                Jessica J. Fridrich},
1575   title     = {Minimizing Additive Distortion in Steganography Using Syndrome-Trellis
1576                Codes},
1577   journal   = {IEEE Transactions on Information Forensics and Security},
1578   volume    = {6},
1579   number    = {3-2},
1580   year      = {2011},
1581   pages     = {920-935},
1582   ee        = {http://dx.doi.org/10.1109/TIFS.2011.2134094},
1583   bibsource = {DBLP, http://dblp.uni-trier.de}
1584 }
1585
1586 @inproceedings{DBLP:conf/ih/PereiraVMMP01,
1587   editor    = {Ira S. Moskowitz},
1588   author    = {Shelby Pereira and
1589                Sviatoslav Voloshynovskiy and
1590                Maribel Madueno and
1591                St{\'e}phane Marchand-Maillet and
1592                Thierry Pun},
1593   booktitle     = {Information Hiding, 4th International Workshop, IHW 2001,
1594                Pittsburgh, PA, USA, April 25-27, 2001, Proceedings},
1595   title     = {Second Generation Benchmarking and Application Oriented
1596                Evaluation},
1597   year      = {2001},
1598   pages     = {340-353},
1599   series    = lncs,
1600   publisher = springer,
1601   address = springer_loc,
1602   month = apr,
1603   volume    = {2137},
1604 }
1605
1606
1607 @inproceedings{DBLP:conf/ih/Westfeld01,
1608   added-at = {2011-06-28T00:00:00.000+0200},
1609   author = {Westfeld, Andreas},
1610   booktitle     = {Information Hiding, 4th International Workshop, IHW 2001,
1611                Pittsburgh, PA, USA, April 25-27, 2001, Proceedings},
1612   editor    = {Ira S. Moskowitz},
1613   pages = {289-302},
1614   publisher = springer,
1615   address = springer_loc,
1616   month=apr,
1617   series = lncs,
1618   title = {F5-A Steganographic Algorithm.},
1619   volume = 2137,
1620   year = 2001
1621 }
1622
1623
1624
1625
1626
1627 @article{Chang20101286,
1628 title = "Hybrid wet paper coding mechanism for steganography employing n-indicator and fuzzy edge detector",
1629 journal = "Digital Signal Processing",
1630 volume = "20",
1631 number = "4",
1632 pages = "1286 - 1307",
1633 year = "2010",
1634 note = "",
1635 issn = "1051-2004",
1636 doi = "10.1016/j.dsp.2009.11.005",
1637 url = "http://www.sciencedirect.com/science/article/pii/S1051200409002413",
1638 author = "Chin-Chen Chang and Jung-San Lee and T. Hoang Ngan Le",
1639 keywords = "Security",
1640 keywords = "Wet paper coding",
1641 keywords = "Steganography",
1642 keywords = "Indicator",
1643 keywords = "Fuzzy edge detector"
1644 }
1645
1646
1647
1648 @article{Hu:2007:HPE:1282866.1282944,
1649  author = {Hu, Liming and Cheng, H. D. and Zhang, Ming},
1650  title = {A high performance edge detector based on fuzzy inference rules},
1651  journal = {Inf. Sci.},
1652  issue_date = {November, 2007},
1653  volume = {177},
1654  number = {21},
1655  month = nov,
1656  year = {2007},
1657  issn = {0020-0255},
1658  pages = {4768--4784},
1659  numpages = {17},
1660  url = {http://dx.doi.org/10.1016/j.ins.2007.04.001},
1661  doi = {10.1016/j.ins.2007.04.001},
1662  acmid = {1282944},
1663  publisher = {Elsevier Science Inc.},
1664  address = {New York, NY, USA},
1665  keywords = {Edge detector, Fuzzy If-Then inference rule, Fuzzy maximum entropy principle, Linguistic variables},
1666 }
1667
1668
1669 @inproceedings{Dumitrescu:2005:LSB:1073170.1073176,
1670   author    = {Sorina Dumitrescu and
1671                Xiaolin Wu},
1672   editor    = {Ahmet M. Eskicioglu and
1673                Jessica J. Fridrich and
1674                Jana Dittmann},
1675   title     = {LSB steganalysis based on high-order statistics},
1676   booktitle     = {Proceedings of the 7th workshop on Multimedia {\&} Security,
1677                MM{\&}Sec 2005, New York, NY, USA, August 1-2, 2005, 2006},
1678   year      = {2005},
1679   publisher = {ACM},
1680   address = {New York, NY, USA},
1681   month=aug,
1682   pages     = {25-32},
1683   ee        = {http://doi.acm.org/10.1145/1073170.1073176},
1684   bibsource = {DBLP, http://dblp.uni-trier.de}
1685 }
1686
1687 @inproceedings{DBLP:conf/ih/Ker05,
1688   author    = {Andrew D. Ker},
1689   title     = {A General Framework for Structural Steganalysis of LSB Replacement},
1690   editor    = {Mauro Barni and
1691                Jordi Herrera-Joancomart\'{\i} and
1692                Stefan Katzenbeisser and
1693                Fernando P{\'e}rez-Gonz{\'a}lez},
1694   booktitle     = {Information Hiding, 7th International Workshop, IH 2005,
1695                Barcelona, Spain, June 6-8, 2005, Revised Selected Papers},
1696   year      = {2005},
1697   pages     = {296-311},
1698   ee        = {http://dx.doi.org/10.1007/11558859_22},
1699   publisher = springer,
1700   address = springer_loc,
1701   month= jun,
1702   series    = lncs,
1703   volume    = {3727},
1704 }
1705
1706
1707 @inproceedings{FK12,
1708   editor    = {Matthias Kirchner and
1709                Dipak Ghosal},
1710   booktitle     = {Information Hiding - 14th International Conference, IH 2012,
1711                Berkeley, CA, USA, May 15-18, 2012, Revised Selected Papers},
1712   author    = {Jessica J. Fridrich and
1713                Jan Kodovsk{\'y}},
1714   title     = {Steganalysis of LSB Replacement Using Parity-Aware Features},
1715   month=may,
1716   year      = {2012},
1717   pages     = {31-45},
1718   ee        = {http://dx.doi.org/10.1007/978-3-642-36373-3_3},
1719   volume    = {7692},
1720   publisher = springer,
1721   address = springer_loc,
1722   series    = lncs,
1723   bibsource = {DBLP, http://dblp.uni-trier.de}
1724 }
1725
1726
1727 @article{DBLP:journals/tsp/DumitrescuWW03,
1728   added-at = {2012-02-06T00:00:00.000+0100},
1729   author = {Dumitrescu, Sorina and Wu, Xiaolin and Wang, Zhe},
1730   biburl = {http://www.bibsonomy.org/bibtex/2556caad9b61980d3458885153a52321c/dblp},
1731   ee = {http://dx.doi.org/10.1109/TSP.2003.812753},
1732   interhash = {f51bec0b4e4f8aba644eb0938018d2c6},
1733   intrahash = {556caad9b61980d3458885153a52321c},
1734   journal = {IEEE Transactions on Signal Processing},
1735   keywords = {dblp},
1736   number = 7,
1737   pages = {1995-2007},
1738   timestamp = {2012-02-06T00:00:00.000+0100},
1739   title = {Detection of LSB steganography via sample pair analysis.},
1740   url = {http://dblp.uni-trier.de/db/journals/tsp/tsp51.html#DumitrescuWW03},
1741   volume = 51,
1742   year = 2003
1743 }
1744
1745
1746
1747
1748 @inproceedings{DBLP:conf/mmsec/FridrichGD01,
1749   editor    = {Nicolas D. Georganas and
1750                Radu Popescu-Zeletin},
1751   booktitle     = {Proceedings of the 4th workshop on Multimedia {\&} Security:
1752                New Challenges, MM{\&}Sec 2001, Ottawa, Ontario, Canada,
1753                October 5, 2001},
1754   author    = {Jessica J. Fridrich and
1755                Miroslav Goljan and
1756                Rui Du},
1757   title     = {Reliable detection of LSB steganography in color and grayscale
1758                images},
1759   year      = {2001},
1760   pages     = {27-30},
1761   ee        = {http://doi.acm.org/10.1145/1232454.1232466},
1762   publisher = {ACM},
1763   address = {New York, NY, USA},
1764   month = oct,
1765   bibsource = {DBLP, http://dblp.uni-trier.de}
1766 }
1767
1768
1769
1770
1771
1772 @inproceedings{DBLP:conf/ih/PevnyFB10,
1773   author    = {Tom{\'a}s Pevn{\'y} and
1774                Tom{\'a}s Filler and
1775                Patrick Bas},
1776   title     = {Using High-Dimensional Image Models to Perform Highly Undetectable
1777                Steganography},
1778   editor    = {Rainer B{\"o}hme and
1779                Philip W. L. Fong and
1780                Reihaneh Safavi-Naini},
1781   booktitle     = {Information Hiding - 12th International Conference, IH 2010,
1782                Calgary, AB, Canada, June 28-30, 2010, Revised Selected
1783                Papers},
1784   year      = {2010},
1785   pages     = {161-177},
1786   month=jun,
1787   publisher = springer,
1788   address = springer_loc,
1789   series    = lncs,
1790   volume    = {6387},
1791   ee        = {http://dx.doi.org/10.1007/978-3-642-16435-4_13},
1792   bibsource = {DBLP, http://dblp.uni-trier.de}
1793 }
1794
1795
1796
1797
1798
1799 @Misc{Boss10,
1800         OPTkey =                         {},
1801         author    = {Tom{\'a}s Pevn{\'y} and
1802                Tom{\'a}s Filler and
1803                Patrick Bas},
1804
1805         title =                  {Break Our Steganographic System},
1806         OPThowpublished = {},
1807         OPTmonth =               {},
1808         year =           {2010},
1809         note =           {Available at \url{http://www.agents.cz/boss/}},
1810         OPTannote =      {}
1811 }
1812
1813 @proceedings{DBLP:conf/ih/2010,
1814   editor    = {Rainer B{\"o}hme and
1815                Philip W. L. Fong and
1816                Reihaneh Safavi-Naini},
1817   title     = {Information Hiding - 12th International Conference, IH 2010,
1818                Calgary, AB, Canada, June 28-30, 2010, Revised Selected
1819                Papers},
1820   booktitle = {Information Hiding},
1821   publisher = springer,
1822   address = springer_loc,
1823   series    = lncs,
1824   volume    = {6387},
1825   year      = {2010},
1826   isbn      = {978-3-642-16434-7},
1827   ee        = {http://dx.doi.org/10.1007/978-3-642-16435-4},
1828   bibsource = {DBLP, http://dblp.uni-trier.de}
1829 }
1830
1831
1832 @article{DBLP:journals/eswa/ChenCL10,
1833   added-at = {2010-07-21T15:44:10.000+0200},
1834   author = {Chen, Wen-Jan and Chang, Chin-Chen and Le, T. Hoang Ngan},
1835   biburl = {http://www.bibsonomy.org/bibtex/228889a4ab329da28559f0910469f054b/dblp},
1836   date = {2010-05-03},
1837   ee = {http://dx.doi.org/10.1016/j.eswa.2009.09.050},
1838   interhash = {bc34a5f04661fee24ee62c39e76361be},
1839   intrahash = {28889a4ab329da28559f0910469f054b},
1840   journal = {Expert Systems with Applications},
1841   keywords = {dblp},
1842   number = 4,
1843   pages = {3292-3301},
1844   timestamp = {2010-07-21T15:44:10.000+0200},
1845   title = {High payload steganography mechanism using hybrid edge detector.},
1846   url = {http://dblp.uni-trier.de/db/journals/eswa/eswa37.html#ChenCL10},
1847   volume = 37,
1848   year = 2010
1849 }
1850
1851 @article{DBLP:journals/tifs/FillerJF11,
1852   added-at = {2011-09-29T00:00:00.000+0200},
1853   author = {Filler, Tomás and Judas, Jan and Fridrich, Jessica J.},
1854   biburl = {http://www.bibsonomy.org/bibtex/250e43c05a74eec17524b3df8db442da5/dblp},
1855   ee = {http://dx.doi.org/10.1109/TIFS.2011.2134094},
1856   interhash = {b27d23ed0c9936d568e16c51378abccd},
1857   intrahash = {50e43c05a74eec17524b3df8db442da5},
1858   journal = {IEEE Transactions on Information Forensics and Security},
1859   keywords = {dblp},
1860   number = {3-2},
1861   pages = {920-935},
1862   timestamp = {2011-09-29T00:00:00.000+0200},
1863   title = {Minimizing Additive Distortion in Steganography Using Syndrome-Trellis Codes.},
1864   url = {http://dblp.uni-trier.de/db/journals/tifs/tifs6.html#FillerJF11},
1865   volume = 6,
1866   year = 2011
1867 }
1868
1869
1870
1871
1872 @inproceedings{DBLP:conf/ih/KimDR06,
1873   added-at = {2007-09-20T00:00:00.000+0200},
1874   author = {Kim, Younhee and Duric, Zoran and Richards, Dana},
1875   biburl = {http://www.bibsonomy.org/bibtex/2f0324f70d62d9dfba568e393920aaa16/dblp},
1876   booktitle = {Information Hiding},
1877   crossref = {DBLP:conf/ih/2006},
1878   date = {2007-09-20},
1879   description = {dblp},
1880   editor = {Camenisch, Jan and Collberg, Christian S. and Johnson, Neil F. and Sallee, Phil},
1881   ee = {http://dx.doi.org/10.1007/978-3-540-74124-4_21},
1882   interhash = {399aab122b39cfd6f6e951a1b276c786},
1883   intrahash = {f0324f70d62d9dfba568e393920aaa16},
1884   isbn = {978-3-540-74123-7},
1885   keywords = {dblp},
1886   pages = {314-327},
1887   month=jul,
1888   publisher = springer,
1889   address = springer_loc,
1890   series = lncs,
1891   timestamp = {2007-09-20T00:00:00.000+0200},
1892   title = {Modified Matrix Encoding Technique for Minimal Distortion Steganography.},
1893   url = {http://dblp.uni-trier.de/db/conf/ih/ih206.html#KimDR06},
1894   volume = 4437,
1895   year = 2006
1896 }
1897
1898
1899 @proceedings{DBLP:conf/ih/2006,
1900   editor    = {Jan Camenisch and
1901                Christian S. Collberg and
1902                Neil F. Johnson and
1903                Phil Sallee},
1904   title     = {Information Hiding, 8th International Workshop, IH 2006,
1905                Alexandria, VA, USA, July 10-12, 2006. Revised Selcted Papers},
1906   booktitle = {Information Hiding},
1907   publisher = springer,
1908   address = springer_loc,
1909   series    = lncs,
1910   volume    = {4437},
1911   year      = {2007},
1912   isbn      = {978-3-540-74123-7},
1913   bibsource = {DBLP, http://dblp.uni-trier.de}
1914 }
1915
1916
1917
1918 @inproceedings{DBLP:conf/mmsec/FridrichPK07,
1919   author    = {Jessica J. Fridrich and
1920                Tom{\'a}s Pevn{\'y} and
1921                Jan Kodovsk{\'y}},
1922   title     = {Statistically undetectable jpeg steganography: dead ends
1923                challenges, and opportunities},
1924   pages     = {3-14},
1925   ee        = {http://doi.acm.org/10.1145/1288869.1288872},
1926   editor    = {Deepa Kundur and
1927                Balakrishnan Prabhakaran and
1928                Jana Dittmann and
1929                Jessica J. Fridrich},
1930   booktitle     = {Proceedings of the 9th workshop on Multimedia {\&} Security,
1931                MM{\&}Sec 2007, Dallas, Texas, USA, September 20-21, 2007},
1932   publisher = {ACM},
1933   address = {New York, NY, USA},
1934   month=sep,
1935   year      = {2007},
1936   isbn      = {978-1-59593-857-2},
1937   bibsource = {DBLP, http://dblp.uni-trier.de}
1938 }
1939
1940
1941
1942
1943 @inproceedings{DBLP:conf/mediaforensics/FillerJF10,
1944   editor    = {Nasir D. Memon and
1945                Jana Dittmann and
1946                Adnan M. Alattar and
1947                Edward J. Delp},
1948   booktitle     = {Media Forensics and Security II, part of the IS{\&}T-SPIE
1949                Electronic Imaging Symposium, San Jose, CA, USA, January
1950                18-20, 2010, Proceedings},
1951   author    = {Tom{\'a}s Filler and
1952                Jan Judas and
1953                Jessica J. Fridrich},
1954   title     = {Minimizing embedding impact in steganography using trellis-coded
1955                quantization},
1956   year      = {2010},
1957   pages     = {754105},
1958   ee        = {http://dx.doi.org/10.1117/12.838002},
1959   bibsource = {DBLP, http://dblp.uni-trier.de},
1960   publisher = spie,
1961   address = spie_loc,
1962   month = jan,
1963   series    = {SPIE Proceedings},
1964   volume    = {7541},
1965 }
1966
1967
1968
1969
1970
1971
1972
1973
1974 @proceedings{DBLP:conf/mediaforensics/2010,
1975   editor    = {Nasir D. Memon and
1976                Jana Dittmann and
1977                Adnan M. Alattar and
1978                Edward J. Delp},
1979   title     = {Media Forensics and Security II, part of the IS{\&}T-SPIE
1980                Electronic Imaging Symposium, San Jose, CA, USA, January
1981                18-20, 2010, Proceedings},
1982   booktitle = {Media Forensics and Security},
1983   publisher = spie,
1984   address = spie_loc,
1985   series    = {SPIE Proceedings},
1986   volume    = {7541},
1987   year      = {2010},
1988   isbn      = {978-0-8194-7934-1},
1989   bibsource = {DBLP, http://dblp.uni-trier.de}
1990 }
1991
1992 @article{DBLP:journals/corr/abs-1112-5239,
1993   author    = {Jacques M. Bahi and
1994                Rapha{\"e}l Couturier and
1995                Christophe Guyeux and
1996                Pierre-Cyrille H{\'e}am},
1997   title     = {Efficient and Cryptographically Secure Generation of Chaotic
1998                Pseudorandom Numbers on GPU},
1999   journal   = {CoRR},
2000   volume    = {abs/1112.5239},
2001   year      = {2011},
2002   ee        = {http://arxiv.org/abs/1112.5239},
2003   bibsource = {DBLP, http://dblp.uni-trier.de}
2004 }
2005
2006 @Misc{psnrhvsm11,
2007     author =     {Ponomarenko, Nikolay},
2008   title =        {PSNR-HVS-M page},
2009   OPThowpublished = {},
2010   OPTmonth =     {},
2011   year =         {2011},
2012   note =         {\url{http://www.ponomarenko.info/psnrhvsm.htm}},
2013   OPTannote =    {}
2014 }
2015
2016 @Misc{biqi11,
2017   OPTkey =       {},
2018   author =       {Bovik, Alan C.},
2019   title =        {BIQI page},
2020   OPThowpublished = {},
2021   OPTmonth =     {},
2022   year =         {2011},
2023   note =         {\url{http://live.ece.utexas.edu/research/quality/BIQI_release.zip}},
2024   OPTannote =    {}
2025 }
2026
2027
2028 @InProceedings{PSECAL07,
2029   author =       {Ponomarenko, Nikolay and Silvestri, Flavia and Egiazarian, Karen  and Carli, Marco and Astola, Jaakko  and Lukin,Vladimir},
2030   title =        {On between-coefficient contrast masking of DCT basis functions},
2031   booktitle = {CD-ROM Proceedings of the Third International Workshop on Video Processing and Quality Metrics for Consumer Electronics VPQM-07,Scottsdale, Arizona, USA},
2032   OPTpages =     {},
2033   year =         {2007},
2034   editor =       {Li,Baoxin},
2035   OPTvolume =    {},
2036   OPTnumber =    {},
2037   OPTseries =    {},
2038   OPTaddress =   {},
2039   month =        jan,
2040   OPTorganization = {},
2041   OPTpublisher = {},
2042   OPTnote =      {},
2043   OPTannote =    {}
2044 }
2045
2046
2047 @Article{MB10,
2048   author =       {Moorthy, Anush K. Moorthy and Bovik, Alan Conrad},
2049   title =        {A Two-Step Framework for Constructing Blind Image Quality Indices},
2050   journal =      {IEEE Signal Processing Letters},
2051   year =         {2010},
2052   volume =       {17},
2053   number =       {5},
2054   pages =        {513--516},
2055   month =        may,
2056 }
2057
2058
2059
2060
2061 @inproceedings{DBLP:conf/crypto/ShubBB82,
2062   author    = {Lenore Blum and
2063                Manuel Blum and
2064                Mike Shub},
2065   title     = {Comparison of Two Pseudo-Random Number Generators},
2066   editor    = {David Chaum and
2067                Ronald L. Rivest and
2068                Alan T. Sherman},
2069   booktitle     = {Advances in Cryptology: Proceedings of CRYPTO '82, Santa
2070                Barbara, California, USA, August 23-25, 1982},
2071   pages     = {61-78},
2072   bibsource = {DBLP, http://dblp.uni-trier.de},
2073   publisher = {Plenum Press},
2074   address={New York, NY, USA},
2075   month=aug,
2076   year      = {1983},
2077   bibsource = {DBLP, http://dblp.uni-trier.de}
2078 }
2079
2080
2081 @inproceedings{Blum:1985:EPP:19478.19501,
2082   booktitle     = {Advances in Cryptology, Proceedings of CRYPTO '84, Santa
2083                Barbara, California, USA, August 19-22, 1984, Proceedings},
2084   author    = {Manuel Blum and
2085                Shafi Goldwasser},
2086   title     = {An Efficient Probabilistic Public-Key Encryption Scheme
2087                Which Hides All Partial Information},
2088   month=aug,
2089   year      = {1985},
2090   pages     = {289-302},
2091   editor    = {G. R. Blakley and
2092                David Chaum},
2093   publisher = springer,
2094   address = springer_loc,
2095   series    = lncs,
2096   volume    = {196}
2097 }
2098
2099
2100
2101 @article{DBLP:journals/ejisec/FontaineG07,
2102   author    = {Caroline Fontaine and
2103                Fabien Galand},
2104   title     = {A Survey of Homomorphic Encryption for Nonspecialists},
2105   journal   = {EURASIP Journal on Information Security},
2106   volume    = {2007},
2107   year      = {2007},
2108   NUMBER = {1},
2109   PAGES = {013801},
2110   ee        = {http://dx.doi.org/10.1155/2007/13801},
2111   bibsource = {DBLP, http://dblp.uni-trier.de}
2112 }
2113
2114
2115 @article{Luo:2010:EAI:1824719.1824720,
2116  author = {Luo, Weiqi and Huang, Fangjun and Huang, Jiwu},
2117  title = {Edge adaptive image steganography based on LSB matching revisited},
2118  journal = {IEEE Transactions on Information Forensics and Security},
2119  volume = {5},
2120  number = {2},
2121  month = jun,
2122  year = {2010},
2123  issn = {1556-6013},
2124  pages = {201--214},
2125  numpages = {14},
2126  url = {http://dx.doi.org/10.1109/TIFS.2010.2041812},
2127  doi = {10.1109/TIFS.2010.2041812},
2128  acmid = {1824720},
2129  publisher = {IEEE Press},
2130  address = {Piscataway, NJ, USA},
2131  keywords = {Content-based steganography, content-based steganography, least-significant-bit (LSB)-based steganography, pixel-value differencing (PVD), security, steganalysis},
2132 }
2133
2134 @article{Mielikainen06,
2135   author =       {Mielikainen, J.},
2136   title =        {LSB Matching Revisited},
2137   journal =      {IEEE Signal Processing Letters},
2138   year =         {2006},
2139   OPTkey =       {},
2140   volume =       {13},
2141   number =       {5},
2142   pages =        {285--287},
2143   month =        may,
2144   OPTnote =      {},
2145   OPTannote =    {}
2146 }
2147
2148
2149
2150
2151
2152 @article{Liu:2008:FMP:1284917.1285196,
2153  author = {Liu, Qingzhong and Sung, Andrew H. and Chen, Zhongxue and Xu, Jianyun},
2154  title = {Feature mining and pattern classification for steganalysis of LSB matching steganography in grayscale images},
2155  journal = {Pattern Recogn.},
2156  issue_date = {January, 2008},
2157  volume = {41},
2158  number = {1},
2159  month = jan,
2160  year = {2008},
2161  issn = {0031-3203},
2162  pages = {56--66},
2163  numpages = {11},
2164  url = {http://dx.doi.org/10.1016/j.patcog.2007.06.005},
2165  doi = {10.1016/j.patcog.2007.06.005},
2166  acmid = {1285196},
2167  publisher = {Elsevier Science Inc.},
2168  address = {New York, NY, USA},
2169  keywords = {DENFIS, Image complexity, LSB matching, SVMRFE, Steganalysis},
2170 }
2171
2172
2173
2174 @InProceedings{LHS08,
2175   author =       {Bin Li and Jiwu Huang and Yun Q. Shi},
2176   title =        {Textural features based universal steganalysis},
2177   OPTcrossref =  {},
2178   OPTkey =       {},
2179   booktitle = {Proc. SPIE 6819},
2180   publisher = spie,
2181   address = spie_loc,
2182   pages =        {12},
2183   year =         {2008},
2184   OPTeditor =    {},
2185   OPTvolume =    {6819},
2186
2187   OPTseries =    {},
2188   OPTaddress =   {},
2189   month =        feb,
2190   OPTorganization = {},
2191   OPTpublisher = {},
2192   OPTnote =      {},
2193   OPTannote =    {}
2194 }
2195
2196
2197 @InProceedings{KF11,
2198     author = {Jan Kodovsk{\'y} and Jessica Fridrich},
2199     title = {Steganalysis in high dimensions: Fusing classifiers built on random subspaces},
2200   OPTcrossref =  {},
2201   OPTkey =       {},
2202   booktitle = { Proc. SPIE, Electronic Imaging, Media Watermarking, Security, and Forensics XIII},
2203   publisher = spie,
2204   address = spie_loc,
2205   month=feb,
2206   pages = {78800L-78800L-13},
2207   OPTpages =     {},
2208   year =         {2011},
2209   OPTeditor =    {},
2210   OPTvolume =    {},
2211   OPTnumber =    {},
2212   OPTseries =    {},
2213   OPTaddress =   {},
2214   OPTmonth =     {},
2215   OPTorganization = {},
2216   OPTpublisher = {},
2217   OPTnote =      {},
2218   OPTannote =    {}
2219 }
2220
2221 @article{DBLP:journals/tifs/KodovskyFH12,
2222   author    = {Jan Kodovsk{\'y} and
2223                Jessica J. Fridrich and
2224                Vojtech Holub},
2225   title     = {Ensemble Classifiers for Steganalysis of Digital Media},
2226   journal   = {IEEE Transactions on Information Forensics and Security},
2227   volume    = {7},
2228   number    = {2},
2229   year      = {2012},
2230   pages     = {432-444},
2231   ee        = {http://dx.doi.org/10.1109/TIFS.2011.2175919},
2232   bibsource = {DBLP, http://dblp.uni-trier.de}
2233 }
2234
2235
2236
2237 @article{Fillatre:2012:ASL:2333143.2333587,
2238  author = {Fillatre, Lionel},
2239  title = {Adaptive Steganalysis of Least Significant Bit Replacement in Grayscale Natural Images},
2240  journal = {IEEE Transactions on Signal Processing},
2241  year = {2012},
2242  volume = {60},
2243  number = {2},
2244  month = feb,
2245  issn = {1053-587X},
2246  pages = {556--569},
2247  numpages = {14},
2248  url = {http://dx.doi.org/10.1109/TSP.2011.2174231},
2249  doi = {10.1109/TSP.2011.2174231},
2250  acmid = {2333587},
2251  publisher = {IEEE Press},
2252  address = {Piscataway, NJ, USA},
2253 }
2254
2255
2256 @inproceedings{Tyan1993,
2257     abstract = {{Novel algorithms for image enhancement, filtering and edge detection using the fuzzy logic approach are proposed. An enhancement technique based on various combinations of fuzzy logic linguistic statements in the form of if-then rules modifies the image contrast and provides a linguistic approach to image enhancement. A fuzzy filtering technique based on the tuning of fuzzy membership functions in the frequency domain results in improved restoration of an image which is degraded by additive random noise. An improved performance compared with traditional mask convolution filtering is also evident from the SNR improvement of 4.03 dB. The fuzzy edge detection algorithm provides a variety of edge information. The fuzzy edge detection algorithm is compared with some existing edge detection algorithms to show its novelty}},
2258     address = ieecs_loc,
2259     publisher=ieecs,
2260     author = {Tyan, C. Y. and Wang, P. P.},
2261     booktitle = {{Proceedings of the Second IEEE International Conference on Fuzzy Systems}},
2262     citeulike-article-id = {7936501},
2263     keywords = {additive, and, approach, computational, detection, domain, edge, enhancement, filtering, frequency, functions, fuzzy, if-then, image, linguistic, linguistics, logic, membership, noise, prediction, processing, random, restoration, rules, set, statements, theory},
2264     pages = {600--605},
2265     posted-at = {2010-10-01 17:27:48},
2266     priority = {0},
2267     month=apr,
2268     title = {{Image processing-enhancement, filtering and edge detection using the fuzzy logic approach}},
2269     volume = {1},
2270     year = {1993}
2271 }
2272
2273
2274 @article{Canny:1986:CAE:11274.11275,
2275  author = {Canny, J},
2276  title = {A Computational Approach to Edge Detection},
2277  journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
2278  issue_date = {June 1986},
2279  volume = {PAMI-8},
2280  number = {6},
2281  month = jun,
2282  year = {1986},
2283  issn = {0162-8828},
2284  pages = {679--698},
2285  numpages = {20},
2286  url = {http://dx.doi.org/10.1109/TPAMI.1986.4767851},
2287  doi = {10.1109/TPAMI.1986.4767851},
2288  acmid = {11275},
2289  publisher = {IEEE Computer Society},
2290  address = {Washington, DC, USA},
2291  keywords = {Edge detection, feature extraction, image processing, machine vision, multiscale image analysis},
2292 }
2293
2294
2295 @inproceedings{DBLP:conf/ih/FridrichKHG11a,
2296   author    = {Jessica J. Fridrich and
2297                Jan Kodovsk{\'y} and
2298                Vojtech Holub and
2299                Miroslav Goljan},
2300   title     = {Steganalysis of Content-Adaptive Steganography in Spatial
2301                Domain},
2302   booktitle = {Information Hiding},
2303   year      = {2011},
2304   pages     = {102-117},
2305   ee        = {http://dx.doi.org/10.1007/978-3-642-24178-9_8},
2306   crossref  = {DBLP:conf/ih/2011},
2307   bibsource = {DBLP, http://dblp.uni-trier.de}
2308 }
2309 @proceedings{DBLP:conf/ih/2011,
2310   editor    = {Tom{\'a}s Filler and
2311                Tom{\'a}s Pevn{\'y} and
2312                Scott Craver and
2313                Andrew D. Ker},
2314   title     = {Information Hiding - 13th International Conference, IH 2011,
2315                Prague, Czech Republic, May 18-20, 2011, Revised Selected
2316                Papers},
2317   booktitle = {Information Hiding},
2318   publisher = springer,
2319   address = springer_loc,
2320   series    = lncs,
2321   volume    = {6958},
2322   year      = {2011},
2323   isbn      = {978-3-642-24177-2},
2324   ee        = {http://dx.doi.org/10.1007/978-3-642-24178-9},
2325   bibsource = {DBLP, http://dblp.uni-trier.de}
2326 }
2327
2328 @inproceedings{DBLP:conf/iwdw/Fridrich11,
2329   author    = {Jessica J. Fridrich},
2330   title     = {Modern Trends in Steganography and Steganalysis},
2331   booktitle = {IWDW},
2332   year      = {2011},
2333   pages     = {1},
2334   ee        = {http://dx.doi.org/10.1007/978-3-642-32205-1_1},
2335   crossref  = {DBLP:conf/iwdw/2011},
2336   bibsource = {DBLP, http://dblp.uni-trier.de}
2337 }
2338 @proceedings{DBLP:conf/iwdw/2011,
2339   editor    = {Yun-Qing Shi and
2340                Hyoung-Joong Kim and
2341                Fernando P{\'e}rez-Gonz{\'a}lez},
2342   title     = {Digital Forensics and Watermarking - 10th International
2343                Workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26,
2344                2011, Revised Selected Papers},
2345   booktitle = {IWDW},
2346   publisher = springer,
2347   address = springer_loc,
2348   series    = lncs,
2349   volume    = {7128},
2350   year      = {2012},
2351   isbn      = {978-3-642-32204-4},
2352   ee        = {http://dx.doi.org/10.1007/978-3-642-32205-1},
2353   bibsource = {DBLP, http://dblp.uni-trier.de}
2354 }
2355
2356
2357
2358
2359 @article{MCErlang07,
2360  author = {Fredlund, Lars-\AAke and Svensson, Hans},
2361  title = {McErlang: a model checker for a distributed functional programming language},
2362  journal = {SIGPLAN Not.},
2363  volume = {42},
2364  issue = {9},
2365  year = {2007},
2366  issn = {0362-1340},
2367  pages = {125--136},
2368  numpages = {12},
2369  publisher = {ACM},
2370 }
2371 @inproceedings{Bogor03,
2372   author    = {Robby and
2373                Matthew B. Dwyer and
2374                John Hatcliff},
2375   title     = {Bogor: an extensible and highly-modular software model checking
2376                framework},
2377   booktitle = {Proc. of the 11th ACM SIGSOFT Symposium on Foundations
2378                of Software Engineering 2003},
2379   publisher = {ACM},
2380   year      = {2003},
2381   pages     = {267-276},
2382 }
2383
2384
2385 @ARTICLE{Banks92,
2386   author = {Banks, John and J. Brooks and G. Cairns and P. Stacey},
2387   title = {On Devaney's Definition of Chaos},
2388   journal = {Amer. Math. Monthly},
2389   year = {1992},
2390   volume = {99},
2391   pages = {332--334},
2392   keywords = {(c+),},
2393   owner = {guyeux},
2394   timestamp = {27/01/2008}
2395 }
2396
2397 @article{Crook2007267,
2398 title = "Pattern recall in networks of chaotic neurons",
2399 journal = "Biosystems",
2400 volume = "87",
2401 number = "2-3",
2402 pages = "267 - 274",
2403 year = "2007",
2404 issn = "0303-2647",
2405 doi = "DOI: 10.1016/j.biosystems.2006.09.022",
2406 author = "Nigel Crook and Wee Jin Goh and Mohammad Hawarat",
2407 keywords = "Chaos",
2408 keywords = "Spiking neural network"
2409 }
2410
2411 @ARTICLE{Xiao10,
2412   author = {Li, Yantao and Deng, Shaojiang and Xiao, Di},
2413   title = {A novel Hash algorithm construction based on chaotic neural network},
2414   journal = {Neural Computing and Applications},
2415   year = {2010},
2416   pages = {1-9},
2417   affiliation = {Chongqing University College of Computer Science 400044 Chongqing
2418         China},
2419   issn = {0941-0643},
2420   keyword = {Computer Science},
2421   publisher = {Springer London}
2422 }
2423
2424 @ARTICLE{1309431,
2425 author={Satish, K. and Jayakar, T. and Tobin, C. and Madhavi, K. and Murali, K.},
2426 journal={Consumer Electronics, IEEE Transactions on}, title={Chaos based spread spectrum image steganography},
2427 year={2004},
2428 month=may,
2429 volume={50},
2430 number={2},
2431 pages={ 587 - 590},
2432 keywords={ authentication; chaos based spread spectrum image steganography; chaotic encryption; chaotic modulation; covert communication; digital security schemes; home-office environment; in-band captioning; large-scale proliferation; tamperproofing; wireless products; chaotic communication; cryptography; data encapsulation; image processing; message authentication; modulation; spread spectrum communication;},
2433 doi={10.1109/TCE.2004.1309431},
2434 }
2435
2436 @article{Zhang2005759,
2437 title = "An image encryption approach based on chaotic maps",
2438 journal = "Chaos, Solitons \& Fractals",
2439 volume = "24",
2440 number = "3",
2441 pages = "759 - 765",
2442 year = "2005",
2443 note = "",
2444 issn = "0960-0779",
2445 doi = "10.1016/j.chaos.2004.09.035",
2446 author = "Linhua Zhang and Xiaofeng Liao and Xuebing Wang"
2447 }
2448
2449 @article{Lian20091296,
2450 title = "A block cipher based on chaotic neural networks",
2451 journal = "Neurocomputing",
2452 volume = "72",
2453 number = "4-6",
2454 pages = "1296 - 1301",
2455 year = "2009",
2456 issn = "0925-2312",
2457 author = "Shiguo Lian",
2458 keywords = "Neural network",
2459 keywords = "Chaos",
2460 keywords = "Security",
2461 keywords = "Block cipher",
2462 keywords = "Image encryption"
2463 }
2464
2465 @article{Cybenko89,
2466   author    = {George Cybenko},
2467   title     = {Approximation by Superpositions of a Sigmoidal function},
2468   journal   = {Mathematics of Control, Signals and Systems},
2469   volume    = {2},
2470   year      = {1989},
2471   pages     = {303-314}
2472 }
2473
2474
2475 @article{DBLP:journals/nn/HornikSW89,
2476   author    = {Kurt Hornik and
2477                Maxwell B. Stinchcombe and
2478                Halbert White},
2479   title     = {Multilayer feedforward networks are universal approximators},
2480   journal   = {Neural Networks},
2481   volume    = {2},
2482   number    = {5},
2483   year      = {1989},
2484   pages     = {359-366},
2485   ee        = {http://dx.doi.org/10.1016/0893-6080(89)90020-8},
2486   bibsource = {DBLP, http://dblp.uni-trier.de}
2487 }
2488
2489 @article{dalkiran10,
2490    author = {Ilker Dalkiran and Kenan Danisman},
2491    affiliation = {Faculty of Engineering Erciyes University 38039 Kayseri Turkey},
2492    title = {Artificial neural network based chaotic generator for cryptology},
2493    journal = TESC,
2494    volume = {18},
2495    number = {2},
2496    pages = {225-240},
2497    year = {2010}
2498 }
2499
2500 @article{springerlink:10.1007/s00521-010-0432-2,
2501    author = {Li, Yantao and Deng, Shaojiang and Xiao, Di},
2502    affiliation = {Chongqing University College of Computer Science 400044 Chongqing China},
2503    title = {A novel Hash algorithm construction based on chaotic neural network},
2504    journal = {Neural Computing and Applications},
2505    publisher = {Springer},
2506    issn = {0941-0643},
2507    keyword = {Computer Science},
2508    pages = {1-9},
2509    year = {2010}
2510 }
2511
2512
2513 @article{Feder2009NTB,
2514  author = {Feder, Tom\'{a}s and Subi, Carlos},
2515  title = {Nearly Tight Bounds on the Number of Hamiltonian Circuits of the Hypercube and Generalizations},
2516  journal = {Inf. Process. Lett.},
2517  issue_date = {February, 2009},
2518  volume = {109},
2519  number = {5},
2520  month = feb,
2521  year = {2009},
2522  issn = {0020-0190},
2523  pages = {267--272},
2524  numpages = {6},
2525  url = {http://dx.doi.org/10.1016/j.ipl.2008.10.015},
2526  doi = {10.1016/j.ipl.2008.10.015},
2527  acmid = {1496515},
2528  publisher = {Elsevier North-Holland, Inc.},
2529  address = {Amsterdam, The Netherlands, The Netherlands},
2530  keywords = {Cartesian products, Counting problems, Hamiltonian circuits, Hypercube, Matchings},
2531 }
2532
2533
2534
2535 @Article{ZanSup04,
2536   author={Zanten, A.~J.~van and Suparta, I.~N.},
2537   title={ Totally balanced and exponentially balanced Gray codes},
2538   journal={Discrete Analysis and Operational Research},
2539   series={Ser.~1},
2540   year={2004},
2541   volume={11},
2542   issue={4},
2543   pages={81--98}
2544 }
2545
2546 @book{LevinPeresWilmer2006,
2547   added-at = {2010-01-19T17:51:27.000+0100},
2548   author = {Levin, David A. and Peres, Yuval and Wilmer, Elizabeth L.},
2549   biburl = {http://www.bibsonomy.org/bibtex/2097dc4d1d0e412b2444f540b04110797/tmalsburg},
2550   interhash = {61354795a6accb6407bfdbf04753a683},
2551   intrahash = {097dc4d1d0e412b2444f540b04110797},
2552   keywords = {markovchains probabilitytheory textbook},
2553   publisher = {American Mathematical Society},
2554   timestamp = {2010-01-19T17:51:27.000+0100},
2555   title = {{Markov chains and mixing times}},
2556   url = {http://scholar.google.com/scholar.bib?q=info:3wf9IU94tyMJ:scholar.google.com/&output=citation&hl=en&as_sdt=2000&ct=citation&cd=0},
2557   year = 2006
2558 }
2559
2560  @Book{proba,
2561   author =      {M. Mitzenmacher and Eli Upfal},
2562   ALTeditor =      {},
2563   title =      {Probability and Computing},
2564   publisher =      {Cambridge University Press},
2565   year =      {2005},
2566 }
2567
2568 @misc{Mons14,
2569 inhal = {no},
2570 domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO},
2571 equipe = {and},
2572 classement = {COM},
2573 author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
2574 title = {Traversing a n-cube without Balanced Hamiltonian Cycle to Generate Pseudorandom Numbers},
2575 howpublished = {15-th Mons Theoretical Computer Science Days (15e Journ\'ees Montoises d'Informatique Th\'eorique), Nancy, France},
2576 day = 23,
2577 month = sep,
2578 year = 2014,
2579
2580 }