C. Basile, D. Canavese, J. D-'annoville, D. Sutter, B. Valenza et al., Automatic Discovery of Software Attacks via Backward Reasoning, 2015 IEEE/ACM 1st International Workshop on Software Protection, pp.52-58, 2015.
DOI : 10.1109/SPRO.2015.17

URL : http://users.elis.ugent.be/%7Ebrdsutte/research/publications/2015SPRObasile.pdf

T. Shields, Anti-debugging -a developers view, 2009.

B. Anckaert, M. Madou, D. Sutter, B. Bus, B. D. Bosschere et al., Program obfuscation, Proceedings of the 2007 ACM workshop on Quality of protection , QoP '07, pp.15-20, 2007.
DOI : 10.1145/1314257.1314263

M. Ceccato, M. D. Preda, J. Nagra, C. Collberg, and P. Tonella, Barrier Slicing for Remote Software Trusting, Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007), pp.27-36, 2007.
DOI : 10.1109/SCAM.2007.27

URL : http://selab.fbk.eu/tonella/papers/scam2007.pdf

H. Chang and M. J. Atallah, Protecting Software Code by Guards, Proceedings of CCS 2001: the 8th Conference on Computer and Communications Security, pp.160-175, 2001.
DOI : 10.1007/3-540-47870-1_10

URL : http://profs.sci.univr.it/~giaco/download/Watermarking-Obfuscation/guard-protection.pdf

P. Falcarin, S. D. Carlo, A. Cabutto, N. Garazzino, and D. Barberis, Exploiting code mobility for dynamic binary obfuscation, Proceedings of the WorldCIS 2011: 1st World Congress on Internet Security, pp.114-120, 2011.

C. Collberg, C. Thomborson, and D. Low, A taxonomy of obfuscating transformation, 1997.

G. Coker, J. Guttman, P. Loscocco, A. Herzog, J. Millen et al., Principles of remote attestation, International Journal of Information Security, vol.197, issue.1, pp.63-81, 2011.
DOI : 10.1016/j.entcs.2007.10.014

URL : http://web.cs.wpi.edu/~guttman/pubs/remote_attest.pdf

A. Ekelhart, S. Fenz, and T. Neubauer, Ontology-Based Decision Support for Information Security Risk Management, 2009 Fourth International Conference on Systems, pp.80-85, 2009.
DOI : 10.1109/ICONS.2009.8

S. Fenz, T. Neubauer, R. Accorsi, and T. Koslowski, FORISK: Formalizing information security risk and compliance management, 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), pp.1-4, 2013.
DOI : 10.1109/DSNW.2013.6615533

URL : http://www.informatik.uni-freiburg.de/~accorsi/papers/DSN2013.pdf

S. F. Ekelhart, Formalizing information security knowledge, Proceedings of CCS 2009: the 4th International Symposium on Information, Computer, and Communications Security, pp.183-194, 2009.

S. Fenz, A. Ekelhart, and T. Neubauer, Information security risk management: In which security solutions is it worth investing? Communications of the Association for, Information Systems, vol.28, pp.329-356, 2011.

G. C. Dalton, R. F. Mills, J. M. Colombi, and R. A. Raines, Analyzing Attack Trees using Generalized Stochastic Petri Nets, 2006 IEEE Information Assurance Workshop, pp.116-123, 2006.
DOI : 10.1109/IAW.2006.1652085

O. M. Dahl and S. D. Wolthusen, Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets, Fourth IEEE International Workshop on Information Assurance (IWIA'06), pp.157-168, 2006.
DOI : 10.1109/IWIA.2006.17

URL : http://www.wolthusen.com/publications/IWIA2006.pdf

L. Yao, P. Dong, T. Zheng, H. Zhang, X. Du et al., Network security analyzing and modeling based on Petri net and Attack tree for SDN, 2016 International Conference on Computing, Networking and Communications (ICNC), pp.1-5, 2016.
DOI : 10.1109/ICCNC.2016.7440631

P. Xie, J. H. Li, X. Ou, P. Liu, and R. Levy, Using bayesian networks for cyber security analysis, Proceedings of DSN 2010: the 40th International Conference on Dependable Systems and Networks, pp.211-220, 2010.

N. Poolsappasit, R. Dewri, and I. Ray, Dynamic security risk management using bayesian attack graphs. Dependable and Secure Computing, IEEE Transactions on, vol.9, pp.61-74, 2012.
DOI : 10.1109/tdsc.2011.34

J. Steffan and M. Schumacher, Collaborative attack modeling, Proceedings of the 2002 ACM symposium on Applied computing , SAC '02, pp.253-259, 2002.
DOI : 10.1145/508791.508843

G. Bassett, System and method for cyber security analysis and human behavior prediction, 2016.