- Programme Design/Leading:
- 2019 -- present, Lead of the GCHQ-accredited Information Security (InfoSec) MSc Programme, Univ. of Surrey, UK
- 2018 -- 2019, Lead of the Computing and Information Technology (CIT) BSc Programme, Univ. of Surrey, UK
- 2013, contributed to the design of a new BEng/MEng programme in Computing at HEIG-VD, Switzerland
-
Full-Module Delivery/Leading:
- 2019--present (break for RS Fellowship in 2021), at Univ. of Surrey, module-leader and co-lecture for 3-rd year BSc in Computer Science module, "Computer Security" (cca. 100 students)
- 2018--present, at Univ. of Surrey, module-leader and co-lecturer for 3-rd year BSc in Computer Science module, "Systems Verification" (cca. 40 students)
- 2018--2019, at Univ. of Surrey, module-leader and co-lecturer for 1-st year BSc in Computer Science module, "Foundations of Computing" (cca. 190 students)
- 2017--2018, at Univ. of Surrey, module-leader and sole lecturer for 1-st year BSc in Computer Science, "Foundations of Computing" (cca. 160 students)
-
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: module-lead a 3-rd year BEng, "Information Security" (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, shared module-leadership of the master-level
"Crypto &
Security" module
(cca. 90 students)
Guest lectures:
- 2012-2013, EPFL: 2h of lecturing for the master-level "Advanced Cryptography" module (cca. 20 students)
- 2011-2012, EPFL: 2h of lecturing for the master-level "Advanced Cryptography" module (cca. 20 students)
- 2011-2012, EPFL: 2h of lecturing for the master-level "Cryptography and Security" module (cca. 100 students)
- 2010-2011, EPFL: 2h of lecturing for the master-level "Advanced Cryptography" module (cca. 20 students)
__________________________
-
Univ. of Surrey, 2017 -- present
- main supervisor of PhD student Rhys Miller, on security models and security analyses for new communication paradigms/protocols, started: 10/2019, confirmed
- main supervisor of PhD student Ksenia Budykho, on automatic verification of security and privacy, started: 07/2019, confirmed
- main supervisor of PhD student Sam Ivey, on cryptographic models and proofs for contactless payments, started: 10/2018, graduated
- co-supervisor of PhD student Nick Frymann, on multi-factor authentication, started: 07/2019
- co-supervisor of GCHQ-funded summer research-internship by Joe Konathapally, "Feasability of Easycrypt proofs for MiM-security for Contactless Payments", 07/2019 -- 09/2019
- co-supervisor of summer research-internship by Blake Fowler, "Feasability of Relays in Mastercard Payments and Their Improvements with Android Phones", 07/2019 -- 09/2019
- supervisor of master dissertation-project by Anda Anda, "Relaying and Countermeasures --with application to contactless EMV--, 10/2017 --08/2018
- supervisor of final-year-UG project by James Lewis, "Proximity-Checking Attacks on NFC-Enabled Mobile Phone", 10/2017 --05/2018
- supervisor of GCHQ-funded summer research-internship by Ayotunde Ikuesan, "Feasability of Relay attacks in RFID with 'off-the-shelf' tools", 06/2017 -- 09/2017
-
EPFL, 09/2011 -- 08/2013
- 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
__________________________