2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2018★ 2 cited
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…
cs.CR2017★ 1 cited
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…