David Plaquin

PROTECTING INFORMATION REGARDING MACHINE LEARNING MODELS

CONTROLLING EXECUTION OF MACHINE LEARNING MODELS

GENERATING STATEMENTS

Determining electric field distributions

MONITORING SIDE CHANNELS

GENERATING PRIME NUMBERS

GENERATING KEYS

MALWARE IDENTIFICATION

INTEGRITY MONITOR

INTERCEPTING DEVICES

Data protection in a pre-operation system environment based on an embedded key of an embedded controller

RESPONSE TO OPERATING SYSTEM INTRUSION

EXECUTING INSTRUCTIONS

UPDATING A SECURITY POLICY

Executing software

Integrated circuit(s) with anti-glitch canary circuit(s)

REGULATING ACCESS

Active testing of access control policy

Platform configurations

Monitoring control-flow integrity

Intrusion resilient applications

Validity of data sets stored in memory

Monitoring access

Intrusion detection systems

Mitigating actions

Detecting a change to system management mode bios code

Bios security

System management mode privilege architecture

Runtime verification using external device

SYSTEM MANAGEMENT MODE TEST OPERATIONS

REMOTE ATTESTATION OF A NETWORK ENDPOINT DEVICE

MIGRATION OF COMPUTER SYSTEMS

Indicating a privilege level

Systems and methods for restricting write access to non-volatile memory

Detecting a change to system management mode bios code

Hardware-protective data processing systems and methods using an application executing in a secure domain

Methods, devices and data structures for trusted data

Computer operating system data management

Data handling apparatus and methods

Associating a signing key with a software component of a computing platform

Dynamic trust management

Methods, devices and data structures for trusted data

Access to a computing environment by computing devices

Monitoring method and system

Apparatus and method for creating a trusted environment

Method of and apparatus for controlling access to data