المؤلفون: Copty, Fady, Kassis, Andre, Keidar-Barner, Sharon, Murik, Dov

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2007.08296

المؤلفون: Copty, Fady, Hernandez, Francisco, Murik, Dov, Rayón, Olmo

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/1810.02090

المؤلفون: Cucurull Jordi(), Tselios Christos(), Rueda Carolina(), Folch Noemi(), Copty Fady(), Igbaria Reda(), Athanatos Manos(), Krithinakis Antonios(), Ιωαννιδης Σωτηριος(http://users.isc.tuc.gr/~sioannidis), Ioannidis Sotirios(http://users.isc.tuc.gr/~sioannidis), Ruiz Jose Francisco(), Barrientos Pablo()

مصطلحات موضوعية: Online voting, Infrastructure security, Framework evaluation

Relation: info:eu-repo/grantAgreement/EC/FP7/246686; http://purl.tuc.gr/dl/dias/9A6D16B8-117B-4A73-AC47-B7A0CCFE38ED

الاتاحة: http://purl.tuc.gr/dl/dias/9A6D16B8-117B-4A73-AC47-B7A0CCFE38ED

المؤلفون: Cucurull Jordi, Tselios Christos, Rueda Carolina, Folch Noemi, Copty Fady, Igbaria Reda, Athanatos Manos, Krithinakis Antonios, Ιωαννιδης Σωτηριος, Ioannidis Sotirios, Ruiz Jose Francisco, Barrientos Pablo

مصطلحات موضوعية: Online voting, Infrastructure security, Framework evaluation, hisphilso, droit

Relation: http://purl.tuc.gr/dl/dias/9A6D16B8-117B-4A73-AC47-B7A0CCFE38ED

الاتاحة: http://purl.tuc.gr/dl/dias/9A6D16B8-117B-4A73-AC47-B7A0CCFE38ED

المؤلفون: Copty, Fady, Fix, Limor, Fraer, Ranan, Giunchiglia, Enrico, Kamhi, Gila, Tacchella, Armando, Vardi, Moshe Y.

المصدر: Computer Aided Verification ; Lecture Notes in Computer Science ; page 436-453 ; ISSN 0302-9743 ; ISBN 9783540423454 9783540445852

الاتاحة: http://dx.doi.org/10.1007/3-540-44585-4_43
http://link.springer.com/content/pdf/10.1007/3-540-44585-4_43

المؤلفون: Copty, Fady, Kassis, Andre, Keidar-Barner, Sharon, Murik, Dov

المصدر: Lecture Notes in Computer Science ; Information and Operational Technology Security Systems ; page 99-109 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030120849 9783030120856

الاتاحة: http://dx.doi.org/10.1007/978-3-030-12085-6_9
http://link.springer.com/content/pdf/10.1007/978-3-030-12085-6_9

المؤلفون: Sérgio Campos, Orna Grumberg, Karen Yorav, Copty Fady

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://araxa.lecom.dcc.ufmg.br/modcheck/results/./download/fmcad00.ps.gz.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.6509; http://araxa.lecom.dcc.ufmg.br/modcheck/results/./download/fmcad00.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.6509
http://araxa.lecom.dcc.ufmg.br/modcheck/results/./download/fmcad00.ps.gz

المؤلفون: Copty, Fady, Danos, Matan, Edelstein, Orit, Eisner, Cindy, Murik, Dov, Zeltser, Benjamin

المصدر: Proceedings of the 34th Annual Computer Security Applications Conference

الاتاحة: http://dx.doi.org/10.1145/3274694.3274700
https://dl.acm.org/doi/pdf/10.1145/3274694.3274700

المؤلفون: Ruiz, Jose Francisco, Copty, Fady, Tselios, Christos

مصطلحات موضوعية: ComputingMilieux_LEGALASPECTSOFCOMPUTING

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::48c3608e21a7e16b58285760e9015844

المؤلفون: Ben-David, Shoham, Copty, Fady, Fisman, Dana, Ruah, Sitvanit

المصدر: Formal Methods in System Design ; volume 46, issue 1, page 81-104 ; ISSN 0925-9856 1572-8102

الاتاحة: http://dx.doi.org/10.1007/s10703-014-0221-0
http://link.springer.com/content/pdf/10.1007/s10703-014-0221-0.pdf
http://link.springer.com/article/10.1007/s10703-014-0221-0/fulltext.html
http://link.springer.com/content/pdf/10.1007/s10703-014-0221-0

المؤلفون: Copty Fady, Orna Grumberg, Karen Yorav, Sérgio Campos

المصدر: International Journal on Software Tools for Technology Transfer. 6:174-182

مصطلحات موضوعية: Set (abstract data type), Model checking, Sequence, Theoretical computer science, Relation (database), Computer science, Binary decision diagram, Computation, Theory of computation, Temporal logic, Algorithm, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::35d29f085c78a800dec8c0527d2dd70d
https://doi.org/10.1007/s10009-004-0142-0

المؤلفون: Copty, Fady, Irron, Amitai, Weissberg, Osnat, Kropp, Nathan, Kamhi, Gila

المصدر: International Journal on Software Tools for Technology Transfer (STTT) ; volume 4, issue 3, page 335-348 ; ISSN 1433-2779 1433-2787

الاتاحة: http://dx.doi.org/10.1007/s10009-002-0097-y
http://link.springer.com/content/pdf/10.1007/s10009-002-0097-y.pdf
http://link.springer.com/article/10.1007/s10009-002-0097-y/fulltext.html
http://link.springer.com/content/pdf/10.1007/s10009-002-0097-y