3 papers
cs.CR2024
VoltSchemer: Use Voltage Noise to Manipulate Your Wireless Charger
Zihao Zhan, Yirui Yang, Haoqi Shan +3
Wireless charging is becoming an increasingly popular charging solution in portable electronic products for a more convenient and safer charging experience than conventional wired…
cs.AR2023
Improving FSM State Enumeration Performance for Hardware Security with RECUT and REFSM-SAT
Jim Geist, Travis Meade, Shaojie Zhang +1
Finite state machines (FSM's) are implemented with sequential circuits and are used to orchestrate the operation of hardware designs. Sequential obfuscation schemes aimed at preven…
cs.CR2023
LightEMU: Hardware Assisted Fuzzing of Trusted Applications
Haoqi Shan, Sravani Nissankararao, Yujia Liu +4
Trusted Execution Environments (TEEs) are deployed in many CPU designs because of the confidentiality and integrity guarantees they provide. ARM TrustZone is a TEE extensively depl…