Computationally Complete Symbolic Attacker in Action (bibtex)
by Gergei Bana, Pedro Adão, Hideki Sakurada
Reference:
Computationally Complete Symbolic Attacker in Action (Gergei Bana, Pedro Adão, Hideki Sakurada), In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), 2012.
Bibtex Entry:
@InProceedings{ban:ada:sak:LIPIcs:2012,
  author ={Gergei Bana and Pedro Ad\~ao and Hideki Sakurada},
  title ={{Computationally Complete Symbolic Attacker in Action}},
  booktitle ={IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  year ={2012},
  annote ={To Appear}
}
Powered by bibtexbrowser