Inventor

ADIR ALLON

IL55 patents

⚠️ This page may combine multiple inventors who share the name “ADIR ALLON”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

ADIR ALLON

IBM

Cluster evaluation in unsupervised learning of continuous data

Unit-level formal verification for vehicular software systems

Non-unique results in design verification by test programs

Adaptive test program generation

Modeling language and method for address translation design mechanisms in test generation

Test quality through resource reallocation

Method and system for email phishing attempts identification and notification through organizational cognitive solutions

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Highly specialized scenarios in random test generation

Model-based hardware exerciser, device, system and method thereof

Sensitive data obfuscation in output files

Ensure valid range of values of a vector for distance calculations using homomorphic encryption or functional encryption

Incremental generation of models with dynamic clustering

Method and system for semantic preserving location encryption

Cluster evaluation in unsupervised learning of continuous data

Unit-level formal verification for vehicular software systems

Packing arbitrary tensors into tiles with descriptive shapes

Identifying security breaches from clustering properties

Efficient computation of matrix determinants under fully homomorphic encryption (FHE) using single instruction multiple data (SIMD)

Neural network training with homomorphic encryption

Cluster evaluation in unsupervised learning of continuous data

Efficient random masking of values while maintaining their sign under fully homomorphic encryption (FHE)

String similarity based weighted min-hashing

Generating random addresses for verification of distributed computerized devices

Deleting and inserting rows in fully homomorphically encrypted databases using queues

Preventing malformed ciphertext attacks on privacy preserving biometric authentication

Method for privacy preserving anomaly detection in IoT

Generating a number based on a bitset constraint

Converting a mask constraint into a bitset constraint

Polynomial evaluation under fully homomorphic encryption

Efficient convolution in an environment that enforces tiles

Analysis and debugging of fully-homomorphic encryption

Authentication using transformation verification

Fast polynomial evaluation under fully homomorphic encryption by products of differences from roots using rotations

Database table joining under fully homomorphic encryption

Non-linear approximation robust to input range of homomorphic encryption analytics

Tournament-league mechanisms for comparison based computer operations

Graph based embedding under fully homomorphic encryption

Masking ciphertexts using random elements for secure decryption

Sensitive data obfuscation in output files

Management of alerts using a budget-dependent adjustable working threshold

ADIR ALLON

Automatic generation of test suite for processor architecture compliance

Method and apparatus for post-silicon testing

Method, apparatus and product for testing transactions

Verifying correctness of processor transactions

Two pass test case generation using self-modifying instruction replacement

Generating a combination exerciser for executing tests on a circuit

Testing the compliance of a design with the synchronization requirements of a memory model

INTRANAT BUSINESS MACHINES COR

Automatic test program generation using extended conditional constraint satisfaction