Michael Kiperberg

This paper presents Truly-protect, a system, incorporating a virtual machine, that enables execution of encrypted programs. Expand

We present Truly-Protect that is a software protection method that is resistant not only to Rolles' attack but also to any other attacks that do not violate the assumptions. Expand

The research on network security concentrates mainly on securing the communication channels between two endpoints, which is insufficient if the authenticity of one of the endpoints cannot be determined with certainty. Expand

The business world is exhibiting a growing dependency on computer systems, their operations and the databases they contain. Expand

We propose a method that is based on cryptography and virtualization. Expand

We propose a hypervisor-based memory acquisition method that solves the two aforementioned deficiencies. Expand

The red pill and blue pill situation on Intel and AMD virtualizations circa 2018 and the eighth generation of core iX CPUs. Expand

This paper presents and compares two methodologies that perform just-in-time decryption: in-place and buffered execution. Expand

We describe an efficient system for ensuring code integrity of an operating system (OS), both its own code and application code. Expand