Fady Copty

According to our database, Fady Copty authored at least 11 papers between 2001 and 2020.

Collaborative distances:

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

2020

Integration of an online voting solution with the SMESEC security framework.

Jordi Cucurull, Christos Tselios, Carolina Rueda, Noemi Folch, Fady Copty, Reda Igbaria, Manos Athanatos, Antonios Krithinakis, Sotiris Ioannidis, José Francisco Ruiz, Pablo Barrientos

Proceedings of the IEEE International Systems Conference, 2020

2018

SMESEC: A Cybersecurity Framework to Protect, Enhance and Educate SMEs.

José Francisco Ruiz, Fady Copty, Christos Tselios

ERCIM News, 2018

Shakedown: compiler-based moving target protection for Return Oriented Programing attacks on an industrial IoT device.

Fady Copty, Francisco Hernandez, Dov Murik, Olmo Rayón

CoRR, 2018

Deep Ahead-of-Threat Virtual Patching.

Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik

Proceedings of the Information and Operational Technology Security Systems, 2018

Accurate Malware Detection by Extreme Abstraction.

Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2015

Solutions to IBM POWER8 verification challenges.

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, L. S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann

IBM J. Res. Dev., 2015

Vacuity in practice: temporal antecedent failure.

Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah

Formal Methods Syst. Des., 2015

2010

Formal verification of arbiters using property strengthening and underapproximations.

Gadiel Auerbach, Fady Copty, Viresh Paruthi

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2004

Test sequence generation and model checking using dynamic transition relations.

Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty

Int. J. Softw. Tools Technol. Transf., 2004

2003

Efficient debugging in a formal verification environment.

Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi

Int. J. Softw. Tools Technol. Transf., 2003

2001

Benefits of Bounded Model Checking at an Industrial Setting.

Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001