S SECT Lab Security & Efficient Computing Techniques

JunKyu Lee · Research Fellow · University of Essex

Building secure and efficient computing systems for the AI era.

I work across cybersecurity, efficient AI computing, and hardware–software co-design. My research aims to make advanced computing systems more trustworthy, resource-efficient, and deployable beyond large-scale datacentres.

Secure AI systems Distributed LLM inference Energy-efficient computing
SECT RESEARCH STACK
Security
AI Systems
Efficiency

Research vision

“Future computing systems should not force a choice between security, efficiency, and practical deployment. The central challenge is to design them together.”

Research themes

Security and efficiency as a single systems problem.

SECT connects algorithmic ideas, systems architecture, and hardware-aware optimisation. The goal is not simply to produce accurate models, but to create complete systems that remain secure, measurable, and efficient.

01

Secure AI and software systems

Methods for trustworthy AI, software supply-chain security, formal security reasoning, attack-surface analysis, and secure-by-design system architectures.

  • AI-enabled formal methods
  • Software supply-chain assurance
  • Security metrics and verification
02

Efficient LLM inference

Communication-aware inference for distributed and edge platforms, including activation compression, tensor parallelism, and resource-aware deployment.

  • Low-bandwidth inference
  • Quantisation and compression
  • Edge and embedded AI
03

Hardware–software co-design

Cross-layer methods linking architecture, algorithms, arithmetic, memory, communication, and security constraints.

  • Memory and communication optimisation
  • FPGA and heterogeneous systems
  • Design-space exploration
04

Energy-aware computing

Models and design techniques for understanding where energy is spent and how system-level decisions reshape performance, power, and reliability.

  • Cross-layer energy modelling
  • Energy–latency trade-offs
  • Sustainable computing systems

Current directions

Selected research programmes.

These summaries describe active or developing research directions rather than a complete publication list.

Distributed AI

Communication-efficient tensor-parallel LLM inference (Contributor)

Reducing activation-communication overhead in distributed inference through layer-wise vector quantisation, calibration, and low-bit representations for bandwidth-constrained platforms.

Goal Make capable LLM inference viable over modest networks and edge hardware.
AI Security

Perturbation-guided security reasoning for AI systems (Leader)

Studying structured perturbations across inputs, parameters, activations, prompts, and tool-use states to quantify stability and identify security-sensitive operating regions.

Goal Turn robustness observations into measurable security evidence.
Efficient Systems

Memory- and communication-aware long-context inference (Contributor)

Runtime and architectural techniques that coordinate memory pressure, data movement, replication, and scheduling in resource-constrained accelerator clusters.

Goal Improve deployability without hiding communication and memory costs.
Sustainable Computing

Cross-layer energy-efficiency frameworks (Leader)

Analytical techniques connecting arithmetic, data movement, voltage, throughput, and architectural constraints to support transparent efficiency comparisons.

Goal Guide system design with interpretable energy and performance models.

How SECT works

Four principles guide the lab.

01Measure the real bottleneck.
02Co-design across system layers.
03Treat security as an architectural property.
04Validate claims under realistic constraints.

Teaching

Teaching computing through systems thinking.

My teaching connects foundational programming and mathematics to the way real computing systems are designed, evaluated, and improved.

Module leadership

Introduction to Programming (2025 Autumn)

Python programming, problem decomposition, functions, data structures, files, exceptions, recursion, and object-oriented programming.

Current teaching area

Mathematics and Statistics for Sciences (2026 Spring)

Quantitative foundations for scientific reasoning, data analysis, and later study in computing and engineering.

Teaching contribution

Web Development and Computing Systems (2025/6 Spring)

Assessment, lab support, technical feedback, and the development of practical problem-solving skills.

Career

A cross-disciplinary path through computing research.

My work combines numerical analysis, SW/HW engineering, AI applications, and cybersecurity.

Current

Research Fellow in IADS/CSEE, University of Essex

Research and teaching in AI systems, efficient computing, and cybersecurity.

2017–2023

Marie Curie Fellow, Queen’s University Belfast

Research in computing systems and hardware–software co-design.

2015–2016

Research Associate, University of Sydney

Research experience in FPGA-based machine learning systems.

2012–2013

Postdoctoral Researcher, University of Tennessee / Oak Ridge National Laboratory

Postdoctoral research at the intersection of advanced computing and engineering.

PhD

Computer Engineering, University of Tennessee

Major in Computer Engineering with a minor in Computer Science.

Collaboration

Interested in secure and efficient AI systems?

I welcome research discussions with academics, students, and industrial collaborators working on AI security, distributed inference, efficient computing, and hardware–software co-design.