Allon Adir

Genesys-Pro: innovations in test program generation for functional processor verification

Allon Adir, Avi Ziv, Laurent Fournier, 2004, IEEE Design & Test of Computers.

HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data

E. Aharoni, Allon Adir, Ariel Farkash, 2020, Proc. Priv. Enhancing Technol..

Tile Tensors: A versatile data structure with descriptive shapes for homomorphic encryption pdf

Allon Adir, Lev Greenberg, Moran Baruch, 2020, ArXiv.

Dynamic Test Data Generation for Data Intensive Applications

Allon Adir, Tamer Salman, Ronen Levy, 2011, Haifa Verification Conference.

Stimuli Generation for Functional Hardware Verification with Constraint Programming

Allon Adir, Yehuda Naveh, Y. Naveh, 2011 .

A Cloud-Based Anomaly Detection for IoT Big Data

E. Aharoni, H. Abie, Allon Adir, 2021, CPS4CIP.

A generic micro-architectural test plan approach for microprocessor verification

Allon Adir, Ofer Peled, Hezi Azatchi, 2005, Proceedings. 42nd Design Automation Conference, 2005..

A Tile Tensors Framework for Large Neural Networks on Encrypted Data

E. Aharoni, Allon Adir, Ariel Farkash, 2021 .

Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture

Allon Adir, Hagit Attiya, Gil Shurek, 2003, IEEE Trans. Parallel Distributed Syst..