Allon Adir - RankMe

34 papers A* 8A 1B 1Misc 1Journal 8Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Argmax and XGBoost Training over Fully Homomorphic Encryption. Proc. Priv. Enhancing Technol. Ramy Masalha, Adi Akavia, Allon Adir, Ehud Aharoni, Eyal Kushnir
2024	J	`jnl`	Power-Softmax: Towards Secure LLM Inference over Encrypted Data. CoRR Itamar Zimerman, Allon Adir, Ehud Aharoni, Matan Avitan, Moran Baruch, Nir Drucker, Jenny Lerner, Ramy Masalha, Reut Meiri, Omri Soceanu
2023	B	`conf`	ELECTRON: An Architectural Framework for Securing the Smart Electrical Grid with Federated Detection, Dynamic Risk Assessment and Self-Healing. ARES 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
2023	J	`jnl`	HeLayers: A Tile Tensors Framework for Large Neural Networks on Encrypted Data. Proc. Priv. Enhancing Technol. Ehud Aharoni, Allon Adir, Moran Baruch, Nir Drucker, Gilad Ezov, Ariel Farkash, Lev Greenberg, Ramy Masalha, Guy Moshkowich, Dov Murik, Hayim Shaul, Omri Soceanu
2022	—	`conf`	Privacy-Preserving Record Linkage Using Local Sensitive Hash and Private Set Intersection. ACNS Workshops Allon Adir, Ehud Aharoni, Nir Drucker, Eyal Kushnir, Ramy Masalha, Michael Mirkin, Omri Soceanu
2022	J	`jnl`	Privacy-preserving record linkage using local sensitive hash and private set intersection. CoRR Allon Adir, Ehud Aharoni, Nir Drucker, Eyal Kushnir, Ramy Masalha, Michael Mirkin, Omri Soceanu
2020	—	`conf`	A Cloud-Based Anomaly Detection for IoT Big Data. CPS4CIP Omri Soceanu, Allon Adir, Ehud Aharoni, Lev Greenberg, Habtamu Abie
2020	J	`jnl`	Tile Tensors: A versatile data structure with descriptive shapes for homomorphic encryption. CoRR Ehud Aharoni, Allon Adir, Moran Baruch, Gilad Ezov, Ariel Farkash, Lev Greenberg, Ramy Masalha, Dov Murik, Omri Soceanu
2017	A*	`conf`	Anomaly Detection in Large Databases Using Behavioral Patterning. ICDE Hanna Mazzawi, Gal Dalal, David Rozenblat, Liat Ein-Dor, Matan Ninio, Ofer Lavi, Allon Adir, Ehud Aharoni, Einat Kermany
2017	Misc	`conf`	Big data analysis of cloud storage logs using spark. SYSTOR Shelly Garion, Hillel Kolodner, Allon Adir, Ehud Aharoni, Lev Greenberg
2014	A*	`conf`	Using a High-Level Test Generation Expert System for Testing In-Car Networks. DAC Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman
2014	A*	`conf`	Verification of Transactional Memory in POWER8. DAC 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
2013	—	`conf`	Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. Haifa Verification Conference Andreas Abel, Allon Adir, Torsten Blochwitz, Lev Greenberg, Tamer Salman
2013	—	`conf`	Dynamic Selection of Trace Signals for Post-Silicon Debug. MTV Kanad Basu, Prabhat Mishra, Priyadarsan Patra, Amir Nahir, Allon Adir
2012	—	`conf`	A New Test-Generation Methodology for System-Level Verification of Production Processes. Haifa Verification Conference Allon Adir, Alex Goryachev, Lev Greenberg, Tamer Salman, Gil Shurek
2012	J	`jnl`	Concurrent Generation of Concurrent Programs for Post-Silicon Validation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Allon Adir, Amir Nahir, Avi Ziv
2011	A	`conf`	A unified methodology for pre-silicon verification and post-silicon validation. DATE Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011	—	`conf`	Dynamic Test Data Generation for Data Intensive Applications. Haifa Verification Conference Allon Adir, Ronen Levy, Tamer Salman
2011	A*	`conf`	Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. DAC Allon Adir, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
2011	A*	`conf`	Threadmill: a post-silicon exerciser for multi-threaded processors. DAC Allon Adir, Maxim Golubev, Shimon Landa, Amir Nahir, Gil Shurek, Vitali Sokhin, Avi Ziv
2010	—	`conf`	Advances in Simultaneous Multithreading Testcase Generation Methods. Haifa Verification Conference John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir
2010	—	`conf`	Reaching Coverage Closure in Post-silicon Validation. Haifa Verification Conference Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann
2007	A*	`conf`	A Framework for the Validation of Processor Architecture Compliance. DAC Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled
2006	—	`conf`	Addressing Test Generation Challenges for Configurable Processor Verification. HLDVT Michal Rimon, Yossi Lichtenstein, Allon Adir, Itai Jaeger, Michael Vinov, S. Johnson, D. Jani
2006	—	`conf`	DeepTrans - Extending the Model-based Approach to Functional Verification of Address Translation Mechanisms. HLDVT Allon Adir, Laurent Fournier, Yoav Katz, Anatoly Koyfman
2005	A*	`conf`	A generic micro-architectural test plan approach for microprocessor verification. DAC Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet
2005	A*	`conf`	VLIW: a case study of parallelism verification. DAC Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy
2004	J	`jnl`	Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. IEEE Des. Test Comput. Allon Adir, Eli Almog, Laurent Fournier, Eitan Marcus, Michal Rimon, Michael Vinov, Avi Ziv
2003	—	`conf`	DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. MTV Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman
2003	J	`jnl`	Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. IEEE Trans. Parallel Distributed Syst. Allon Adir, Hagit Attiya, Gil Shurek
2003	—	`conf`	Piparazzi: a test program generator for micro-architecture flow verification. HLDVT Allon Adir, Eyal Bin, Ofer Peled, Avi Ziv
2002	—	`conf`	Adaptive test program generation: planning for the unplanned. HLDVT Allon Adir, Roy Emek, Eitan Marcus
2002	—	`conf`	Generating concurrent test-programs with collisions for multi-processor verification. HLDVT Allon Adir, Gil Shurek
2001	—	`conf`	Improving test quality through resource reallocation. HLDVT Allon Adir, Eitan Marcus, Michal Rimon, Amir Voskoboynik