Login / Signup

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections.

Marie-Laure PotetLaurent MounierMaxime PuysLouis Dureuil
Published in: ICST (2014)
Keyphrases
  • control flow
  • data flow
  • high level
  • software engineering
  • error correction
  • multi agent
  • user interface
  • object oriented
  • test set
  • information security
  • symbolic representation
  • software testing