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), volume 18, 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},
  volume = 18,
  pages     = {546--560}
}
Powered by bibtexbrowser