Personal Site · Resume
Amir Naseredini
Senior CPU Engineer · Huawei Technologies R&D, UK
Senior CPU Engineer at Huawei Technologies R&D, with a PhD in Informatics from the University of Sussex and a background in microarchitectural security research, low-level systems engineering, and vulnerability analysis. Previously at Canonical and Google.
01
About
Amir is a Senior CPU Engineer at Huawei Technologies R&D (UK), where he analyses product architectures and microarchitectures to design optimisation solutions. His background spans system-level security, formal verification, and low-level software engineering — from kernel module development at Google to vulnerability research at Canonical's Ubuntu Security team.
His PhD research, completed at the University of Sussex under the supervision of Dr. M. Berger, developed formal and automated techniques for reasoning about microarchitectural attack surfaces, including Spectre and Rowhammer. He is an active contributor to open-source tooling and has published and presented at international security and programming-language conferences.
02
Experience
Jul 2024 —
Present
Present
Huawei Technologies R&D
United Kingdom
Senior CPU Engineer
- Analyse product architectures and microarchitectures to design optimisation solutions.
Jan 2023 —
Jun 2024
Jun 2024
Canonical
London, UK
Ubuntu Security Engineer
- Analysed, fixed, and tested security vulnerabilities in Ubuntu packages.
- Tracked vulnerabilities across Ubuntu releases from discovery through remediation.
- Maintained Node.js security posture within Ubuntu.
- Reviewed snaps for the Snap Store prior to granting non-default privileges.
- Conducted source-code security audits.
Manager: Alex Burrage
Sep 2022 —
Dec 2022
Dec 2022
Google
London, UK
Security Engineer Intern
- Developed kernel modules and device drivers.
- Analysed VirtIO devices within the crosvm virtualisation environment.
- Built a full-stack device in crosvm to facilitate DRAM analysis.
Manager: Alexandra Sandulescu
Mar 2022 —
Sep 2022
Sep 2022
Royal Holloway, University of London
Centre for Programming Languages and Systems, London, UK
Postdoctoral Research Assistant
- Conducted research on Active Automata Learning and DRAM security.
- Developed the open-source ALARM tool to analyse DRAM models against Rowhammer attacks.
Supervisor: Dr. M. Sammartino
Sep 2020 —
Mar 2021
Mar 2021
TU Graz — Secure Systems Group
Graz, Austria
Visiting Researcher
- Researched microarchitectural attacks across programming languages and execution environments.
- Developed Speconnector — a tool to perform Spectre analysis independent of target language or environment.
Supervisor: Dr. D. Gruss
Sep 2018 —
Oct 2023
Oct 2023
University of Sussex — FoSS Group
Brighton, UK
PhD Researcher
- Conducted research on automation and formal security methods.
Supervisor: Dr. M. Berger
Feb 2017 —
Sep 2018
Sep 2018
Amirkabir University of Technology — APA Research Center
Tehran, Iran
Researcher
- Researched computer security assessment and penetration testing.
- Researched smartphone and computer forensics.
- Conducted research on SMC and Oblivious Transfer (OT) protocols.
Supervisors: Dr. B. Sadeghiyan, Dr. S. Niksefat
03
Education
Sep 2018 —
Oct 2023
Oct 2023
University of Sussex
Brighton, UK
PhD in Informatics (Computer Science)
- Thesis: "Towards Automatic Analysis of Microarchitectural Attacks"
Sep 2015 —
Feb 2018
Feb 2018
Amirkabir University of Technology (Tehran Polytechnic)
Tehran, Iran
MSc in IT — Information Security
- Thesis: "Algebraic Cryptanalysis of ARX-Design Hash Functions"
Sep 2011 —
Jul 2015
Jul 2015
University of Kurdistan
Sanandaj, Iran
BSc in Information Technology
- Overall GPA: 18.47/20 (92.35% · 3.9/4.0) — 1st place, Computer Engineering & IT Department.
- Technical GPA: 18.97/20 (94.85% · 4.0/4.0).
04
Publications & Presentations
Conference Paper · 2022
ALARM: Active LeArning of Rowhammer Mitigations
Hardware and Architectural Support for Security and Privacy (HASP 2022), co-located with MICRO 2022 — October 2022
Download PDF
Conference Paper · 2022
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
8th International Conference on Information Systems Security and Privacy (ICISSP 2022) — February 2022
Download PDF
Conference Paper · 2018
Security Assessment of ARX-Design Hash Functions against Algebraic Cryptanalysis
26th Iranian Conference on Electrical Engineering (ICEE 2018) — May 2018
Invited Talk · 2023
ALARM: Active LeArning of Rowhammer Mitigations
Informatics Department, King's College London, UK — March 2023
Invited Talk · 2022
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
Computer Science Department, University College London (UCL), UK — February 2022
05
Teaching
Sep 2018 —
Sep 2022
Sep 2022
University of Sussex
Brighton, UK
Associate Tutor
- Comparative Programming (2019, 2020, 2021) — lab sessions
- Compilers and Computer Architecture (2020, 2021)
- Introduction to Computer Security (2018, 2019, 2020) — lab sessions
- Operating Systems — lab sessions
- Further Programming — lab sessions
- Databases; Limits of Computation — lab sessions
- Programming for Engineers; Professional Skills
- Delivered guest lectures on Rowhammer attacks and penetration testing to undergraduate cohorts (2018, 2019)
Sep 2016 —
Jan 2018
Jan 2018
Amirkabir University of Technology
Tehran, Iran
Instructor
- Operating Systems Laboratory — lectured and graded.
- Computer Workshop — lectured and graded.
Sep 2016 —
Mar 2017
Mar 2017
Amirkabir University of Technology
Tehran, Iran
Teaching Assistant
- Applied Cryptography (graduate) — Dr. B. Sadeghiyan
- Data Structures — Prof. M. Dehghan TakhtFooladi
- Fundamentals of Programming — Dr. E. Nazerfard
Sep 2012 —
Jun 2015
Jun 2015
University of Kurdistan
Sanandaj, Iran
Teaching Assistant
- Programming in C/C++; Data Structures — Dr. P. Moradi
- Data Structures — Dr. A. Khorramian
- Programming in Java; Design and Analysis of Algorithms — Dr. A. Abdollahpouri
06
Certifications
Developing Secure Software (LFD121) — The Linux Foundation
Security and the Linux Kernel (LFD441) — The Linux Foundation
Linux Kernel Internals and Development (LFD420) — The Linux Foundation
A Beginner's Guide to Linux Kernel Development (LFD103) — The Linux Foundation
Open Source Licensing Basics for Software Developers (LFC191) — The Linux Foundation
07
Honours & Awards
Star of Cambridge Award — Huawei Technologies R&D UK, for high-impact deliveries (July 2025)
School of Engineering and Informatics Fully-Funded PhD Scholarship — University of Sussex (September 2018)
Talented Student Award — University of Kurdistan, two consecutive years (Dec 2013 – Dec 2015)
Ranked #2 nationally in the MSc National Entrance Exam in Iran (BSc GPA considered)
Ranked #27 nationally in the PhD National Entrance Exam in Iran
Ranked #6 — Lahijan ACM On-Site Contest (March 2014)
Ranked #10 — Sharecode.ir ACM Online Judge (June 2015)
Ranked #6,000 — UVa Online Judge (June 2015)
08
Research Interests
09
Languages
Kurdish
Native
Farsi / Persian
Native
English
Full Professional Proficiency
Arabic
Elementary
10
Service & Membership
Student Volunteer — PLDI 2020
Student Volunteer — ECOOP and Curry On 2019
ACM Member — May 2013 to Apr 2016
IEEE Member — 2012
IEEE Computer Society Member — 2012
IT Association Chairman & Founding Member — University of Kurdistan (Sep 2013 – Sep 2014)