18 citations · 19 across the 3 of their papers we have counts for
3 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…
AmiGo: Computational Design of Amigurumi Crochet Patterns
Michal Edelstein, Hila Peleg, Shachar Itzhaky +1
We propose an approach for generating crochet instructions (patterns) from an input 3D model. We focus on Amigurumi, which are knitted stuffed toys. Given a closed triangle mesh, a…
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Oren Ish Shalom, Shachar Itzhaky, Noam Rinetzky +1
Automatic verification of array manipulating programs is a challenging problem because it often amounts to the inference of in ductive quantified loop invariants which, in some cas…