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
Anti-debugging -a developers view, 2009. ,
Program obfuscation, Proceedings of the 2007 ACM workshop on Quality of protection , QoP '07, pp.15-20, 2007. ,
DOI : 10.1145/1314257.1314263
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
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
Exploiting code mobility for dynamic binary obfuscation, Proceedings of the WorldCIS 2011: 1st World Congress on Internet Security, pp.114-120, 2011. ,
A taxonomy of obfuscating transformation, 1997. ,
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
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
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
Formalizing information security knowledge, Proceedings of CCS 2009: the 4th International Symposium on Information, Computer, and Communications Security, pp.183-194, 2009. ,
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. ,
Analyzing Attack Trees using Generalized Stochastic Petri Nets, 2006 IEEE Information Assurance Workshop, pp.116-123, 2006. ,
DOI : 10.1109/IAW.2006.1652085
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
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
Using bayesian networks for cyber security analysis, Proceedings of DSN 2010: the 40th International Conference on Dependable Systems and Networks, pp.211-220, 2010. ,
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
Collaborative attack modeling, Proceedings of the 2002 ACM symposium on Applied computing , SAC '02, pp.253-259, 2002. ,
DOI : 10.1145/508791.508843
System and method for cyber security analysis and human behavior prediction, 2016. ,