المؤلفون: Xiao, Ya, Zhao, Yang, Allen, Nicholas, Keynes, Nathan, Yao, Danfeng, Cifuentes, Cristina

المصدر: 2022 IEEE Secure Development Conference (SecDev) SECDEV Secure Development Conference (SecDev), 2022 IEEE. :61-62 Oct, 2022

Relation: 2022 IEEE Secure Development Conference (SecDev)

المؤلفون: Xiao, Ya, Zhao, Yang, Allen, Nicholas, Keynes, Nathan, Danfeng, Yao, Cifuentes, Cristina

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.5

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

المؤلفون: Gauthier, Francois, Keynes, Nathan, Allen, Nicholas, Corney, Diane, Krishnan, Padmanabhan

المصدر: 2018 IEEE Cybersecurity Development (SecDev) SECDEV Cybersecurity Development (SecDev), 2018 IEEE. :134-134 Sep, 2018

Relation: 2018 IEEE Cybersecurity Development (SecDev)

المؤلفون: Cifuentes, Cristina, Keynes, Nathan, Li, Lian, Hawes, Nathan, Valdiviezo, Manuel

المصدر: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 10(3):16-23 Jun, 2012

المؤلفون: Winter, Kirsten^Aff18, Zhang, Chenyi^Aff18, Hayes, Ian J.^Aff18, Keynes, Nathan^Aff19, Cifuentes, Cristina^Aff20, Li, Lian^Aff20

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Groves, Lindsay, editor^Aff16, Sun, Jing, editor^Aff17

المصدر: Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:415-430

المؤلفون: Cifuentes, Cristina^Aff17, Keynes, Nathan^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Shan, Chung-chieh, editor^Aff16

المصدر: Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. 8301:172-175

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Xiao, Ya, Zhao, Yang, Allen, Nicholas, Keynes, Nathan, Yao, Danfeng, Cifuentes, Cristina

المصدر: Digital Threats: Research & Practice; Mar2023, Vol. 4 Issue 1, p1-18, 18p

مصطلحات موضوعية: CRYPTOGRAPHY, COMPUTER security, INTERNET of things, WEBSITES, JAVA programming language

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.