To Go Further And so ends this introduction to software reverse engineering. I hope you enjoyed the format of this course and found it useful! However, it's important to remember that reverse engineering is all about practice! In addition to numerous blog posts and related resources, there are
Basics Remote attestation lets a trusted verifier check the integrity of a remote, typically untrusted, prover. Integrity checks can be done at: the firmware level (microcode, BIOS), the operating system level (kernel image, driver), and the application level (executable, dynamic library, configuration file). The security assumptions of remote attestation are
Confidential Data in the Cloud Cloud computing has caused a major change in the IT world. Securely processing private or sensitive data in the cloud is not always possible, and sometimes it’s even against the rules (for example, business, medical, or banking data). Encrypting data is only part of
Cryptography Security Models The black-box security model is when attackers view cryptographic tools as oracles that follow a particular API. It is mainly used by cryptographers to prove the security of cryptographic schemes, often by reducing the security of a cryptographic algorithm to the hardness of a hard problem, such
Symbolic Execution In computer science, symbolic execution is a means of analyzing a program to determine what inputs cause each part of a program to execute. Source: Wikipedia In other words, one looks to follow the execution flow of a program by assuming symbolic values (i.e., x, y, z)