Papers in proceedings

• Choh Man Teng and Gregory Wheeler, Robustness of Evidential Probability, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-16), (Short paper), (url), 2010.
• Marco Carvalho and Choh Man Teng, Automatic discovery of attack messages and pre- and post-conditions for attack graph generation, Proceedings of the Fifth International Conference on Information-Warfare and Security, Pag. 378-387, 2010.