Fady Copty

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 6

Top Topics

Computational Issues

Malware Detection

Temporal Dimension

Top Venues

IBM J. Res. Dev.

Formal Methods Syst. Des.

Publications

Jordi Cucurull, Christos Tselios, Carolina Rueda, Noemi Folch, Fady Copty, Reda Igbaria, Manos Athanatos, Antonios Krithinakis, Sotiris Ioannidis, José Francisco Ruiz, Pablo Barrientos
Integration of an online voting solution with the SMESEC security framework. SysCon (2020)
Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik
Deep ahead-of-threat virtual patching. CoRR (2020)
Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik
Deep Ahead-of-Threat Virtual Patching. IOSec@RAID (2018)
Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser
Accurate Malware Detection by Extreme Abstraction. ACSAC (2018)
Fady Copty, Francisco Hernandez, Dov Murik, Olmo Rayón
Shakedown: compiler-based moving target protection for Return Oriented Programing attacks on an industrial IoT device. CoRR (2018)
José Francisco Ruiz, Fady Copty, Christos Tselios
SMESEC: A Cybersecurity Framework to Protect, Enhance and Educate SMEs. ERCIM News 2018 (114) (2018)
Klaus-Dieter Schubert, John M. Ludden, S. Ayub, J. Behrend, B. 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
Solutions to IBM POWER8 verification challenges. IBM J. Res. Dev. 59 (1) (2015)
Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. 46 (1) (2015)
Gadiel Auerbach, Fady Copty, Viresh Paruthi
Formal verification of arbiters using property strengthening and underapproximations. FMCAD (2010)
Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty
Test sequence generation and model checking using dynamic transition relations. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient debugging in a formal verification environment. Int. J. Softw. Tools Technol. Transf. 4 (3) (2003)
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
Benefits of Bounded Model Checking at an Industrial Setting. CAV (2001)
Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient Debugging in a Formal Verification Environment. CHARME (2001)