김형석

박순찬

이신영

김정택

안소연

이진서

안가빈

이선재

최원석

안인규

전태준

이승현

Sewon Park

이종률

박지훈

조요한

홍성은

박은지

김대겸

위성일

김주연

최재승

김지응

정필수

협동분산네트워크시스템 연구실（CDS&N Lab）은 다양한 스마트 IoT 객체들이 협업/연동되는 스마트 공간이 사용자들에게 최적의 서비스를 제공하기 위한 요소 기술 및 플랫폼을 연구 개발한다. 이를 위해 공간이 갖는 다양한 의미를 파악하고 현재 발현되는 장소성을 알아내고  또한 사용자가 현재 수행하는 태스크를 실시간으로 인지하여,  사용자 태스크 수행을 위한 최적의 서비스를 즉시적으로 제공하는 엣지 컴퓨팅 플랫폼을 연구/개발하는 것을 목표로 한다. 이를 위해 CDS&N Lab은 IT융합센터（N1)에 여러 IoT 테스트베드（각종 센서 및 스마트 가전）를 구축하고 데이터를 수집하고 서비스 제공 플랫폼의 성능을 검증한다.
[장소의 의미 파악]
사용자가 방문하고 이용하는 장소의 의미는 사용자의 의도에 따라 다르고, 시간에 따라 변화한다. 각 사용자에게 알맞은 장소와 환경을 제공하기 위해서 도시 공간 속 장소의 소셜 빅 데이터를 분석하고,  GCN, Transformer 등의 다양한 머신 러닝 기법을 통해 장소의 다양한 의미를 파악하고 정형화하는 연구를 한다.
[사용자 의도 파악]
스마트 객체들의 상태를 기반하여 사용자의 의도를 실시간으로 파악하기 위해 데이타 분할을 위한 비지도학습 기반 기계 학습 기법, Transformer, Meta Learning 기반의 사용자 의도 파악 알고리즘, 최소한의 데이타로 의도를 예측하는  딥러닝 기법을 연구 개발한다
[엣지 클라우드 컴퓨팅]
스마트 공간에 파악된 사용자의 의도에 따른 최적의 서비스들을 제공하기 위해서 서비스 요구사항을 반영하는 강화학습 및 연합학습 딥러닝 기반 자원 재구성 기술, 자원 분배 및 스케줄링 연구를 진행한다.

협동 분산 시스템 및 네트워크 연구실은 분산 시스템 및 네트워킹 연구에 중점을 두고 있으며, 소셜 컴퓨팅, 인터랙티브 컴퓨팅 및 시스템/네트워크 측면을 강조합니다.

Partitioning Ethereum without Eclipsing It.

On the claims of weak block synchronization in bitcoin

Measuring DNS-over-HTTPS Downgrades: Prevalence, Techniques, and Bypass Strategies

Potential security concerns at the physical layer of 6G cellular systems

Work in Progress: I Know You Pin Me: Privacy Risks in User Pinning of Zoom Video Conferencing

Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations

IoTell: A Privacy-Preserving Protocol for Large-scale Monitoring of IoT Security Status

A step towards on-path security function outsourcing

On Frontrunning Risks in Batch-Order Fair Systems for Blockchains

On Frontrunning Risks in Batch-Order Fair Systems for Blockchains (Extended Version)

Understanding User Privacy Perceptions in Video Conferencing: Insights from a Feature-Specific User Study

On Privacy Risks of Watching YouTube over Cellular Networks with Carrier Aggregation

Preventing SIM Box Fraud Using Device Model Fingerprinting.

Implementing an application-specific instruction-set processor for system-level dynamic program analysis engines

Real-time scheduling for preventing information leakage with preemption overheads

Impact of Emerging Hardware on Security and Privacy

Interstellar: Fully partitioned and efficient security monitoring hardware near a processor core for protecting systems against attacks on privileged software

Secret: Secure channel between rich execution environment and trusted execution environment.

Hypernel: a hardware-assisted framework for kernel protection without nested paging

The image game: exploit kit detection based on recursive convolutional neural networks

In-process memory isolation using hardware watchpoint

A Study on Pseudonym Combination for Pseudonymized Vehicle Records

Fuzzer for Private MIB in SNMP

Octeon architecture emulation on QEMU

Scheduler-based Defense Method against Address Translation Redirection Attack (ATRA)

Revisiting the arm debug facility for os kernel security

A Study of Bitcoin Transaction Tracking Method through Illegal Community

SNMP 대상 퍼징기술 개발

Ki-mon arm: A hardware-assisted event-triggered monitoring platform for mutable kernel object

메모리 주소 변환 공격에 대한 스케줄러 기반의 방어 방법

QEMU 기반 옥테온 아키텍처 에뮬레이션

A Reflective Covert Channel Attack Anchored

Rosemary: A robust, secure, and high-performance network operating system

Atra: Address translation redirection attack against hardware-based external monitors

Efficient kernel integrity monitor design for commodity mobile application processors

On the analysis of byte-granularity heap randomization

Quantitative Server Sizing Model for Performance Satisfaction in Secure U2L Migration

A Novel Efficient Crash Consistency Solution Enabling Rollback Recovery for Secure NVM in Low-Power Energy Harvesting Systems

Harnessing the x86 intermediate rings for intra-process isolation

3rdpartee: Securing third-party iot services using the trusted execution environment

Value-based constraint control flow integrity

Active authentication using scrolling behaviors

Lord of the x86 rings: A portable user mode privilege separation architecture on x86

Savior: Thwarting stack-based memory safety violations by randomizing stack layout

SelMon: reinforcing mobile device security with self-protected trust anchor

EnclaveVPN: Toward optimized utilization of enclave page cache and practical performance of data plane for security-enhanced cloud VPN

Retrofitting the partially privileged mode for TEE communication channel protection

Detecting and preventing kernel rootkit attacks with bus snooping

불법 커뮤니티를 통한 비트코인 거래 추적 방법에 관한 연구

Rethinking Misalignment to Raise the Bar for Heap Pointer Corruption

KI-Mon ARM: A Hardware-Assisted Event-triggered Monitoring Platform for Mutable Kernel Object

OpenSGX: An Open Platform for SGX Research.

Monitoring Platform for Mutable Kernel Object

PrivateZone: Providing a Private Execution Environment Using ARM TrustZone

Service recommendation for user groups in internet of things environments using member organization-based group similarity measures

An analysis of problem-solving patterns in open source software

Analysis of the Cost-effectiveness of Regression Testing Techniques in Continuous Integration Environments based on Failure to Pay Attention

Edge-Cloud Collaboration Architecture for Efficient Web-Based Cognitive Services

그래프 클러스터링 알고리즘을 이용한 임무 기반 서비스 코디네이션 기법

사용자 생성 불변식을 활용한 웹 어플리케이션 테스트 품질 향상 방안.

Auto-labeling of sensor data using social media messages: a case study for a smart city

지속적 통합 환경에서 회귀 테스트 기술의비용효율성에 대한 실패 관심도 기반 분석

IoT 환경에서 시각적 서비스의 효과적인 품질 측정을 위한 VR 기반 시뮬레이션 방법

사용자 이동 경로를 고려한 효율적인 분산 IoT 레지스트리 관리 방법

3rd International Workshop on Big Data driven Edge Cloud Services (BECS 2023)–Preface

Predicting Korean Daily Stock Price Trends from Public Emotion Analyzed from Daily News Articles

모바일 엣지 컴퓨팅 환경에서 사용자 이동경로 기반 선행형 서비스 마이그레이션 방법

Introduction to the ICWE 2022 Special Issue

Toward Efficient Semantic Annotation: A Semantic Cloud Generation Scheme from Linked Data

Predictive power of public emotions as extracted from daily news articles on the movements of stock market indices

A task-oriented approach to support spontaneous interactions among users in urban computing environments

Graph-theoretical approach to enhance accuracy of financial fraud detection using synthetic tabular data generation

Effect-driven dynamic selection of physical media for visual iot services using reinforcement learning

Representation, Management and Sharing of Reuse-related Knowledge for Improving Software Reusability

WYSIMWYG: Simulation-based Decision Support for Data Distribution of Hyperlocal Services in Edge Cloud Environments

Analyzing Model Hubs for Effective Composition of Pre-Trained Machine Learning Models

Issue Tracking-Based Test Data Augmentation for Web Services

An Optimization Method for Perceived Quality of Services in Service-oriented V2X Software Environments

Member Organization-based Service Recommendation for User Groups in Internet of Things Environments

Dynamic Discovery of Geographically Cohesive Services in Internet of Things Environments

Forecasting at Full Spectrum: Holistic Multi-Granular Traffic Modeling under High-Throughput Inference Regimes

A User-Centric Conversational Service Mashup Model and Engine

엣지 클라우드 환경의 하이퍼로컬 서비스를 위한 분산 데이터 관리 프레임워크

Web usage based adaptive systems

소프트웨어공학을 위한 웹 2.0 기술 활동 동향 및 사례분석

Biological mutualistic models applied to study open source software development

이종성 문제 해결을 위한 플랫폼 독립적인 IoT 서비스 프레임워크

Distributed service discovery in mobile IoT environments using Hierarchical Bloom Filters

PowMash: 프레젠테이션 작성 스킴 기반 최종 사용자 서비스 매쉬업

Task recommendation for group users in public IoT environments

Semantically-based recommendation by using semantic clusters of users' viewing history

Extending developer experience metrics for better effort-aware just-in-time defect prediction

A Transport Protocol for Multimedia Transmission in Overlay Networks

Test case prioritization based on information retrieval concepts

Multi-aspect collaborative filtering based on linked data for personalized recommendation

An Interaction-Pattern-Based Approach to Prevent Performance Degradation of Fault Detection in Service Robot Software

A human-centric and environment-aware testing framework for providing safe and reliable cyber-physical system services

Adaptive service selection according to the service density in multiple QoS aspects

Task-oriented approach to guide visually impaired people during smart device usage

지속적 통합 환경에서 비용효율적인 회귀테스팅 기술 적용 및 테스트 실패 관심도에 따른 기술 성능 비교

Min Suk Kang

부교수

Brent Byunghoon Kang

교수

In-Young Ko

Youngjin Kwon

Daeyoung Kim

Moonzoo Kim

Min-Soo Kim

Min H. Kim

교수, 석좌교수(Endowed Chair Professor)

Soontae Kim

EunJung Kim

Juho Kim

Tae-Kyun (T-K) Kim or Tae Kyun Kim

Hyunwoo J. Kim

Sukyoung Ryu

Sue Moon 또는 Sue Bok Moon

Noseong Park

Daehyung Park

Jongse Park

Jong Cheol Park

Jinah Park

Jongmoon Baik

Minhyuk Sung

Sooel Son

Junehwa Song

Joseph Seering

조교수

Insik Shin

Sungjin Ahn

Hongseok Yang

Tae-Hyun Oh

Alice Oh

Sebastian Wiederrecht

Shin Yoo

Sung-Eui Yoon

Geehyuk Lee

Dongman Lee

Uichin Lee

교수, 석좌교수

Jae-Gil Lee

Jooyoung Lee

Sungho Jo

Property testing in computational geometry

Fast multipoint evaluation of bivariate polynomials

Computability in linear algebra

Computational benefit of smoothness: Parameterized bit-complexity of numerical operators on analytic functions and Gevrey’s hierarchy

Real hypercomputation and continuity

Geometric spanners with applications in wireless networks

Revising type-2 computation and degrees of discontinuity

Real computation with least discrete advice: A complexity theory of nonuniform computability with applications to effective linear algebra

Relative computability and uniform continuity of relations

Computable operators on regular sets

Computability on regular subsets of Euclidean space

Computational complexity of smooth differential equations

Physically-relativized Church–Turing Hypotheses: Physical foundations of computing and complexity theory of computational physics

Geometric searching in walkthrough animations with weak spanners in real time

Singular coverings and non-uniform notions of closed set computability

Computational power of infinite quantum parallelism

On approximating real-world halting problems

An explicit solution to Post's Problem over the reals

A computable spectral theorem

Computability and continuity on the real arithmetic hierarchy and the power of type-2 nondeterminism

협동 분산 시스템 및 네트워크 연구실

교수님 소개

강민석

연구실 소개

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations

On Frontrunning Risks in Batch-Order Fair Systems for Blockchains

On Frontrunning Risks in Batch-Order Fair Systems for Blockchains (Extended Version)

연구실 보유 특허

대학별 입시끈

우리 연구실 모집

교수님 소개

강민석

연구실 키워드

알럼나이가 간 회사

연구실 지원 방법

대우 조건

연도별 논문 인용수

저널 & 학회 논문 출판 수

연구실 논문 목록

Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations

On Frontrunning Risks in Batch-Order Fair Systems for Blockchains

On Frontrunning Risks in Batch-Order Fair Systems for Blockchains (Extended Version)

연구실 보유 특허

최근 3년간 연구실적 높은 연구실

대학별 입시끈

우리 연구실 모집