Fady Copty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2001–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ACSAC | Accurate Malware Detection by Extreme Abstraction. | Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser |
| 2018 | RAID | Deep Ahead-of-Threat Virtual Patching. | Fady Copty, Andre Kassis, Sharon Keidar-Barner, Dov Murik |
| 2010 | FMCAD | Formal verification of arbiters using property strengthening and underapproximations. | Gadiel Auerbach, Fady Copty, Viresh Paruthi |
| 2001 | CAV | Benefits of Bounded Model Checking at an Industrial Setting. | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |