My Google Scholar Profile

My LinkedIn Profile

Committees and Boards

General and Program Co-chair
-- ACNS 2014

Associate Editor
-- the Information Security Journal

PC Member
  • -- 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 26th 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.

    Full courses:
  • 2014--2015, via Akamai: delivering 20 two-day and one-day, custom trainings in web-security to IT (security) specialists in private and public organisations in EMEA
  • 2013, at HEIG-VD: lecturing a 3-rd year BEng information security course (cca. 35 students)
  • 2013, at HEIG-VD: preparing the full support for an operating systems' security course and a course on the security of wireless systems
  • 2012, at EPFL: co-lecturing a master-level Crypto & Security course
    (cca. 90 students)
  • Guest lectures:
  • 2012-2013, EPFL: 2h of lecturing for the master-level Advanced Cryptography course (cca. 20 students)
  • 2011-2012, EPFL: 2h of lecturing for the master-level Advanced Cryptography course (cca. 20 studnets)
  • 2011-2012, EPFL: 2h of lecturing for the master-level Cryptography and Security course (cca. 20 students)
  • 2010-2011, EPFL: 2h of lecturing for the master-level Advanced Cryptography course (cca. 20 students)
__________________________
  • coordinator of master student Samuel Kimoto, under a security API verification semester project, spring semester of 2012-2013
  • coordinator of master research scholar Hannah Muckenhirn, under a protocol verification research project, spring semester of 2012-2013
  • coordinator of master research scholar Hannah Muckenhirn, under the iCV project (on certification validation), fall semester of 2012-2013
  • coordinator of doctoral student, Sonia Bogos; semester project on the learning parity with noise problem (research project), fall semester of 2012-2013
  • coordinator of master student, Octave Berry, under the ``Google AndroidEDU Program''; semester project entitled "Communication Surveillance for Android 2.x" (implementation on Android, fall semester of 2012-2013)
  • coordinator of master student, Charles Roussel, under the ``Google AndroidEDU Program''; semester project entitled "Encrypted Calendar for Android 2.x" (implementation on Android), fall semester of 2012-2013
  • coordinator of master, summer intern, Sonia Bogos, under the MICS, NCCR project; on the "Primeless Cryptography project"
  • coordinator of Sebastien Duc under "Google's AndroidEDU Program", on a semester, master-level project "Short, Undeniable Signature for Android 2.x" (implementation on Android), spring semester of 2011-2012
  • coordinator of Gianluca Dal Mas under "Google's AndroidEDU Program", on a semester, master-level project "Manual Key Transfer: A SAS-based key agreement protocol" (implementation on Android), spring semester of 2011-2012
__________________________
  • 1 semester of tutorials for the Systems Verification course, Imperial College London, 2015-2016
  • 1 semester of running the exercise sessions in Advanced Cryptography, Master, EPFL, 2011-2012
  • 1 semester of running the exercise sessions in Advanced Cryptography, Master, EPFL, 2010-2011
  • 3 semesters of marking in Advanced Software Engineering, Imperial College London, 2008-2010
  • 1 semester of labs in Logic Programming, Imperial College London, 2009-2010
  • 2 semesters of labs in Java Programming, Imperial College London, 2008-2009, 2009-2010