A Robust Algorithm for Sniffing BLE Long-Lived Connections in Real-time

Bluetooth Low Energy (BLE) has become an intrinsic wireless technology for the Internet of Things (IoT). With the proliferation of BLE-embedded IoT devices, it is important to study the security and privacy implications of BLE. The forefront attack to BLE devices is the wireless sniffing attack, which would lead to more detrimental threats like jamming, encryption cracking or system penetration. Existing sniffing attacks are based on the correct detection of BLE connection initiation state, but they become ineffective for BLE long-lived connections. In this paper, we focus on the adversary setting with a low-cost single radio and develop a suite of real-time algorithms to determine the key parameters necessary to follow and sniff a BLE connection in the connected state. We implement our algorithms in the open source platform -Ubertooth One and evaluate its performance in terms of sniffing overhead and accuracy. By comparing with state-of-the-art schemes, experimental results show that our sniffer achieves much higher sniffing accuracy (over 80%) and better stability to BLE operational dynamics.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 5

10/02/2020

A State-of-the-Art Review on IoT botnet Attack Detection

The Internet as we know it Today, comprises several fundamental interrel...
10/09/2019

BrokenStrokes: On the (in)Security of Wireless Keyboards

Wireless devices resorting to event-triggered communications have been p...
05/03/2019

HADES-IoT: A Practical Host-Based Anomaly Detection System for IoT Devices (Extended Version)

Internet of Things (IoT) devices have become ubiquitous and are spread a...
06/05/2020

Graph Layer Security: Encrypting Information via Common Networked Physics

The proliferation of low cost Internet of Things (IoT) devices demands n...
11/20/2020

A lightweight cryptography (LWC) framework to secure memory heap in Internet of Things

The extensive networking of devices and the large amount of data generat...
02/05/2018

Musical Chair: Efficient Real-Time Recognition Using Collaborative IoT Devices

The prevalence of Internet of things (IoT) devices and abundance of sens...
10/16/2020

SAIBERSOC: Synthetic Attack Injection to Benchmark and Evaluate the Performance of Security Operation Centers

In this paper we introduce SAIBERSOC, a tool and methodology enabling se...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

I Introduction

Since its inception, Bluetooth has evolved continuously, creating innovative ways for things to connect. BLE was first introduced in version 4.0 of the Bluetooth Standard [1]. It differs from classic Bluetooth with respect to modulation mode and link layer packet format, and was developed mainly targeting low power embedded devices.

Due to its ubiquitous presence, reliability [2], significant reduction in energy consumption and mesh networking capability [3]

, BLE has become the dominant wireless connectivity standard for IoT. In 2018 alone, 4.7 billion BLE devices were shipped which is estimated to double by 2020

[4]. Such a wide adoption rate unfortunately raises security and privacy alarm. For instance, BLE fitness trackers could become the target by adversaries for location tracking [5]; cellphone could be hijacked by injecting malformed packets via BLE interface [6]. Thus, it becomes imperative to assess the security and privacy implications of BLE devices.

Bluetooth specification defines several security mechanisms for authentication and link layer security, but it is often seen that developers ignore these security measures to trade for design simplicity and to obtain fast market access. There is some well-documented case of attacks on BLE devices that comprise of intervening BLE connections, stealing private information [7, 8, 9] and jamming [10]. These active attacks, although detrimental, can be easily detected by intrusion detection systems [11, 12].

An interesting but fully unexplored attack is the BLE sniffing, which is stealthy and intends to compromise user privacy or cause further system penetration. However, it is very difficult to sniff and follow a BLE connection because BLE employs the adaptive frequency hopping (AFH) spread spectrum scheme where it rapidly switches the carrier frequency in a pseudo-random manner. The parameters for determining the AFH pattern are only exchanged during the establishment of connection in the initiating state. Moreover, to avoid power interference in ISM band, AFH frequently modifies the hopping pattern which makes it even more difficult to sniff.

There are several possible ways to sniff a BLE connection. One way is to use wide-band sniffers that can sniff multiple channels at a time. This may not be prohibitively expensive to less-capable adversaries (e.g., $25K for a Bluetooth protocol analyzer[13]). There also exist some low-cost, open source but narrow-band sniffers [14, 15, 16] which either requires to establish a connection with the BLE victim device or observe the establishment of a BLE connection to extract the AFH parameters. If BLE victim devices are already in connected state, one way is to jam the connection and force it to re-pair and thus observe the AFH parameters [17]

. Such an attack is known as re-pair attack and as stated earlier can be easily detected and avoided by intrusion detection systems. Moreover, such jamming is ineffective as the attacker has no idea of the BLE hopping pattern (unless it jams all BLE channels). In addition to that, due to advertisements on 3 channels, the probability of detecting the connection parameters decreases to 33.3%. This is even greatly reduced in the presence of co-channel interference.

In this paper, we investigate the stealthy sniffing of a BLE connection that has been established for a while. We present the design, implementation, and evaluation of our algorithm that utilizes a single-channel and low-cost radio device for determining the BLE AFH pattern. The algorithm basically observes a single channel at a time and determines the AFH parameters namely connection interval , hop increment and the channel map in real-time. Next, we implement our design in the open source platform —Ubertooth One [18] and evaluate its performance.

The rest of the paper is organized as follows. Section II introduces the most recent literatures on this topic. Section III provides background on BLE communication focusing on the link layer specification. The proposed algorithms for determining the BLE AFH parameters are described in Section IV. We describe our experimental methodology and evaluate its performance in Section V. Finally, Section VI concludes the paper.

Ii Related Works

Bluetooth has enjoyed high penetration rate in smartphones and consumer electronics in recent years. This has sparked interest among researchers to look into the privacy and security implications of Bluetooth. BlueEar [19]

is a (classic) Bluetooth traffic sniffer developed based on a dual-radio architecture. One of the radios called scout hops through all the channels to monitor interference and target’s packet transmission, which is then used by the other radio called the snooper to hop and follow the target. The system uses probabilistic clock matching algorithm to determine basic hopping pattern, and statistical model with a lightweight machine learning algorithm to predict adaptive hopping behavior. Their method shows a packet capture rate of 90% in a real-world environment.

With the recent growth of interest in IoT devices, the focus of deployment quickly shifted towards BLE. BLE specification presents security mechanisms for device authentication, data encryption and redundancy checks at the link layer. However, recent studies have shown the possibility to bypass such security measures. Das et al. in [20] demonstrate how BLE traffic of fitness trackers can be correlated with the intensity of user’s activity and thus be used to identify and track him/her in the crowd. In Das’s experiment, they use off-the-shelf, expensive and proprietary packet sniffers to observe control packets from all three advertisement channels.

Aforementioned sniffing attacks are based on multi-radio platforms which could be prohibitively expensive for less-capable adversaries. Currently, one popular platform —Ubertooth One is an open-source, single-radio and cheap Bluetooth sniffer that was developed by Ryan et al. [17]. This is a powerful sniffer that is relied on observing advertisement packets and looking for AFH parameters to follow. As stated earlier it is difficult to sniff a BLE connection after the connection has been already established. In [17], Ryan et al. imply how AFH parameters can be extracted from a long-lived BLE connection via jamming. Moreover, Ryan et al. also demonstrate a proof-of-concept of key re-negotiation and man-in-the-middle (MitM) attack to BLE devices.

Bluetooth Low Energy Multi (BLE-Multi) [21] is a firmware extension to Ubertooth One which enables tracking of multiple simultaneous long-lived connections. It uses transmission of empty packets to determine the anchor point of each connection event and connection timing. Moreover, it achieves multi-connection sniffing by opportunistically switching between connections when they move from active to sleep mode. Similar researches include the work by Cheng et al. [22] which demonstrate an attack to IEEE 802.15.4e (Zigbee) where they crack the TSCH channel hopping algorithm based on a wide-band receiver to monitor all the channels.

Our work is similar to that of Ryan’s, but we consider a more realistic environment and tackles all the complexities associated with it. One of the important assumptions made by Ryan during his demonstration is that BLE connections use all 37 data channels, but in reality this is not the case due to AFH. Therefore, the algorithms provided by Ryan perform poorly in the practical environment. In this work, we consider a realistic situation where BLE adopts adaptive frequency hopping and the connection has been established for a while. Our algorithm is designed to extract the AFH parameters on-the-fly. Though our algorithm is deployed on the Ubertooth One platform, it is platform independent and can be deployed on any system.

Iii BLE Preliminaries

BLE operates in the 2.4 GHz ISM band at frequency 2408 – 2483.5 MHz. The whole spectrum is divided into 40 channels with 2 MHz spacing and indexed from 0 to 39. Among these channels, three channels (channel 37, 38 and 39) are used for advertising and the rest 37 channels are used for data communications. In this section, we will provide an overview of the BLE advertising and data communication process.

Fig. 1 gives an overview of the BLE Link Layer states along with the communication process. A device in the standby state does not transmit or receive packets. When a device is in advertising state, it continuously broadcasts advertisement packets in the advertising channels. The BLE specification recommends to use all three advertising channels, but any manufacturer can use less than three channels for energy efficiency at the cost of reliability. Advertisements (a.k.a., beacons) are sent periodically at intervals, which consist of a fixed delay of 20ms – 10.24s and a random delay of 0 – 10ms. The random delay ensures the reduction of collision of advertisement packets from multiple devices. Both BLE advertisement and data packets have the same format that contains a preamble, access address (AA), packet data unit (PDU) and cyclic redundancy check (CRC). The AA for the advertisement packets is fixed (0x8E89BED6) and for the data packets, it varies for each connection. The time interval between two consecutive packets on the same channel is 150us and is denoted by .

A device in the scanning state continuously listens to advertisement packets. It may query further information from the advertiser through a scan request (SCAN_REQ) packet, to which the advertiser responds with a scan response (SCAN_RSP) message.

When a device wants to establish a connection, it goes to the initiating state and sends a connection request packet (CONNECT_REQ) to the advertiser that contains the required parameters to establish the connection. When the request is accepted by the advertiser, both the devices go to the connected state. The first regular connection event is scheduled after + time from the CONNECT_REQ and within the interval. In this state, the advertiser takes the slave role whereas the initiator as the master.

Figure 1: BLE Link Layer states with connection establishment procedure and data flow.

In the connected state, BLE devices hop to a new channel every time interval to exchange packets following the channel selection algorithm as specified in the BLE specification. The is selected between 7.5ms to 4s through negotiation between the master and slave. The BLE channel selection algorithm is used to select the next channel to be hopped to. It takes in three parameters: , and last unmapped channel . The

is a bit sequence of 40 bits corresponding to the 40 BLE channels. It classifies the channels as Used and Unused based on the master’s channel assessment algorithm. If a channel is Used, a bit value of ‘1’ is assigned to its position value and vice versa. For any BLE connection, the minimum number of channels to be used is two. The

is a number randomly selected between 5 and 16 which specifies the number of channels to be skipped on each hop. It is to be noted that for a particular connection the and remains constant. The can be updated through a channel map update request packet (LL_CHANNEL_MAP_REQ). The BLE channel selection algorithm is illustrated in Fig. 2.

Figure 2: BLE channel selection algorithm.

Iv Real-time BLE Sniffing Algorithm

Iv-a System Model

We consider an indoor environment where BLE devices have limited mobility, if not fully static. Most BLE devices are in the connected state to exchange data while some of them could be in advertisement state to broadcast beacon signals. For the former ones, AFH is employed to select carrier frequency to transmit data whereas the latter ones follow fixed frequency hopping pattern (channel 37 38 39 37) to broadcast messages. All BLE devices (v4.0 or beyond) apply 128-bit AES for payload encryption but the packet header is in plaintext.

Iv-B Attack Model

Suppose an adversary, Eve, stays in close proximity to victim BLE devices (e.g., in the same building). Eve has limited resources in terms of accessible equipments and computation capability. Specifically, we assume Eve carries a single-radio sniffer with a simple protocol analyzer like Wireshark. The adversarial objective is to follow a target BLE device’s connection and sniff its airborne packets, which could lead to location tracking. Although the attack is passive and stealthy, Eve may latter launch jamming attacks to disconnect the connection or inject malformed packets to take over victim BLE devices. For those in the advertisement state, sniffing is trivial. The challenge to Eve is to crack the target’s AFH pattern when it is in the connected state, which is the focus of this work.

Iv-C Real-time BLE Sniffing Algorithms

Here is the overview of our idea. First, Eve stays on a BLE channel and filters out the target via its AA or MAC address in the plaintext header. Next, Eve attempts to crack AFH pattern by determining , and one after another. The nature of AFH parameters is that and are constant for an established connection while varies over time depending on the power interference level. As a result, the update of would totally change the hopping pattern and thus making it difficult to sniff a BLE connection. In what follows, we discuss how to address this challenge and derive corresponding AFH parameters.

Iv-C1 Determining

The hopping pattern of BLE connection is repetitive for a given channel map . We leverage this property to extract the connection interval during a grace period when remains unchanged . In this section, we first prove that BLE hopping pattern is repetitive for a given channel map and then describe the algorithm for the derivation of connection interval.

Lemma IV.1.

BLE channel hopping has a repetition period of 37 for a given channel map.

Proof.

According to the Linear Congruential Generator algorithm [23], the sequence of pseudo-random values is given by,

(1)

when, 0, will have a period of if and only if

  1. [label=()]

  2. and are relatively prime

  3. is divisible by all prime factors of and

  4. is divisible by 4 if is divisible by 4

In BLE AFH, the channel selection algorithm is given by,

(2)

It has the same form as Eq. (1) for = 1. Moreover, given 37 is a prime number, it satisfies the conditions (i) and (ii). Thus, we claim that the AFH pattern in BLE communication has a period of m = 37. ∎

Figure 3: BLE frequency hopping diagram where the blue block represents the observed channel

Fig. 3 shows the repetitive property of a BLE connection. When there is no update, the hopping pattern repeat itself every intervals, where = 37*. For determining connection interval, we set the sniffer to stay at single frequency channel (e.g., channel 0) and record the time difference between adjacent packet receptions. We then compare and analyze the set of ’ in real-time and find the repetitive pattern among them. For accuracy, we compare this pattern for a defined repetitions (e.g., 3). The sum of all ’ in a single pattern is which accounts for 37 hops. Then, the connection interval is calculated as

(3)

As shown in Fig. 3, it is important to note that a channel may appear multiple times within a 37-hop period (i.e., ) when the number of used channels in is less than 37. Among these appearances, only one channel is truly mapped while the rest are re-mapped.

Iv-C2 Determining

Suppose at time we observe channel and then we jump to channel and observe it at time . Then, the total number of hops from to is given by

(4)

According to [17], we can determine the as follows:

(5)

Here, the integer . If the channel and appear only once within period , they are truly mapped channels and we can determine using Eq. (5). However, in reality, channel map generally contains less than 37 channels and each channel can appear multiple times within , as the channel 0 (blue block) shown in Fig. 3. In this case, Eq. (5) would give a wrong if any of channel and is remapped. In general, suppose there are appearances in and appearances in within each period . We would have hop increment values for any combination of these channels. It is mathematically infeasible to determine which is the correct one, although we could narrow down the searching space by eliminating . In light of this, if observing two channels would not give a valid while unique , we observe a third channel which may also appear times within period , as shown in Fig. 4. In so doing, we find the hop increment from channel and . By intersecting two results, namely and , the correct would be identified. Although we may need to observe more channels in extreme cases, our empirical study shows is found by observing at most three channels by applying a probabilistic rule that the mostly appeared (over 50%) is the correct one. In this case, the specific combination of , and that gives the correct are true channels.

Figure 4: Determining hop increment given multiple appearances of a channel within period

To give a clear picture, the algorithm for determining is stated below.

0:  Initialize set containing observations of
0:  
  hop to channel and observe for time and generate set containing observations of ;
  hop to channel and repeat prior step to generate set ;
3:  for  and  do
     calculate =
     if   then
6:        for   do
           calculate =
           if  then
9:              store in set
              save as true channels
           end if
12:        end for
     end if
  end for
Algorithm 1 Algorithm for determining

Iv-C3 Determining

To get , we let the sniffer mimic victim BLE devices’ behavior that runs the same channel hopping algorithm as in Eq. (2) based on the derived and . In so doing, after 37 hops, the attacker shall know which channels are in and which are not. However, the starting channel must be a truly mapped channel; otherwise, the attacker loses synchronization with the victim BLE connection. Therefore, after determining , we first move to a truly mapped channel determined in the previous step. We then use Eq. (2) to calculate the next channel to be hopped and move to that channel earlier than the victim BLE devices (e.g., sooner). This ensures that we have enough time to observe the connection on that channel. We repeat the above process till completing all 37 hops. If we observe target AA in any channel we mark it as Used, otherwise we mark it as Unused. Upon completion, the set of Used channels is the channel map of the current BLE connection. The algorithm for determining the channel map is stated below.

0:  Initialize = observed truly mapped channel,
0:  
  for count = 1, count 37, count++ do
     set channel =
     if packet containing target AA is observed then
4:        mark the channel as Used
        append it to
     else
        set the channel as Unused
8:     end if
  end for
Algorithm 2 Algorithm for determining of

Now we know all parameters required to follow a BLE connection. One important thing to note is that when channel map updates, we will not be able to immediately detect it as this information is encrypted in the payload. As a result, we may lose synchronization with the BLE connection and our sniffing performance will be hampered. To mitigate this problem, we keep track of the number of missed packets in a sliding window. If it exceeds a certain threshold, we assume that a channel map update has taken place and we re-run Alg. 2 to calculate the channel map. Recall that and do not change during the BLE connection.

V Performance Evaluation

In this section we evaluate the performance of our algorithm. We first describe the setup and evaluation metrics, and then discuss results in details.

V-a Experiment Setup

We implement our algorithm in the open source platform Ubertooth One. To develop the firmware and program, we use the Ubertooth One with a Linux based PC. As shown in Fig. 5, our experiment platform consists of two Ubertooth One devices connected to a Linux PC. One of them runs the default Follow Mode (as benchmark) whereas the other one runs our developed algorithms. We use Cypress BLE platforms as test devices and setup one device as the master and another one as the slave. The main reason for choosing Cypress is that it provides a controlled environment that can freely change AFH parameters. This gives us enough flexibility to test our algorithms for different settings.

We carry out several experiments that were necessary to understand the BLE characteristics and evaluate the performance of our developed algorithms. Specifically, we perform the following experiments:

  1. We evaluate the accuracy and latency of our algorithms in extracting the AFH parameters. In this case, we set the to update every 15s, 30s and 60s respectively.

  2. Next, we compare the performance of our system in sniffing data packets with that of Ubertooth One in follow mode. The follow mode needs to observe BLE advertisements and look for a connection request packet from which it will extract all the required AFH parameters. After that, it goes to the data channel and starts to follow the connection. We then run our sniffer, which starts to follow the connection after extracting AFH parameters from data channels. Now, we send 100 data packets every 100ms in the first setting and 250ms in the second one.

Figure 5: Experiment setup in an indoor controlled environment
(a)
(b)
(c)
Figure 6: (a) latency in deriving AFH parameters; (b) sniffing accuracy in 100ms data sending rate; (c) sniffing accuracy in 250ms setting.

V-B Performance Analysis Of AFH Parameter Calculation

First, we present the theoretical analysis of computation overhead of determining each AFH parameter. For , we need to observe the connection for at least i.e., hops. For accuracy, we observe the connection for interval and compare the hopping pattern for times, where . In so doing, we increase the accuracy but incurs higher latency. In a non-ideal case where channel map updates during calculation, this will increase the time taken for determining . For , ideally observing 3 channels in shall yield the correct hop increment. However, if we want more accuracy, we observe different channels for time, where . Next for , we first pick a truly mapped channel and then continue to hop for , which theoretically would give us . However, if there is a channel map update during calculation, the hopping pattern will change and we will have wrong values in . Thus, the latency for determining could be any multiplier of period .

Experimentally, the accuracy of determining the AFH parameters is given in Table I. Besides, Fig. 6 shows the latency (calculated in terms of hops) of correctly determining AFH parameters for same settings of and but different frequencies of update. From Fig. 6, we see that the latency decreases as the frequency of update increases which justifies our previous reasoning.

V-C Performance Evaluation of Packet Sniffing

We now evaluate the performance of our system in sniffing data packets and compare it with the Ubertooth One in follow mode. Two separate settings are examined where 100 data packets are transmitted every 100ms and every 250ms, respectively. During data transmissions, we update BLE devices’ channel map based on a predefined frequency. From Fig. 6 and Fig. 6, we observe that the accuracy for our sniffer increases as the frequency of update decreases. This is because the connection stays stable (i.e., AFH parameters remain unchanged) for long time and we do not need to run our algorithm frequently. On the other hand, the Ubertooth One follow mode exhibit the opposite trend. This is because the follow mode relies on BLE control packets to keep track of channel map.

Parameter 15s 30s 60s
100% 100% 100%
100% 96% 96%
100% 96% 96%
Table I: Accuracy for determining BLE AFH parameters

However, the performance of follow mode shows a larger variance than ours. The reason is that if the follow mode misses the packet containing

update, it will not be able to re-sync until it receives the next update packet. On the contrary, our sniffer does not rely on BLE control packets. Whenever it gets de-synchronized with the BLE connection, it re-runs the algorithm to resume following the BLE connection.

Vi Conclusion

In this work, we presented algorithms to determine the BLE connection parameters to crack its adaptive frequency hopping protocol, which leads to accurately sniffing BLE long-lived connections. We implemented our algorithms in the open source platform–Ubertooth One and evaluated its performance against a benchmark scheme. Our experimental results demonstrated the feasibility of the proposed algorithms in terms of low latency and high accuracy. We see that our algorithms can calculate AFH parameters with 96% accuracy and sniff more than 80% of the transmitted data.

References

  • [1] Bluetooth Special Interest Group, “Bluetooth core specification v5.1,” 2019, https://www.bluetooth.com/specifications/bluetooth-core-specification.
  • [2] M. O. Al Kalaa, W. Balid, N. Bitar, and H. H. Refai, “Evaluating bluetooth low energy in realistic wireless environments,” in 2016 IEEE Wireless Communications and Networking Conference.   IEEE, 2016, pp. 1–6.
  • [3] S. Darroudi and C. Gomez, “Bluetooth low energy mesh networks: A survey,” Sensors, vol. 17, no. 7, p. 1467, 2017.
  • [4] “Statista,” https://www.statista.com/statistics/750569/worldwide-bluetooth-low-energy-device-market-volume/., [Online; accessed 1-April-2019].
  • [5] W. Zhou and S. Piramuthu, “Security/privacy of wearable fitness tracking iot devices,” in 2014 9th Iberian Conference on Information Systems and Technologies (CISTI).   IEEE, 2014, pp. 1–5.
  • [6] B. Seri and G. Vishnepolsky, “Blueborne,” Armis.[online], 2017.
  • [7] S. Sandhya and K. S. Devi, “Analysis of bluetooth threats and v4. 0 security features,” in 2012 International Conference on Computing, Communication and Applications.   IEEE, 2012, pp. 1–4.
  • [8] Y. Qu and P. Chan, “Assessing vulnerabilities in bluetooth low energy (ble) wireless network based iot systems,” in 2016 IEEE 2nd International Conference on Big Data Security on Cloud (BigDataSecurity), IEEE International Conference on High Performance and Smart Computing (HPSC), and IEEE International Conference on Intelligent Data and Security (IDS).   IEEE, 2016, pp. 42–48.
  • [9] A. Lonzetta, P. Cope, J. Campbell, B. Mohd, and T. Hayajneh, “Security vulnerabilities in bluetooth technology as used in iot,” Journal of Sensor and Actuator Networks, vol. 7, no. 3, p. 28, 2018.
  • [10] S. Brauer, A. Zubow, S. Zehl, M. Roshandel, and S. Mashhadi-Sohi, “On practical selective jamming of bluetooth low energy advertising,” in 2016 IEEE Conference on Standards for Communications and Networking (CSCN).   IEEE, 2016, pp. 1–6.
  • [11] K. Fawaz, K.-H. Kim, and K. G. Shin, “Protecting privacy of BLE device users,” in 25th USENIX Security Symposium (USENIX Security 16).   Austin, TX: USENIX Association, 2016, pp. 1205–1221. [Online]. Available: https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/fawaz
  • [12] T. OConnor and D. Reeves, “Bluetooth network-based misuse detection,” in 2008 Annual Computer Security Applications Conference (ACSAC).   IEEE, 2008, pp. 377–391.
  • [13] FTE, “Frontline test equipments.” [Online]. Available: http://www.fte.com/
  • [14] “Bluefruit le sniffer,” https://www.adafruit.com/product/2269.
  • [15] “Cysmart – bluetooth le test and debug tool,” https://www.cypress.com/documentation/software-and-drivers/cysmart-bluetooth-le-test-and-debug-tool.
  • [16] “Smartrf protocol packet sniffer,” http://www.ti.com/tool/PACKET-SNIFFER.
  • [17] M. Ryan, “Bluetooth: With low energy comes low security,” in Presented as part of the 7th USENIX Workshop on Offensive Technologies, 2013.
  • [18] “Ubertooth one,” https://greatscottgadgets.com/ubertoothone/.
  • [19] W. Albazrqaoe, J. Huang, and G. Xing, “Practical bluetooth traffic sniffing: Systems and privacy implications,” in Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services.   ACM, 2016, pp. 333–345.
  • [20] A. K. Das, P. H. Pathak, C.-N. Chuah, and P. Mohapatra, “Uncovering privacy leakage in ble network traffic of wearable fitness trackers,” in Proceedings of the 17th International Workshop on Mobile Computing Systems and Applications.   ACM, 2016, pp. 99–104.
  • [21] J. G. del Arroyo, J. Bindewald, S. Graham, and M. Rice, “Enabling bluetooth low energy auditing through synchronized tracking of multiple connections,” International Journal of Critical Infrastructure Protection, vol. 18, pp. 58–70, 2017.
  • [22] X. Cheng and M. Sha, “Cracking the tsch channel hopping in ieee 802.15. 4e,” in Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security.   ACM, 2018, pp. 2210–2212.
  • [23] “Linear congruential generator,” https://en.wikipedia.org/wiki/Linear
    _congruential_generator/.