이 연구 주제는 대규모 분산 환경에서 계산 효율성과 시스템 신뢰성을 동시에 확보하기 위한 알고리즘 설계에 초점을 둔다. 연구실은 분산/병렬 알고리즘을 기반으로 클라우드, 서버리스, 가상화, 쿠버네티스와 같은 현대 컴퓨팅 인프라에서 작업 분배, 자원 활용, 지연시간 최소화, 처리량 향상 문제를 다룬다. 특히 단일 시스템의 성능 향상을 넘어, 네트워크 지연과 장애가 빈번한 실제 환경에서 안정적으로 동작하는 구조를 만드는 데 관심이 크다. 이와 관련하여 연구실의 최근 성과는 비잔틴 장애 허용 합의 메커니즘의 개선으로 이어진다. rPBFT 연구는 전통적인 PBFT가 갖는 높은 메시지 복잡도와 확장성 한계를 완화하기 위해, 노드의 신뢰도를 동적으로 평가하고 이를 바탕으로 위원회를 구성하는 접근을 제안한다. 이 방법은 장애 노드가 포함된 환경에서도 합의 성공률과 처리량을 높이고, 지연시간을 줄이는 데 효과적이며, 블록체인과 IoT처럼 노드 수가 많고 네트워크 상태가 불안정한 시스템에 적합하다. 또한 과거의 스팟 클라우드 스케줄링, 맵리듀스 성능 향상, 모바일 클라우드 장애 허용 연구와도 일관된 흐름을 가진다. 향후 이 연구는 단순한 병렬처리 최적화에 머무르지 않고, 분산 시스템의 자율적 복구와 적응형 운영으로 확장될 가능성이 크다. 예를 들어 컨테이너 오케스트레이션 환경에서 워크로드 특성에 따라 오토스케일링 기준을 다르게 설정하거나, 서버리스 추론에서 메모리 공유를 통해 비용과 성능을 동시에 최적화하는 방식이 여기에 포함된다. 결과적으로 이 연구는 대규모 서비스 운영, 산업용 IoT, 블록체인 인프라, 엣지-클라우드 통합 환경에서 실용성이 높은 핵심 기반기술을 제공한다.

이 연구 주제는 네트워크와 소프트웨어 구성요소 수준에서 발생하는 보안 위협을 효과적으로 탐지하고 제어하는 방법을 다룬다. 연구실은 데이터 전송 과정에서의 도청, 악성코드 유포, 정보 유출과 같은 문제에 대응하기 위해, 성능 저하를 최소화하면서도 보안성을 유지할 수 있는 시스템 구조를 탐구한다. 특히 실서비스 환경에서는 강한 암호화와 보안 검사가 서로 충돌하는 경우가 많기 때문에, 둘 사이의 균형을 맞추는 기술이 중요한 연구 대상이 된다. 대표적으로 종단간 암호화 환경에서의 빠른 패킷 검사 연구는 이러한 문제의식을 잘 보여준다. 기존의 DPI 방식은 악성 패턴 검출에 유용하지만 검사 과정에서 종단간 암호화의 장점을 훼손하거나 처리 시간이 길어지는 단점이 있다. 연구실은 이를 개선하기 위해 E2EE를 유지하면서 알려진 악성 패턴을 신속하게 탐지할 수 있는 FPI 구조를 제안하였다. 이는 네트워크 보안 장비, 보안 게이트웨이, 고속 인터넷 서비스에서 현실적으로 적용 가능한 방식으로, 성능과 프라이버시를 동시에 고려한 접근이라는 점에서 의미가 크다. 또한 연구실은 소프트웨어 컴포넌트 조합 과정에서의 보안 정책 보장 문제도 다룬다. 안전하지 않은 모듈이나 외부 컴포넌트가 포함된 시스템에서, 각 구성요소의 행위 속성을 모듈 단위로 검증하고 정책 위반 가능성을 줄이는 연구는 신뢰 가능한 소프트웨어 개발의 핵심이다. 이러한 연구 방향은 단순한 공격 방어를 넘어, 설계 단계부터 보안을 내재화하는 보안 중심 소프트웨어 공학으로 이어진다. 따라서 본 주제는 네트워크 보안, 시스템 소프트웨어, 컴포넌트 기반 개발을 연결하는 융합적 성격을 가진다.

이 연구 주제는 소프트웨어가 의도한 규칙에 맞게 정확하고 안전하게 동작하도록 만드는 이론적 기반에 초점을 둔다. 연구실의 학문적 배경에는 프로그래밍언어 이론과 컴파일러가 뚜렷하게 자리하고 있으며, 이는 단순 구현 기술이 아니라 프로그램의 의미론, 모듈 간 인터페이스, 검증 가능한 구성 원리를 포함한다. 이러한 기반 연구는 보안성과 신뢰성이 중요한 시스템 소프트웨어, 미들웨어, 분산 애플리케이션 개발에 장기적인 영향을 미친다. 특히 안전한 컴포넌트 조합과 정책 강제 연결에 관한 연구는 언어 수준에서의 제약과 시스템 수준의 행위를 연결하는 중요한 사례다. 외부 모듈이나 신뢰할 수 없는 컴포넌트를 포함하는 경우에도, 모듈의 행위 특성을 명시하고 이를 조합 규칙에 반영하면 전체 시스템의 안전성을 더 체계적으로 보장할 수 있다. 이는 컴파일러의 정적 분석, 타입 시스템, 인터페이스 검증, 프로그램 변환 기법과 연결되며, 소프트웨어 결함이나 보안 취약점을 사전에 줄이는 데 기여한다. 이러한 연구는 장기적으로 고신뢰 소프트웨어 플랫폼 구축에 매우 중요하다. 인공지능 서비스, 클라우드 네이티브 애플리케이션, 블록체인 노드 소프트웨어처럼 복잡도가 높은 시스템일수록, 구현 후 보완보다 설계 단계의 언어적·형식적 검증이 더 큰 가치를 가진다. 따라서 연구실의 프로그래밍언어 및 컴파일러 중심 접근은 실용 시스템 연구를 떠받치는 핵심 토대이며, 성능 최적화와 보안 보장을 함께 달성할 수 있는 기반기술로 평가할 수 있다.