Constraint‐Based Random Stimuli Generation for Hardware Verification
Naveh, Yehuda, Rimon, Michal, Jaeger, Itai, Katz, Yoav, Vinov, Michael, Marcus, Eitan, Shurek, Gil
Published in The AI magazine (01.09.2007)
Published in The AI magazine (01.09.2007)
Get full text
Journal Article
Method and system for privacy preserving biometric authentication
Ariel Farkash, Ron Shmelkin, Michael Vinov, Omri Soceanu, Muhammad Barham
Year of Publication 03.05.2023
Get full text
Year of Publication 03.05.2023
Patent
Method and system for privacy preserving biometric authentication
Soceanu, Omri, Vinov, Michael, Shmelkin, Ron, Barham, Muhammad, Farkash, Ariel
Year of Publication 14.12.2021
Get full text
Year of Publication 14.12.2021
Patent
Method and system for privacy preserving biometric authentication
Ariel Farkash, Ron Shmelkin, Michael Vinov, Omri Soceanu, Muhammad Barham
Year of Publication 24.11.2021
Get full text
Year of Publication 24.11.2021
Patent
The THREAT-ARREST Cyber Range Platform
Hatzivasilis, George, Ioannidis, Sotiris, Smyrlis, Michail, Spanoudakis, George, Frati, Fulvio, Braghin, Chiara, Damiani, Ernesto, Koshutanski, Hristo, Tsakirakis, George, Hildebrandt, Torsten, Goeke, Ludger, Pape, Sebastian, Blinder, Oleg, Vinov, Michael, Leftheriotis, George, Kunc, Martin, Oikonomou, Fotis, Magilo, Giovanni, Petrarolo, Vito, Chieti, Antonio, Bordianu, Robert
Published in 2021 IEEE International Conference on Cyber Security and Resilience (CSR) (26.07.2021)
Published in 2021 IEEE International Conference on Cyber Security and Resilience (CSR) (26.07.2021)
Get full text
Conference Proceeding
REALISTIC COUNTERFACTUAL EXPLANATION OF MACHINE LEARNING PREDICTIONS
Boehm, Omer Yehuda, Vinov, Michael, Bin, Eyal, Blinder, Oleg, Hans, Sandeep, Saha, Diptikalyan, Aggarwal, Aniya
Year of Publication 26.01.2023
Get full text
Year of Publication 26.01.2023
Patent
Industrial experience with test generation languages for processor verification
Behm, Michael, Ludden, John, Lichtenstein, Yossi, Rimon, Michal, Vinov, Michael
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Get full text
Conference Proceeding
METHOD AND SYSTEM FOR PRIVACY PRESERVING BIOMETRIC AUTHENTICATION
VINOV, Michael, FARKASH, Ariel, SOCEANU, Omri, BARHAM, Muhammad, SHMELKIN, Ron
Year of Publication 16.07.2020
Get full text
Year of Publication 16.07.2020
Patent
METHOD AND SYSTEM FOR PRIVACY PRESERVING BIOMETRIC AUTHENTICATION
Soceanu, Omri, Vinov, Michael, Shmelkin, Ron, Barham, Muhammad, Farkash, Ariel
Year of Publication 16.07.2020
Get full text
Year of Publication 16.07.2020
Patent
Intelligent interleaving of scenarios: a novel approach to system level test generation
Copty, Shady, Jaeger, Itai, Katz, Yoav, Vinov, Michael
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
Published in 2007 44th ACM/IEEE Design Automation Conference (04.06.2007)
Get full text
Conference Proceeding
Towards Specification of a Software Architecture for Cross-Sectoral Big Data Applications
Arapakis, Ioannis, Becerra, Yolanda, Boehm, Omer, Bravos, George, Chatzigiannakis, Vassilis, Cugnasco, Cesare, Demetriou, Giorgos, Eleftheriou, Iliada, Etienne Mascolo, Julien, Fodor, Lidija, Ioannidis, Sotiris, Jakovetic, Dusan, Kallipolitis, Leonidas, Kavakli, Evangelia, Kopanaki, Despina, Kourtellis, Nicolas, Maawad Marcos, Mario, Martin de Pozuelo, Ramon, Milosevic, Nemanja, Morandi, Giuditta, Pages Montanera, Enric, Ristow, Gerald, Sakellariou, Rizos, Sirvent, Raul, Skrbic, Srdjan, Spais, Ilias, Vasiliadis, Giorgos, Vinov, Michael
Published in 2019 IEEE World Congress on Services (SERVICES) (01.07.2019)
Published in 2019 IEEE World Congress on Services (SERVICES) (01.07.2019)
Get full text
Conference Proceeding
VERFAHREN UND SYSTEM ZUR PRIVATSPHÄRENBEWAHRENDEN BIOMETRISCHENAUTHENTIFIZIERUNG
Soceanu, Omri, Vinov, Michael, Shmelkin, Ron, Barham, Muhammad, Farkash, Ariel
Year of Publication 30.09.2021
Get full text
Year of Publication 30.09.2021
Patent
METHOD AND SYSTEM FOR PRIVACY PRESERVING BIOMETRIC AUTHENTICATION
SOCEANU OMRI, SHMELKIN RON, VINOV MICHAEL, BARHAM MUHAMMAD, FARKASH ARIEL
Year of Publication 30.07.2021
Get full text
Year of Publication 30.07.2021
Patent
Mitigating ROP attacks
Boehm Omer Y, Farchi Eitan D, Shajrawi Yousef, Margalit Oded, Vinov Michael
Year of Publication 15.08.2017
Get full text
Year of Publication 15.08.2017
Patent
Mitigating ROP attacks
Boehm Omer Y, Farchi Eitan D, Shajrawi Yousef, Margalit Oded, Vinov Michael
Year of Publication 30.05.2017
Get full text
Year of Publication 30.05.2017
Patent
Mitigating ROP attacks
Boehm Omer Y, Farchi Eitan D, Shajrawi Yousef, Margalit Oded, Vinov Michael
Year of Publication 30.05.2017
Get full text
Year of Publication 30.05.2017
Patent