Formal Verification of Wireless Charging Standard Qi
Kazuhiro Fujita, Kazuki Yoneyama · 2024
Wireless charging standard Qi is widely used, especially for smartphones, thanks to the convenience of charging the device simply by placing it on the charger. However, wireless charging has several security concerns. There is a great risk of making unintended connections because devices do not require any cable for connection. The privacy risk is also a concern because the charging history of devices such as smartphones and smartwatches may leak information like behavioral patterns if a charger can trace it. For these reasons, it is desirable to verify the security of wireless charging protocols formally.