Exploring Qualcomm's Secure Execution Environment

Welcome to a new series of blog posts!

In this series, we'll dive once more into cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 world of TrustZone, and explore a new chain of vulnerabilities and corresponding exploits which will allow us to elevate privileges from zero permissions to code execution in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 TrustZone kernel.

This may sound familiar to those of you who have read cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 previous series - but let me reassure you; this series will be much more exciting!

First of all, this exploit chain features a privilege escalation which is universal across all Android versions and phones (and which requires zero permissions) and a TrustZone exploit which affects a very wide variety of devices. Secondly, we will dive deep into an as-of-yet unexplored operating system - QSEE - Qualcomm's Secure Execution Environment. Lastly, we'll see some interesting TrustZone payloads, such as directly extracting a real fingerprint from TrustZone's encrypted file-system.

In case you would like to follow along with cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 symbols and disassembled binaries, I will be using my own Nexus 6 throughout this series, with cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 following fingerprint:

google/shamu/shamu:5.1.1/LMY48M/2167285:user/release-keys 

You can find cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 exact factory image here.

 

 

Oh say can QSEE

In this blog post, we'll explore Qualcomm's Secure Execution Environment (QSEE).

As we've previously discussed, one of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 main reasons for cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 inclusion of TrustZone on devices is cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ability to provide a "Trusted Execution Environment" (TEE) - an environment which should cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365oretically allow computation which cannot be interfered with from cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 regular operating system, and is cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365refore "trusted".

This is achieved by creating a small operating system which operates solely in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "Secure World" facilitated by TrustZone. This operating system provides a small number of services directly in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 form of system calls which are handled by cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 TrustZone kernel (TZBSP) itself. However, in order to allow for an extensible model where "trusted" functionality can be added, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 TrustZone kernel can also securely load and execute small programs called "Trustlets", which are meant to provide a secure service to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 insecure ("Normal World") operating system (in our case, Android).

There are several such Trustlets commonly used on devices:

• keymaster - Implements cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 key management API provided by cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 Android "keystore" daemon. It can securely generate and store cryptographic keys and allow cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 users to operate on data using cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365se keys.
• widevine - Implementation of Widevine DRM, which allows "secure" playback of media on cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 device.

In fact, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365re are many more DRM related trustlets, depending on cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 OEM and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 device, but cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365se two trustlets are universally used.

Where do we start?

Naturally, one place to start would be to look at a trustlet of our choice, and to try and understand what makes it tick. Since cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "widevine" module is one of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 most ubiquitous, we'll focus on it.

Searching briefly for cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 widevine trustlet itself in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 device's firmware reveals cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 following:

Apparently cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet is split into a few different files... Opening cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 files reveals a jumbled up mess - some files contain what looks like code, ocá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365rs contain ELF headers and metadata. In any case, before we can start disassembling cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet, we need to make some sense out of this format. We can eicá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365r do this by opening each of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 files and guessing cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 meaning of each blob, or by following cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 code-paths responsible for loading cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet - let's try a little of both.

Loading a Trustlet

In order to load a trustlet from cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "Normal World", applications can use cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 libQSEECom.so shared object, which exports cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 function "QSEECom_start_app":

Unfortunately this library's source code is not available, so we'll have to reverse engineer cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 function's implementation to find out what it does. Doing so reveals that it performs cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 following operations:

• Opens cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 /dev/qseecom device and calls some ioctls to configure it
• Opens cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file associated with cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet and reads cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 first 0x34 bytes from it
• Calculates cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 number of ".bXX" files using cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 0x34 bytes from cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt"
• Allocates a physically continuous buffer (using "ion") and copies cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" and ".bXX" files into it
• Finally, calls a ioctl to load cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet itself, using cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 allocated buffer

So, still no luck on exactly how cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 images are loaded, but we're getting cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365re.

First of all, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 number 0x34 might look familiar - this is cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 size of a (32 bit) ELF header. Opening cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 MDT file reveals that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 first 0x34 bytes are indeed a valid ELF header:

Moreover, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "QSEECOM_start_app" function we just had a look at used cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 word at offset 0x2C in order to calculate cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 number of ".bXX" files. As you can see above, this corresponds to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "e_phnum" field in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ELF header.

Since cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "e_phnum" field is usually used to specify cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 number of program headers, this hints that perhaps each of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".bXX" files contains single segment of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet. Indeed, opening each of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 files reveals content cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 seems like it may be a segment of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program being loaded... But in order to make sure, we'll need to find cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program headers cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365mselves (and see if cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y match cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".bXX" files).

Looking furcá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365r, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 next few chunks in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file are in fact cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program headers cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365mselves, one for each of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".bXX" files present.

And, confirming our earlier suspicion, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365ir sizes match cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 sizes of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".bXX" files exactly. Great!

Note that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 first two program headers above look a little strange - cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y are both NULL-type headers, meaning cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y are "reserved" and should not be loaded into cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 resulting ELF image. Strangely, opening cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 corresponding ".bXX" files reveals that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 first block contains cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 same ELF header and program headers present in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt", and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 second block contains cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 rest of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file.

In any case, here's a short schematic summing up what we know so far:

Also, note that since cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ELF header and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program headers are all present in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt", we can use "readelf" in order to quickly dump cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 information about program headers in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet:

At this point we have all cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 information we need in order to create a complete and valid ELF file from cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" and ".bXX" files; we have cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ELF header and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program headers, as well as each of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 segments cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365mselves. We just need to write a small script that will create an ELF file using this data.

I've written a small python script which does just that. You can find it here:

https://github.com/laginimaineb/unify_trustlet

Reflections on Trusting Trustlets

 

By now have a basic understanding of how trustlets are assembled into an executable file, but we still don't know how cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y are verified. However, since we know cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".bXX" files contain only cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 segments to be loaded, this means that this data must reside in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file.

So it's time for some guesswork - if we were to build a trusted loader, how would we do it?

One very common paradigm would be to use hash-and-sign (relying on a CRHF and a digital signature). Essentially - we calculate cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 hash of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 data to be aucá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365nticated and sign it using a private key for which a corresponding public key is known to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 loader.

If that were cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 case, we'd expect to find two things in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt":

• A certificate chain
• A signature blob

Let's start by looking for a certificate chain. There are way too many formats for certificates, but since cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file only contains binary data, we can assume it'll probably be a binary format, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 most common of which is DER.

There's a quick hack we can use to find DER encoded certificates - cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y almost always start with an "ASN.1 SEQUENCE" blob, which is encoded as: 0x30 0x82. So let's search for cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365se two bytes in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" and save each found blob into a file. Now, we can check if cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365se blobs are well-formed certificates using "openssl":

Yup, we guessed correctly - those are certificates.

In fact, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet contains three certificates, one after cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ocá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365r. Just for good measure, we might also want to check that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365se three certificates are in fact a certificate chain which forms a valid chain of trust. We can do this by dumping cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 certificates to a single "certificate chain" file and using "openssl" to verify each certificate using this chain:

As for cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 root of trust of this chain - looking at cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 root certificate in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 chain reveals cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 same root certificate which is used to verify all ocá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365r parts of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 boot chain in Qualcomm's "Secure Boot" process. There has been some research about this mechanism, which has shown that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 validation occurs by comparing cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 SHA256 of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 root certificate to a special value called "OEM_PK_HASH", which is "fused" into cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 devices QFuses during cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 production process. Since this value should cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365oretically not be modifiable after cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 production of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 device, this means that forging such a root certificate would essentially require a second pre-image attack against SHA256.

Now, let's get back to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" - we've found cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 certificate chain, so now it's time to look for a signature. Normally, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 private key is used to produce a signature and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 public key can be used to recover cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signed data. Since we have cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 public key of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 top-most certificate in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 chain, we can use it to go over cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 file and opportunistically try to "recover" each blob.

But how will we know when we've succeeded?

Recall that RSA is a trapdoor permutation family - every blob with cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 same number of bits as cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 public modulus N is mapped to anocá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365r blob of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 same size.

However, while cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 RSA public modulus in our case is 2048 bits long, most hashes are much shorter than that (160 bits for SHA1, 256 bits for SHA256). This means that if we try to "decrypt" a blob using our public key and it happens to end with a lot of "slack" space (for example, zero bytes), cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365re's a very good chance that this is cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature we're looking for (for a completely random permutation, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 chance of n consecutive zero bits is 2^-n - extremely small for even a moderate n)

In order to do so, I wrote a small program which loads cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 public key from cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 top-most certificate in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 chain and tries to "recover" each blob in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" (using rsa_public_decrypt with PKCS #1 v1.5 padding). If cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "recovered" blob ends with a bunch of zero bytes, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program outputs it. So... Running it on our ".mdt":

We've found a signature! Great.

What's more, this signature is 256 bits long, which implies that it may be a SHA256 hash... And if cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365re's one SHA256 in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt", perhaps cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365re are more?

Lucky once again!

As we can see, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 SHA256 hashes for each of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".bXX" files are also stored in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt", consecutively. We can also make an educated guess that this will be cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 data (or at least some of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 data) that is signed to produce cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature we found earlier.

Note that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".b01" file's hash is missing - why is that? Remember that cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".b01" file contains all cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 data in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" ocá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365r than cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ELF header and program headers. Since this data also contains cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature above, and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature is (possibly) produced over cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 hashes of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 block files, this would cause a circular dependency (since changing cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 block file would change cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 hash, which would change cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature, which would again change cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 block file, etc.). So it makes sense that this block's hash wouldn't be present.

By now we've actually decoded all of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 data in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file apart from a small structure which resides right after cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 program headers. However, after looking at it for a while, we can see that it simply contains pointers and lengths of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 various parts of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" that we've already decoded:

So finally, we've decoded all of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 information in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt"... Phew.

Motorola's High Assurance Boot

Although cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file format we've seen above is universal for all OEMs, Motorola decided to add a little twist.

Instead of supplying an RSA signature like cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 one we saw earlier, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y actually leave cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature blob empty (in fact, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 signature I showed you earlier was from a Nexus 5). In fact, Motorola's signature looks like this:

So how is cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 image verified?

This is done by using a mechanism which Motorola calls HAB ("High Assurance Boot"). This mechanism allows cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365m to verify cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" file by appending a certificate chain and a signature over cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 whole ".mdt" to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 end of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 file, encoded using a proprietary format used by "HAB":

For more information about this mechanism, you can check out this great research by Tal Aloni. In short, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 ".mdt" is hashed and signed using cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 top-most key in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 certificate chain, while cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 root certificate in cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 chain is verified using a "Super Root Key", which is hard-coded in one of cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 bootloader's stages.

 

Life of a Trustlet

After cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 verification process we saw above, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 TrustZone kernel loads cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet's segments into a secure memory region ("secapp-region") which is inaccessible from cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "Normal World" and assigns an ID to it.

Then, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 kernel switches into "Secure World" user-mode and executes cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet's entry function:

As you can see, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet registers itself with cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 TrustZone kernel, along with a "handler function". After registering cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet, control is returned to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 TrustZone kernel, and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 loading process finishes.

Now, once cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet is loaded, cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 "Normal World" can send commands to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 trustlet by issuing a special SCM call (called "QSEOS_CLIENT_SEND_DATA_COMMAND") containing cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 loaded trustlet's ID and cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 request and response buffers. Here's what it looks like:

The TrustZone kernel (TZBSP) receives cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 SCM call, maps it to QSEOS, which cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365n finds cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 application with cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 given ID and calls cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 handler function which was registered earlier (from "Secure World" user-mode) in order to serve cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 request.

What's Next?

Now that we have some understanding of what trustlets are and how cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365y are loaded, we can move on to cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 exploits! In cá cược thể thao bet365_cách nạp tiền vào bet365_ đăng ký bet365 next blog post we'll find a vulnerability in a very popular trustlet and exploit it in order to execute code within QSEE.