Home Publications

Compiling symbolic attacks to protocol implementation tests

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • Ghabri, Hatem
  • Maatoug, Ghazi
  • Rusinowitch, Michael
Editor: Bouhoula, Adel and Ida, Tetsuo and Kamareddine, Fairouz Volume: 122
Book title: Proceedings Fourth International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia, 15-17 December 2012
Series: Electronic Proceedings in Theoretical Computer Science Pages: 39-49
partners: INRIA, SupCom Tunis ; projects: Nessos; TIER: unknown; citations: 2