166 citations · 264 across the 5 of their papers we have counts for
5 papers
Securing Access to Untrusted Services From TEEs with GateKeeper
Meni Orenbach, Bar Raveh, Alon Berkenstadt +3
Applications running in Trusted Execution Environments (TEEs) commonly use untrusted external services such as host File System. Adversaries may maliciously alter the normal servic…
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts
Shelly Grossman, Ittai Abraham, Guy Golan-Gueta +4
Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by exter…
SpaceTEE: Secure and Tamper-Proof Computing in Space using CubeSats
Yan Michalevsky, Yonatan Winetraub
Sensitive computation often has to be performed in a trusted execution environment (TEE), which, in turn, requires tamper-proof hardware. If the computational fabric can be tampere…
PowerSpy: Location Tracking using Mobile Device Power Analysis
Yan Michalevsky, Gabi Nakibly, Aaron Schulman +2
Modern mobile platforms like Android enable applications to read aggregate power usage on the phone. This information is considered harmless and reading it requires no user permiss…
Mobile Device Identification via Sensor Fingerprinting
Hristo Bojinov, Yan Michalevsky, Gabi Nakibly +1
We demonstrate how the multitude of sensors on a smartphone can be used to construct a reliable hardware fingerprint of the phone. Such a fingerprint can be used to de-anonymize mo…