A deductive method for simulating faults in logic circuits, IEEE Transactions on Computers, vol.100, issue.5, pp.464-471, 1972. ,
Defense against the dark arts, ACM SIGCSE Bulletin, vol.40, issue.1, pp.315-319, 2008. ,
Code obfuscation literature survey, 2005. ,
The sorcerer's apprentice guide to fault attacks, Proceedings of the IEEE, vol.94, issue.2, pp.370-382, 2006. ,
Java Card operand stack: fault attacks, combined attacks and countermeasures, International Conference on Smart Card Research and Advanced Applications, pp.297-313, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00692171
Attacks on Java Card 3.0 combining fault and logical attacks, International Conference on Smart Card Research and Advanced Applications, pp.148-163, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00692165
Low voltage fault attacks on the RSA cryptosystem, Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), pp.23-31, 2009. ,
Randomized instruction set emulation, ACM Transactions on Information and System Security (TISSEC), vol.8, issue.1, pp.3-40, 2005. ,
A new CRT-RSA algorithm secure against bellcore attacks, Proceedings of the 10th ACM conference on Computer and communications security, pp.311-320, 2003. ,
On the importance of checking cryptographic protocols for faults, International conference on the theory and applications of cryptographic techniques, pp.37-51, 1997. ,
Code obfuscation techniques for metamorphic viruses, Journal in Computer Virology, vol.4, issue.3, pp.211-220, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00353061
Combined software and hardware attacks on the Java Card control flow, International Conference on Smart Card Research and Advanced Applications, pp.283-296, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00684616
The ultimate control flow transfer in a Java based smart card, Computers & Security, vol.50, pp.33-46, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01211370
Constraint satisfaction problems: Algorithms and applications, European Journal of Operational Research, vol.119, issue.3, pp.557-581, 1999. ,
Let's shock our IoT's heart: ARMv7-M under (fault) attacks, Proceedings of the 13th International Conference on Availability, Reliability and Security, p.33, 2018. ,
Code obfuscation techniques for software protection, 2012. ,
Constraint-based test input generation for Java bytecode, IEEE 21st International Symposium on Software Reliability Engineering (ISSRE), pp.131-140, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00699236
Manufacturing Cheap Resilient and Stealthy Opaque Constructs. roc, ymp. Principles of Programming Languages (POPL'98), 1998. ,
A taxonomy of obfuscating transformations, 1997. ,
Intellectual property protection using obfuscation, Proceedings of SAS 2009, vol.4779, pp.133-144, 2009. ,
Obfuscation with Mixed Boolean-Arithmetic Expressions: reconstruction, analysis and simplification tools, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01623849
Android security: a survey of issues, malware penetration, and defenses, IEEE communications surveys & tutorials, vol.17, issue.2, pp.998-1022, 2015. ,
Malware analysis and classification: A survey, Journal of Information Security, vol.5, issue.02, p.56, 2014. ,
Silicon-level solutions to counteract passive and active attacks, FDTC, pp.3-17, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00311431
The use of lasers to simulate radiation-induced transients in semiconductor devices and circuits, IEEE Transactions on Nuclear Science, vol.39, pp.1647-1653, 1992. ,
Virus in a smart card: Myth or reality, Journal of Information Security and Applications, vol.18, issue.2-3, pp.130-137, 2013. ,
Vers une approche de construction de virus pour cartesà puce basée sur la résolution de contraintes. Actes de la 13èmeédition dAFADL, Atelier Francophone sur les Approches Formelles dans lAssistance au Développement de Logiciels, 2014. ,
Design and use of fault simulation for saturn computer design, IEEE Transactions on Electronic Computers, issue.4, pp.412-429, 1967. ,
Diversification and obfuscation techniques for software security: A systematic literature review, Information and Software Technology, 2018. ,
The temperature side channel and heating fault attacks, International Conference on Smart Card Research and Advanced Applications, pp.219-235, 2013. ,
Obfuscator-LLVMsoftware protection for the masses, IEEE/ACM 1st International Workshop on Software Protection (SPRO), pp.3-9, 2015. ,
Hardware designer's guide to fault attacks, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.21, pp.2295-2306, 2013. ,
Countering code-injection attacks with instruction-set randomization, Proceedings of the 10th ACM conference on Computer and communications security, pp.272-280, 2003. ,
Characterising a CPU fault attack model via run-time data analysis, IEEE International Symposium on Hardware Oriented Security and Trust (HOST), pp.79-84, 2017. ,
On the effects of clock and power supply tampering on two microcontroller platforms, Fault Diagnosis and Tolerance in Cryptography (FDTC), pp.8-17, 2014. ,
Algorithms for constraint-satisfaction problems: A survey. AI magazine, vol.13, p.32, 1992. ,
Java Card combined attacks with localization-agnostic fault injection, International Conference on Smart Card Research and Advanced Applications, pp.31-45, 2012. ,
Java control flow obfuscation, 1998. ,
On the effectiveness of source code transformations for binary obfuscation, Proceedings of the International Conference on Software Engineering Research and Practice (SERP06), pp.527-533, 2006. ,
Deductive fault simulation with functional blocks, IEEE Transactions on Computers, issue.8, pp.689-695, 1978. ,
Reverse engineering Java Card and vulnerability exploitation: a shortcut to ROM, International Journal of Information Security, pp.1-16, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01887577
Persistent fault injection attack from white-box to black-box, 5th International Conference on Electrical Engineering Boumerdes (ICEE-B), pp.1-6, 2017. ,
Solution techniques for constraint satisfaction problems: Foundations, Artificial Intelligence Review, vol.15, issue.4, pp.243-267, 2001. ,
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller, Workshop on Fault Diagnosis and Tolerance in Cryptography, pp.77-88, 2013. ,
URL : https://hal.archives-ouvertes.fr/emse-00871218
Buffer overflow attack with multiple fault injection and a proven countermeasure, Journal of Cryptographic Engineering, vol.7, issue.1, pp.35-46, 2017. ,
Version 3.0.5 Classic Edition : Virtual Machine Specification, Oracle America, 2015. ,
Fault attacks, injection techniques and tools for simulation, Hardware Security and Trust, pp.27-47 ,
, , 2017.
Camouflage in malware: from encryption to metamorphism, International Journal of Computer Science and Network Security, vol.12, issue.8, pp.74-83, 2012. ,
, High precision fault injections on the instruction cache of ARMv7-M architectures, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01208378
Optical and EM fault-attacks on CRT-based RSA: Concrete results. na, 2007. ,
Challenge of Malware Analysis: Malware obfuscation Techniques, International Journal of Information Security Science, vol.7, issue.3, pp.100-110, 2018. ,
Detecting and classifying morphed malwares: A survey, International Journal of Computer Applications, vol.122, issue.10, 2015. ,
Optical fault induction attacks, ternational workshop on cryptographic hardware and embedded systems, pp.2-12 ,
, , 2002.
Controlling PC on ARM using fault injection, Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), pp.25-35, 2016. ,
Foundations of constraint satisfaction, 1995. ,
Fault-test analysis techniques based on logic simulation, Proceedings of the 9th Design Automation Workshop, pp.111-115, 1972. ,
Combined attacks and countermeasures, International Conference on Smart Card Research and Advanced Applications, pp.133-147 ,
URL : https://hal.archives-ouvertes.fr/hal-01056108
, , 2010.
Cryptanalysis of a provably secure CRT-RSA algorithm, Proceedings of the 11th ACM conference on Computer and communications security, pp.92-97, 2004. ,
On the Utility of Higher Order Fault Models for Fault Injections, 2015. ,
, On Secure and Usable Program Obfuscation: A Survey, 2017.
Malware obfuscation techniques: A brief survey, International Conference on Broadband, Wireless Computing, Communication and Applications (BWCCA), pp.297-300, 2010. ,
Fault Attacks on Secure Embedded Software: Threats, Design, and Evaluation, Journal of Hardware and Systems Security, pp.1-20, 2018. ,