Nagravision S.a.

Steven Seltzer

Scott Jantz

Edouard Forler

Jonathan Borgeaud

Disclosed herein are methods and systems for validating an autonomous system that comprises a static-code module and a dynamic-code module, the method including the steps of performing a code-integrity-validation process on the static-code module and performing a behavior-integrity-validation process on the dynamic-code module. In some embodiments, performing the code-integrity-validation process on the static-code module includes performing a signature-verification process on the static-code module. In some embodiments, performing the behavior-integrity-validation process on the dynamic-code module includes using an encrypted-and-signed test vector. In some embodiments, performing the behavior-integrity-validation process on the dynamic-code module includes selecting a test vector from among a plurality of test vectors, generating a modified test vector at least in part by modifying the selected test vector, and performing the behavior-integrity-validation process on the dynamic-code module using the modified test vector.

Methods and systems for validating an autonomous system that includes a dynamic-code module and a static-code module

Methods and apparatus are provided that relate to receiving a bit pattern that is representative of a binary data sequence; generating a multi-bit data byte sequence that is representative of the bit pattern by, for at least one bit in the bit pattern: outputting a larger-valued multi-bit data byte that is larger than a byte-sequencer reference data byte according to a first criteria, outputting a smaller-valued multi-bit data byte that is smaller than the byte-sequencer reference data byte according to a second criteria; and encoding the generated multi-bit data byte sequence by, for each generated multi-bit data byte: outputting a single bit whose value is indicative of whether the generated multi-bit data byte is larger or smaller than a current reference multi-bit data byte and updating the current reference multi-bit data byte based on the generated multi-bit data byte.

Methods and systems for transmission of arbitrary data via bluetooth HFP audio connections with low latency

A wireless-communication device includes a user interface configured to receive audio signals; a cryptographic module configured to encrypt the audio signals into a binary data sequence; a generator module configured to: receive a bit pattern representative of the binary data sequence; and generate a byte sequence representative of the bit pattern by generating a byte that is greater than the preceding byte when the current bit is of a first value and that is lesser than the preceding byte when the current bit is of a second value; an audio codec configured to generate transmission bits by generating a transmission bit having the first value when the current byte is greater than the preceding byte and having the second value when the current byte is lesser than the preceding byte; and a transceiver configured to convey the transmission bits to a receiver.

Methods and systems for transmission of arbitrary data via Bluetooth HFP audio connections with low latency

An embodiment takes the form of a method carried out by a communication device. A binary data sequence is obtained at a communication device for transmission via a Bluetooth data link configured according to an audio-codec-based Bluetooth profile, wherein an audio codec is configured to receive a multi-bit data byte and output a single bit indicating whether the received multi-bit data byte is larger or smaller than a prior output reference byte, a multi-bit data byte sequence is generated based on the binary data sequence, the multi-bit data byte sequence is provided to the audio codec to induce the codec to generate a one-bit per-sample binary sequence representative of the binary data sequence, and, the generated one-bit per-sample binary sequence is transmitted via the Bluetooth data link.

Growing community of inventors

Hermenches, Switzerland

Steven Seltzer