Search Results - "Tuch Harvey" :: K.UTB vyhledávací portál

Loading…

Formal Verification of C Systems Code: Structured Types, Separation Logic and Theorem Proving

by Tuch, Harvey
Published in Journal of automated reasoning (01.04.2009)

Get full text

Journal Article

Loading…

Formal Verification of C Systems CodeStructured Types, Separation Logic and Theorem Proving

by Tuch, Harvey
Published in Journal of automated reasoning (01.04.2009)

Get full text

Journal Article

Loading…

A Unified Memory Model for Pointers

by Tuch, Harvey, Klein, Gerwin
Published in Lecture notes in computer science (2005)

Get full text

Book Chapter Conference Proceeding

Loading…

Structured Types and Separation Logic

by Tuch, Harvey
Published in Electronic notes in theoretical computer science (21.07.2008)

Get full text

Journal Article

Loading…

Hypervisor context switching using TLB tags in processors having more than two hierarchical privilege levels

by Tuch, Harvey, Warkentin, Andrei
Year of Publication 25.12.2018

Get full text

Patent

Loading…

REMOTE PROVISIONING OF HOSTS IN PUBLIC CLOUDS

by WARKENTIN, Andrei, TUCH, Harvey, LAM, William
Year of Publication 03.03.2022

Get full text

Patent

Loading…

Hypervisor context switching using a trampoline scheme in processors having more than two hierarchical privilege levels

by Tuch, Harvey, Warkentin, Andrei
Year of Publication 10.07.2018

Get full text

Patent

Loading…

Device simulation in a secure mode supported by hardware architectures

by Tuch, Harvey, Warkentin, Andrei
Year of Publication 24.04.2018

Get full text

Patent

Loading…

Remote provisioning of hosts in public clouds

by Tuch, Harvey, Lam, William, Warkentin, Andrei
Year of Publication 17.08.2021

Get full text

Patent

Loading…

Safely discovering secure monitors and hypervisor implementations in systems operable at multiple hierarchical privilege levels

by Tuch Harvey, Warkentin Andrei
Year of Publication 09.01.2018

Get full text

Patent

Loading…

Partitioning a hypervisor into virtual hypervisors

by Tuch, Harvey, Fainkichen, Alexander, Warkentin, Andrei, Laplace, Cyprien
Year of Publication 23.08.2022

Get full text

Patent

Loading…

Creating a communication channel between different privilege levels using wait-for-event instruction in systems operable at multiple levels hierarchical privilege levels

by Tuch Harvey, Warkentin Andrei
Year of Publication 03.01.2017

Get full text

Patent

Loading…

Implementing upcall from secure to non-secure mode by injecting exception into non-secure mode

by Tuch Harvey, Warkentin Andrei
Year of Publication 11.10.2016

Get full text

Patent

Loading…

Exposing memory-mapped IO devices to drivers by emulating PCI bus and PCI device configuration space

by Tuch, Harvey, Fainkichen, Alexander, Warkentin, Andrei
Year of Publication 14.01.2020

Get full text

Patent

Loading…

Secondary CPU MMU initialization using page fault exception

by WARKENTIN ANDREI, TUCH HARVEY
Year of Publication 05.07.2016

Get full text

Patent

Loading…

Method and system to impose enterprise security mechanisms throughout a mobile application lifecycle

by TUCH HARVEY, HUNG PERRY
Year of Publication 05.07.2016

Get full text

Patent

Loading…

SAFELY DISCOVERING SECURE MONITORS AND HYPERVISOR IMPLEMENTATIONS IN SYSTEMS OPERABLE AT MULTIPLE HIERARCHICAL PRIVILEGE LEVELS

by WARKENTIN ANDREI, TUCH HARVEY
Year of Publication 16.06.2016

Get full text

Patent

Loading…

CREATING A COMMUNICATION CHANNEL BETWEEN DIFFERENT PRIVILEGE LEVELS USING WAIT-FOR-EVENT INSTRUCTION IN SYSTEMS OPERABLE AT MULTIPLE HIERARCHICAL PRIVILEGE LEVELS

by WARKENTIN ANDREI, TUCH HARVEY
Year of Publication 16.06.2016

Get full text

Patent

Loading…

SECONDARY CPU MMU INITIALIZATION USING PAGE FAULT EXCEPTION

by WARKENTIN ANDREI, TUCH HARVEY
Year of Publication 16.06.2016

Get full text

Patent

Loading…

HYPERVISOR CONTEXT SWITCHING USING A TRAMPOLINE SCHEME IN PROCESSORS HAVING MORE THAN TWO HIERARCHICAL PRIVILEGE LEVELS

by WARKENTIN ANDREI, TUCH HARVEY
Year of Publication 24.12.2015

Get full text

Patent

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database