Improving test quality through resource reallocation. - Allon Adir; Eitan Marcus; Michal Rimon; Amir Voskoboynik (HLDVT, 2001)

Adaptive test program generation: planning for the unplanned. - Allon Adir; Roy Emek; Eitan Marcus (HLDVT, 2002)

Generating concurrent test-programs with collisions for multi-processor verification. - Allon Adir; Gil Shurek (HLDVT, 2002)

Piparazzi: a test program generator for micro-architecture flow verification. - Allon Adir; Eyal Bin; Ofer Peled; Avi Ziv (HLDVT, 2003)

DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. - Allon Adir; Roy Emek; Yoav Katz; Anatoly Koyfman (MTV, 2003)

Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. - Allon Adir; Hagit Attiya; Gil Shurek (IEEE Trans. Parallel Distributed Syst., 2003)

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. - Allon Adir; Eli Almog; Laurent Fournier; Eitan Marcus; Michal Rimon; Michael Vinov; Avi Ziv (IEEE Des. Test Comput., 2004)

A generic micro-architectural test plan approach for microprocessor verification. - Allon Adir; Hezi Azatchi; Eyal Bin; Ofer Peled; Kirill Shoikhet (DAC, 2005)

VLIW: a case study of parallelism verification. - Allon Adir; Yaron Arbetman; Bella Dubrov; Yossi Lichtenstein; Michal Rimon; Michael Vinov; Massimo A. Calligaro; Andrew Cofler; Gabriel Duffy (DAC, 2005)

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms. - Allon Adir; Laurent Fournier; Yoav Katz; Anatoly Koyfman (HLDVT, 2006)

Addressing Test Generation Challenges for Configurable Processor Verification. - Michal Rimon; Yossi Lichtenstein; Allon Adir; Itai Jaeger; Michael Vinov; S. Johnson; D. Jani (HLDVT, 2006)

A Framework for the Validation of Processor Architecture Compliance. - Allon Adir; Sigal Asaf; Laurent Fournier; Itai Jaeger; Ofer Peled (DAC, 2007)

Reaching Coverage Closure in Post-silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv; Charles Meissner; John Schumann (Haifa Verification Conference, 2010)

Advances in Simultaneous Multithreading Testcase Generation Methods. - John M. Ludden; Michal Rimon; Bryan G. Hickerson; Allon Adir (Haifa Verification Conference, 2010)

Threadmill: a post-silicon exerciser for multi-threaded processors. - Allon Adir; Maxim Golubev; Shimon Landa; Amir Nahir; Gil Shurek; Vitali Sokhin; Avi Ziv (DAC, 2011)

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. - Allon Adir; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DAC, 2011)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)

Dynamic Test Data Generation for Data Intensive Applications. - Allon Adir; Ronen Levy; Tamer Salman (Haifa Verification Conference, 2011)

A New Test-Generation Methodology for System-Level Verification of Production Processes. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman; Gil Shurek (Haifa Verification Conference, 2012)

Concurrent Generation of Concurrent Programs for Post-Silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. - Andreas Abel 004; Allon Adir; Torsten Blochwitz; Lev Greenberg; Tamer Salman (Haifa Verification Conference, 2013)

Dynamic Selection of Trace Signals for Post-Silicon Debug. - Kanad Basu; Prabhat Mishra 001; Priyadarsan Patra; Amir Nahir; Allon Adir (MTV, 2013)

Using a High-Level Test Generation Expert System for Testing In-Car Networks. - Allon Adir; Alex Goryachev; Lev Greenberg; Tamer Salman (DAC, 2014)

Verification of Transactional Memory in POWER8. - Allon Adir; Dave Goodman; Daniel Hershcovich; Oz Hershkovitz; Bryan G. Hickerson; Karen Holtz; Wisam Kadry; Anatoly Koyfman; John M. Ludden; Charles Meissner; Amir Nahir; Randall R. Pratt; et al. (DAC, 2014)

Anomaly Detection in Large Databases Using Behavioral Patterning. - Hanna Mazzawi; Gal Dalal; David Rozenblat; Liat Ein-Dor; Matan Ninio; Ofer Lavi; Allon Adir; Ehud Aharoni; Einat Kermany (ICDE, 2017)

Big data analysis of cloud storage logs using spark. - Shelly Garion; Hillel Kolodner; Allon Adir; Ehud Aharoni; Lev Greenberg (SYSTOR, 2017)

A Cloud-Based Anomaly Detection for IoT Big Data. - Omri Soceanu; Allon Adir; Ehud Aharoni; Lev Greenberg; Habtamu Abie (CPS4CIP, 2020)

Tile Tensors: A versatile data structure with descriptive shapes for homomorphic encryption. - Ehud Aharoni; Allon Adir; Moran Baruch; Gilad Ezov; Ariel Farkash; Lev Greenberg; Ramy Masalha; Dov Murik; Omri Soceanu (CoRR, 2020)

Privacy-Preserving Record Linkage Using Local Sensitive Hash and Private Set Intersection. - Allon Adir; Ehud Aharoni; Nir Drucker; Eyal Kushnir; Ramy Masalha; Michael Mirkin; Omri Soceanu (ACNS Workshops, 2022)

ELECTRON: An Architectural Framework for Securing the Smart Electrical Grid with Federated Detection, Dynamic Risk Assessment and Self-Healing. - Panagiotis I. Radoglou-Grammatikis; Athanasios Liatifis; Christos Dalamagkas; Alexios Lekidis; Konstantinos Voulgaridis; Thomas Lagkas; Nikolaos Fotos; Sofia-Anna Menesidou; Thomas Krousarlis; Pedro Ruzafa Alcazar; Juan Francisco Martinez; Antonio F. Skarmeta; et al. (ARES, 2023)

HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data. - Ehud Aharoni; Allon Adir; Moran Baruch; Nir Drucker; Gilad Ezov; Ariel Farkash; Lev Greenberg; Ramy Masalha; Guy Moshkowich; Dov Murik; Hayim Shaul; Omri Soceanu (Proc. Priv. Enhancing Technol., 2023)

Power-Softmax: Towards Secure LLM Inference over Encrypted Data. - Itamar Zimerman; Allon Adir; Ehud Aharoni; Matan Avitan; Moran Baruch; Nir Drucker; Jenny Lerner; Ramy Masalha; Reut Meiri; Omri Soceanu (CoRR, 2024)