Allon Adir

According to our database, Allon Adir authored at least 31 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., January, 2023

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, Alberto Molinuevo Martín, Iñaki Angulo, Jesus Villalobos Nieto, Hristo Koshutanski, Rodrigo Diaz Rodriguez, Ilias Siniosoglou, Orestis Mavropoulos, Konstantinos Kyranou, Theocharis Saoulidis, Allon Adir, Ramy Masalha, Emanuele Bellini, Nicholas Kolokotronis, Stavros Shiaeles, Jose Garcia Franquelo, George Lalas, Andreas Zalonis, Antonis Voulgaridis, Angelina D. Bintoudi, Konstantinos Votis, David Pampliega, Panagiotis G. Sarigiannidis

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

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

Proceedings of the Applied Cryptography and Network Security Workshops, 2022

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

A Cloud-Based Anomaly Detection for IoT Big Data.

Omri Soceanu, Allon Adir, Ehud Aharoni, Lev Greenberg, Habtamu Abie

Proceedings of the Cyber-Physical Security for Critical Infrastructures Protection, 2020

2017

Big data analysis of cloud storage logs using spark.

Shelly Garion, Hillel Kolodner, Allon Adir, Ehud Aharoni, Lev Greenberg

Proceedings of the 10th ACM International Systems and Storage Conference, 2017

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

Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

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, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Using a High-Level Test Generation Expert System for Testing In-Car Networks.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Dynamic Selection of Trace Signals for Post-Silicon Debug.

Kanad Basu, Prabhat Mishra, Priyadarsan Patra, Amir Nahir, Allon Adir

Proceedings of the 14th International Workshop on Microprocessor Test and Verification, 2013

Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.

Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman

Proceedings of the Hardware and Software: Verification and Testing, 2013

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

A New Test-Generation Methodology for System-Level Verification of Production Processes.

Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Dynamic Test Data Generation for Data Intensive Applications.

Allon Adir, Ronen Levy, Tamer Salman

Proceedings of the Hardware and Software: Verification and Testing, 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

Proceedings of the Design, Automation and Test in Europe, 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

Proceedings of the 48th Design Automation Conference, 2011

Threadmill: a post-silicon exerciser for multi-threaded processors.

Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv

Proceedings of the 48th Design Automation Conference, 2011

2010

Advances in Simultaneous Multithreading Testcase Generation Methods.

John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir

Proceedings of the Hardware and Software: Verification and Testing, 2010

Reaching Coverage Closure in Post-silicon Validation.

Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann

Proceedings of the Hardware and Software: Verification and Testing, 2010

2007

A Framework for the Validation of Processor Architecture Compliance.

Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled

Proceedings of the 44th Design Automation Conference, 2007

2006

Addressing Test Generation Challenges for Configurable Processor Verification.

Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms.

Allon Adir, Laurent Fournier, Yoav Katz, Anatoly Koyfman

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

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

Proceedings of the 42nd Design Automation Conference, 2005

A generic micro-architectural test plan approach for microprocessor verification.

Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet

Proceedings of the 42nd Design Automation Conference, 2005

2004

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

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

DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.

Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman

Proceedings of the Fourth International Workshop on Microprocessor Test and Verification, 2003

Piparazzi: a test program generator for micro-architecture flow verification.

Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002

Generating concurrent test-programs with collisions for multi-processor verification.

Allon Adir, Gil Shurek

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Adaptive test program generation: planning for the unplanned.

Allon Adir, Roy Emek, Eitan Marcus

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

Improving test quality through resource reallocation.

Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001