Qortek, Inc.

Space Sciences Corporation

Lindsay O Quarrie

Gareth J Knowles

Lawrence John Dickson

Robert M Fryer

A method and apparatus for 'ring fencing' an operating system, with any apps or programs running on that operating system, in such a way that all operations of the apps, programs, and operating system use real resources only with the permission or through the intermediation of a resource allocator programmed to allow only secure access to a known finite set of resources. The list of kinds of resources is short, and the list of resources is under the explicit control of the resource allocator, which is programmed with Communicating Sequential Processes techniques so as to give formally verifiable assurance of predefined security requirements. At the same time, the full features of the operating system are supported with minimal changes in its kernel and no changes in app or program binary code that accesses real resources via calls or bytecode that drives dynamic system libraries or a runtime environment.

Finite resource allocator with intrinsically subordinate operating system

An apparatus, method and system for securing proprietary semiconductor IC components including a target semiconductor IC; at least one laser diode array disposed adjacent to the target semiconductor IC and coupled thereto; a power supply coupled to the at least one laser diode array; a sensor for sensing a predetermined parameter operatively coupled to the laser diode array through the power supply; wherein the sensor detects the existence of a predetermined event and as a result of the detection of the predetermined event activates the power supply and energizes the laser diode array, causing the laser diode array to project focused laser energy into the target semiconductor IC, damaging the target semiconductor IC.

Growing community of inventors

Socorro, NM, United States of America

Lindsay O Quarrie