My Google Scholar Profile

My LinkedIn Profile

Committees and Boards

General, Program, Local Chair
Associate Editor
  • -- the Information Security Journal


PC Member
  • -- the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018), 2018
  • -- the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2018), 2018
  • -- the 21st Information Security Conference (ISC 2018), 2018
  • -- the 16th European Conference on Multi-Agent Systems (EUMAS 2018), 2018
  • -- the 15th European Conference on Multi-Agent Systems (EUMAS 2017), 2017
  • -- the 26th International Joint Conference on Artificial Intelligence (IJCAI), Special Track on AI and Autonomy, 2017
  • -- 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2017), 2017
  • -- the 5th International Conference - Romanian Cryptology Days (RCD), Bucharest, Romania, 2017
  • -- the 13th International Conference on Information Security and Cryptology (Inscrypt), 2017
  • -- the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), 2016
  • -- the 12th International Conference on Information Security and Cryptology (Inscrypt), 2016
  • -- the 14th International Conference on Privacy, Security and Trust (PST), 2016
  • -- the International Workshop on AI for Privacy and Security (PrAISe) 2016
  • -- the 11th International Conference on Information Security and Cryptology (Inscrypt), 2015
  • -- the 13th International Conference on Privacy, Security and Trust (PST), 2015
  • -- the ACySe 2015: the 2nd International Workshop on Agents and CyberSecurity, affiliated to AAMAS2015
  • -- the 3rd International Conference - Romanian Cryptology Days (RCD), Bucharest, Romania, 2015
  • -- the 2nd International Conference on Mathematics and Computing, India, 2015
  • -- the 10th International Conference on Information Security and Cryptology (Inscrypt), 2014
  • -- the 1st International Workshop on Agents and CyberSecurity (ACySe), 2014
  • -- the 1st international conference on cryptography and information security in Balkans (BalkanCryptSec), 2014
  • -- the 9th ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2014
  • -- the 19th Australasian Conference on Information Security and Privacy (ACISP), Australia, 2014
  • -- the 12th International Conference on Privacy, Security and Trust (PST), 2014
  • -- the 7th International Conference on Provable Security (ProvSec), Melaka, Malaysia, 2013
  • -- the 12th International Conference on Cryptology and Network Security (CANS), 2013
  • -- the 11th International Conference on Privacy, Security and Trust (PST), 2013
  • -- the 14th International Conference on Cryptology in India (Indocrypt), 2013
  • -- the 15th International Conference on Information and Communications Security (ICICS), 2013
  • -- the 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS), 2013
  • -- the 2nd International Conference, Romanian Cryptology Days (RCD), 2013
  • -- the 6th International Conference on Cryptology in Africa (Africacrypt), 2013
  • -- CT-RSA 2013
  • -- Yet Another Conference on Cryptography (YACC), 2012
  • -- the 15th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), 2012

Grant Reviewing
  • -- CHIST-ERA ERA-NET 2016, remote reviewer.

I'm at Lecturer in Secure Systems at University of Surrey, within the Surrey Centre for Cyber Security.

My research interests are in area of cyber security, formal verification and cryptography, including:
  • formal security analysis: development of formal frameworks and tools for security (protocol) analysis
  • provable security: generic framework development, protocol design, security proofs
  • formal verification (especially model checking), applied logics
  • wireless, mobile and IoT security: e.g., distance-bounding, RFID/NFC security, 5G

News

________________________________
  • September 2018. I am co-organising the 8th Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers (CrossFyre) , in Guildford, UK. Consider attaending.
  • April 2018. I am co-organising the FutureDB workshop, on relay attacks and countermeasures. Consider attending!
  • October 2017. I've become a Fellow of the UK's Higher Education Academy (FHEA).
  • June 2017. I've taken up a lectureship in secure systems at University of Surrey.
  • March 2017. I was selected to give Spotlight talk at the NCSC-led Cyber UK in Practice 2017!
  • October 2016. I moved to University of Surrey, as member of the Secure Systems group.
  • September 2016. I received the Romberg Grant of the selective Heidelberg Laureate Forum.
  • March 2016. I was an invited speaker at a FinTech Research Showcase by Imperial College London.
  • June 2015. After some two years focused on teaching and consultancy in IT security, I have now come back to research in cybersecurity, its design, analysis and verification; I am a MSCA fellow at Imperial College London.
  • May 2014. Moving back to the UK, I took up the role of security architect at Akamai, focusing on web application security.
  • August 2013. I joined HEIG-VD as a Professor, in their security group!
  • April 2013. I am an invited participant to the Dagstuhl seminar on the verification of multiagent systems (VaToMAS)!
  • February 2013. We are organising ACNS 2014 in Lausanne, Switzerland!
  • April 2013. I am an invited participant to the 2013 Early Symmetric Crypto seminar (ESC 2013)!
  • August 2012. I have started my role as deputy director of LASEC!
  • March 2012. In MICS, we encourage joung women into postgraduate studies: I supervised Mrs. Bogos through her MICS summer internship for female undergraduates and it resulted in a publication!
  • October 2011. I have obtained an one year funding-extension under MICS, for my research on the security of wireless systems, under SECU!
  • October 2011. I have obtained equipment for applied research through Google's 2011 EMEA AndroidEDU programme!