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 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.

(Sadly, this website may not always be totally up-to-date.)

I'm at Lecturer in Secure Systems at University of Surrey, within the Surrey Centre for Cyber Security. Previously, I was a Marie Skłodowska-Curie (MSCA) fellow, working mainly on (automatic) analysis of of security in ICT and IoT, as well as the provable security thereof, with a focus on privacy. First half of my fellowship was hosted in the Verification of Autonoumous Systems group at Imperial College London, and the second half is hosted in the Secure Systems group at University of Surrey. Until mid-June 2015, I was a security architect at Akamai. Previously, I was a Professor of Information Security at the University of Applied Sciences, Western Switzerland. Formerly, I was a lecturer ("chargée de cours") in security and cryptography at EPFL, Lausanne, Switzerland. There, I also held the position of deputy director of LASEC (Laboratory of Security and Cryptography), where I worked as a senior researcher in security/cryptographic design. I hold a PhD in formal verification of security protocols from Imperial College London, and a B.Sc. in computing, vale dictorian, from Faculty of Computer Science, "Alexandru Ioan Cuza" University, Iaşi, România.

For work-related purposes, I prefer to use just my maiden name, Boureanu, though my official, married name is Carlson.

News

________________________________
  • 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!