10 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.CR2023
A Last-Level Defense for Application Integrity and Confidentiality
Gabriel P. Fernandez, Andrey Brito, Ardhi Putra Pratama Hartono +2
Our objective is to protect the integrity and confidentiality of applications operating in untrusted environments. Trusted Execution Environments (TEEs) are not a panacea. Hardware…
cs.LO2017★ 10 cited
Towards Probabilistic Formal Modeling of Robotic Cell Injection Systems
Muhammad Usama Sardar, Osman Hasan
Cell injection is a technique in the domain of biological cell micro-manipulation for the delivery of small volumes of samples into the suspended or adherent cells. It has been wid…