Fady Copty - RankMe

13 papers A* 1A 1B 1Journal 7Unranked 3

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Deep ahead-of-threat virtual patching. CoRR Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik
2020	—	`conf`	Integration of an online voting solution with the SMESEC security framework. SysCon Jordi Cucurull, Christos Tselios, Carolina Rueda, Noemi Folch, Fady Copty, Reda Igbaria, Manos Athanatos, Antonios Krithinakis, Sotiris Ioannidis, José Francisco Ruiz, Pablo Barrientos
2018	A	`conf`	Accurate Malware Detection by Extreme Abstraction. ACSAC Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser
2018	—	`conf`	Deep Ahead-of-Threat Virtual Patching. IOSec@RAID Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik
2018	J	`jnl`	SMESEC: A Cybersecurity Framework to Protect, Enhance and Educate SMEs. ERCIM News José Francisco Ruiz, Fady Copty, Christos Tselios
2018	J	`jnl`	Shakedown: compiler-based moving target protection for Return Oriented Programing attacks on an industrial IoT device. CoRR Fady Copty, Francisco Hernandez, Dov Murik, Olmo Rayón
2015	J	`jnl`	Solutions to IBM POWER8 verification challenges. IBM J. Res. Dev. Klaus-Dieter Schubert, John M. Ludden, Salma Ayub, J. Behrend, Bishop Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, Larry S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann
2015	J	`jnl`	Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
2010	B	`conf`	Formal verification of arbiters using property strengthening and underapproximations. FMCAD Gadiel Auerbach, Fady Copty, Viresh Paruthi
2004	J	`jnl`	Test sequence generation and model checking using dynamic transition relations. Int. J. Softw. Tools Technol. Transf. Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty
2003	J	`jnl`	Efficient debugging in a formal verification environment. Int. J. Softw. Tools Technol. Transf. Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
2001	A*	`conf`	Benefits of Bounded Model Checking at an Industrial Setting. CAV Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
2001	—	`conf`	Efficient Debugging in a Formal Verification Environment. CHARME Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi