-
미국 국방부가 주목한 C-러스트 기술 선도하다
컴퓨터 시스템을 작동시키기 위해서는 소프트웨어를 작성해야 하는데 그때 필요한 언어가 바로 프로그래밍 언어이다. 실행속도도 빠르고 유지보수도 쉬운 언어가 C언어인데 메모리 할당 및 관리 등에 치명적인 문제점을 가지고 있다. 이런 문제를 해결하기 위해 개발된 프로그래밍 언어는 러스트이다. 미국 백악관이나 국방성에서 메모리 문제를 막기 위해 러스트같이 안전한 언어 사용을 촉구하고 있는데 우리 대학 연구진이 C-러스트 코드 번역 기술을 이미 선제적으로 개발하고 선도하고 있어 화제다.
우리 대학 전산학부 류석영 교수 연구팀(프로그래밍 언어 연구실)이 C언어의 유니언(union)*을 러스트의 태그드 유니언(tagged union)으로 변환하는 기술을 세계 최초로 개발했다고 13일 밝혔다.
*유니언: 여러 종류의 데이터를 같은 공간에 보관해 메모리 효율을 높이는 C언어의 핵심 기능이다. 그러나 보관된 데이터가 어떤 종류인지 구분하지 않아 메모리 문제를 일으킬 수 있다.
**태그드 유니언: 같은 공간에 보관할 수 있는 여러 종류의 데이터 중 어떤 종류의 데이터를 보관하는지 태그를 붙여서 구분하여, 메모리 문제를 일으키지 않는다.
연구팀은 C언어의 유니언에 특화된 새로운 프로그램 분석 기법을 고안해 러스트의 태그드 유니언으로 자동 번역하는 데 성공했다.
올해 2월 백악관에서도 C언어의 사용을 중단하라고 촉구한 바가 있고(https://www.whitehouse.gov/wp-content/uploads/2024/02/Final-ONCD-Technical-Report.pdf) 미국 국방고등연구계획국(이하 DARPA)에서 C언어로 작성된 코드를 러스트(Rust)로 자동 번역하는 기술을 개발하는 연구 과제를 발표했다.(https://www.darpa.mil/program/translating-all-c-to-rust) DARPA는 미국 국방성의 연구·개발을 담당하는 기관이며 인터넷의 원형인 아파넷(ARPANET)을 개발하는 등 혁신적이고 영향력 있는 연구를 지원해 왔다. DARPA는 이 과제를 제안하며 C의 메모리 문제를 막기 위해 러스트같이 안전한 언어를 사용해야 한다고 밝혔다.
러스트는 2015년부터 개발된 프로그래밍 언어다. 운영 체제, 웹 브라우저 개발 등에 쓰이며, 2022년에는 리눅스(Linux) 개발에도 공식 사용되기 시작했다.(https://www.infoq.com/news/2022/12/linux-6-1-rust/) C와 달리 프로그램 실행 전에 메모리 문제를 탐지하고 예방할 수 있는 것이 특징이다.
류 교수 연구진은 2023년 5월과 2024년 6월에 각각 C의 뮤텍스(mutex)*와 출력 파라미터(output parameter)**를 러스트로 변환하는 기술을 세계 최초로 개발해, 최우수 국제 학술대회인 국제소프트웨어엔지니어링학회(ICSE)와 프로그래밍언어설계구현학회(PLDI)에 발표한 바 있다.
*뮤텍스: 프로그램 동기화에 필요한 기능
**출력 파라미터: 계산 결과 전달에 사용되는 기능
C언어와 러스트의 큰 간극으로 인해 세계적으로도 C-러스트 코드 번역 기술을 성공적으로 개발한 연구팀은 극소수다. 그마저도 포인터(pointer)*를 변환하는 데 머물고 있다. 그러나 류석영 교수 연구팀은 C의 여러 핵심 기능을 변환하는 기법을 연달아 제시해 C-러스트 코드 번역 기술을 선도하고 있다.
*포인터: 데이터 저장 위치를 표현하는 기능
류석영 교수는 “안전한 소프트웨어 제작을 목표로 연구하면서 C-러스트 코드 번역의 중요성을 일찍이 파악하고 각종 프로그래밍 언어 기법들을 코드 번역에 적극적으로 도입하여 나온 결과”라면서, “완전한 자동 번역을 위해 아직 풀어야 할 난제가 많으니 후속 연구에 정진하여 계속 분야를 선도하겠다”고 말했다.
전산학부 홍재민 석박사통합과정 학생이 제1 저자로 참여한 이번 연구 결과는 최우수 국제 학술대회인 국제자동소프트웨어엔지니어링학회(ASE)에 채택됐다(논문명: To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions).
한편 이번 연구는 한국연구재단 선도연구센터 및 중견연구자지원사업, 정보통신기획평가원(IITP), 삼성전자의 지원을 받아 수행됐다.
2024.08.13
조회수 3484
-
2023 괴짜들의 놀이터에 질문왕은?
우리 대학이 28일 오전 학술문화관(E9)에서 '2023 KAIST 큐데이(Q-Day)'를 개최했다.올해 처음 시행되는 '큐데이'는 우리 대학의 신문화전략 'QAIST'에 적극적으로 동참한 구성원을 격려해 창의 정신 및 질문하는 캠퍼스 문화를 확산하기 위해 마련됐다. Q(창의교육), A(연구), I(국제화), S(기술사업화), T(신뢰와 소통) 등 5개 분야에서 우수한 성과를 낸 41개 팀 총 84명이 특별 포상을 받고 그중 7개 팀이 특별 강연한다. 바이오및뇌공학과 장무석 교수는 창의교육 분야 포상자로 선정돼 '질문하는 뇌'를 주제로 연단에 오른다. 장 교수는 "질문을 잘하는 학생들은 학습내용에 대한 몰입도가 높은 학생들"이라고 강조하며, "질문을 품고, 함께 나눠서 '상상의 경계'를 허물자"라는 내용을 전달할 예정이다.
특히, 교수가 전문지식을 일방적으로 전달하기보다는 학생들이 주체적으로 질문하고 답을 찾아가는 과정에서 스스로 사고하는 힘을 기르는 것은 물론, 질문에 질문으로 답하는 토론으로 소통하는 과정까지 더해 ‘문제 내는 문제’ 제도를 발전시킨 경험담을 공유한다.
'학부 교육에 관심 있는 학부가 없는 학과 교수'인 구태윤 의과학대학원 교수도 창의교육 분야 포상자로 선정됐다. 대학원 과정만 운영하는 의과학대학원 최초로 학부 교과목을 개발하여 '치아는 왜 평생 두 번만 날까?'와 같은 인체와 질병에 관한 질문을 만들고 답을 찾아가는 자기주도적 학습과제를 평가 요소로 도입했다. 그 결과 100명의 수강생이 100개의 창의적 질문을 만들어 이에 관해 두 달간 온라인으로 토론하는 수업을 진행해 학생들의 높은 만족도를 끌어냈다.
구태윤 교수는 "시험을 치를 때보다 훨씬 많은 것을 얻어가는 학생들을 보며 질문하는 학습법의 큰 가능성을 봤으며, 세상을 바꿀 참신한 질문들을 기다리며 KAIST만의 질문하는 문화조성에 앞장서겠다"라고 전했다.
우리 대학 입학 후 질문을 만들고 그에 관한 생각을 기록하는 습관을 길렀다는 이준원 씨(전기및전자공학부 학사과정)도 이날 시상대에 오른다. 그가 지금까지 노트에 손으로 적어 기록한 질문은 학업뿐만 아니라 경제, 부동산 등에 걸쳐 1,300여 개에 이른다. 신호를 공부하는 전자공학도로서 경제 분야의 거시 지표들을 기술적으로 분석하는 시도를 하기도 했다.
이 씨는 이런 습관을 토대로 소속 학부에서 개설한 제어시스템 공학(담당교수 명현) 수업에서 교과서나 교재에 출제되지 않는 형식의 전공 수업 문제를 만들었다. 그가 만든 문제를 담당 교수와 100여 명의 학생이 함께 풀이했다.
이준원 씨는 "학부 과정의 교육은 해당 분야의 거장들이 수백 년 전에 발견한 내용을 수동적으로 학습하는 단계라고만 생각했는데, 이번 경험을 계기로 교과서의 내용만으로도 새로운 탐구와 질문이 가능하다는 사실을 깨달았다"라고 소감을 밝혔다. 이 외에도, 항공우주공학과 로켓동아리 트러스트(THRUST)도 창의 인재 부분의 상을 받는다. 이 동아리는 고체 로켓을 직접 제작해 2023 전국 대학생 로켓 학술대회에서 대상을 받고 ‘동아리 활동이 사회적으로 어떤 쓸모가 있을까?’라는 질문을 바탕으로 창업 활동을 병행해 교내 창업 경진대회에서 우수상을 받은 성과를 인정받았다. 이도헌 교무처장은 "2021년 시작된 신문화전략 QAIST에 많은 구성원이 적극적으로 참여해 준 덕분에 짧은 추진 기간에도 불구하고 다양한 성과가 배출되었다"라고 말했다. 이 처장은 "그 성과들을 함께 축하할 수 있어 더욱 뜻깊은 오늘의 큐데이를 통해 앞으로 더 많은 구성원이 KAIST만의 창의적이고 혁신적인 캠퍼스 문화를 만들어가는 계기가 되기를 바란다"라고 밝혔다.
2023.11.28
조회수 3160
-
선우회, 아동복지시설 ‘천양원(天養院)’에 후원 물품 전달
우리 대학 교직원 봉사단체 '선우회'가 31일 대전 유성구 소재 아동복지시설인 천양원(天養院)을 찾아 약 260만 원 상당의 물품을 후원했다. 이번 봉사에는 이광형 총장이 함께해 천양원의 희망물품인 냉장고와 세탁기를 전달했다. 선우회는 1979년 서울 홍릉 캠퍼스 시절에 설립된 교직원 봉사단체다. 어려운 환경으로 교육의 기회를 얻지 못한 청소년들이 미래를 향한 꿈을 키워가도록 돕기 위해 창설된 이래 40년이 넘께 활동을 이어오고 있다. 지난해 2기 체제가 출범했으며, 순수한 봉사 정신을 바탕으로 지역사회에 건강한 나눔을 실천하며 KAIST 신문화전략인 QAIST의 신뢰가치(Trust)를 실현하고 있다.
선우회 서용석 회장은 "회원들의 마음을 모은 소소한 정성으로 천양원 아이들에게 필요한 희망물품을 지원할 수 있어 감사하다"고 말했다. 이어, 서 회장은 "이러한 작은 마음이 조금씩 커져 더 많은 분과 나눔의 문화를 함께 이어갈 수 있길 소원한다"고 덧붙였다. 이광형 총장은 "KAIST는 1팀 1봉사 등으로 구성원들이 봉사활동을 독려하고 이를 통해 서로 이해하고 배려하는 문화를 만들고자 노력하고 있다"라고 전했다. 이어, "KAIST가 추구하는 신뢰의 가치를 바탕으로 지역 사회에 공헌하고 함께 발전하기 위해 노력하겠다"고 말했다.
2022.04.01
조회수 4946
-
정보보호대학원,〈Security@KAIST 보안의 현재와 미래 기술 세미나〉 개최
우리대학 정보보호대학원은 8월 10일부터 11일까지 이틀간 'Security@KAIST' 보안의 현재와 미래 기술세미나'를 개최한다. 과학기술정보통신부가 주최하고 지난해 8월 신설된 KAIST 정보보호대학원 융합보안 프로그램이 주관하는 이번 세미나는 보안 기술의 현황과 미래의 발전 방향을 전망하기 위해 마련됐다.
5G와 IoT 등 4차 산업혁명 기술을 결합한 ICT 융합서비스가 등장한 이후 보안 기술은 매우 광범위한 분야에 적용되고 있다. 그러나 신기술에 대한 정보 보안 교과서 한 권을 완성할 무렵이면 보다 진보한 또 다른 기술이 등장해 보안 문제는 다시 원점으로 돌아가 이를 해결해야 하는 상황이 발생한다.
KAIST 정보보호대학원은 이처럼 날로 가속화되는 보안 기술의 발전 양상에 빠르게 대처하기 위해 이번 기술세미나를 마련했다. 다양한 보안 분야의 최신 기술 동향을 파악하고 미래의 보안 기술 발전을 예측해 국내 보안산업을 지원하는 한편 국내 연구자들이 세계 최고 수준의 보안 기술을 연구할 수 있도록 돕는 것이 이번 세미나의 목표다.
10일 첫날 세미나에서는 '소프트웨어 및 시스템보안'을 주제로 다룬다. 신인식 정보보호대학원 책임교수가 '멀티 디바이스 모바일 플랫폼(Multi-device Mobile Platform): UI와 보안'이라는 주제로 하나의 앱을 여러 조각으로 분할하고 각 조각들을 여러 기기에서 동시에 실행할 수 있는 새로운 멀티 디바이스 모바일 운영체제 기술에 관해 공유한다. 이와 함께, 허기홍 교수의 '소프트웨어 정적 분석', 차상길 교수의 `퍼징(Fuzzing)', 강병훈 교수의 '트러스티드 컴퓨팅(Trusted Computing)을 향한 신뢰 실행환경' 강연도 함께 진행된다. 이튿날인 11일에는 '네트워크, IoT 보안 그리고 암호'를 주제로 김용대 교수가 첫 강연자로 나선다. 김 교수는 자율주행차·드론·로봇으로 대표되는 인간을 대체하는 무인 이동체들의 안전성 보장에 관한 견해와 앞으로 나타날 수 있는 새로운 보안 문제점을 제시하는 `무인 이동체 보안'에 대해 강연한다. 그리고, 이주영 교수와 강민석 교수는 각각 '대칭 키 보안과 응용'과 '어드밴스드 디도스(Advanced DDoS)의 공격 및 방어'를 주제로, 마지막으로 신승원 교수는 'SDN/NFV 보안'에 관련한 내용을 전달할 예정이다. 정보보호대학원 관계자는 "세계 최고 수준의 보안 분야 전문가 8인이 나서는 이번 기술세미나는 국제적으로 손꼽히는 보안 분야 TOP4 학회에서 발표된 논문과 학회지에 게재된 최신 기술들을 중점적으로 소개하는 자리가 될 것ˮ이라고 설명했다.
KAIST는 작년 3월 과학기술정보통신부가 진행한 '지역전략산업 융합보안 핵심인재 양 사업' 공모에 선정돼 같은 해 8월 융합보안 프로그램을 개설했다. 올 8월 현재 7명의 석사과정 학생들이 4차 산업혁명 시대 스마트시티에 특화된 융합보안 관련 분야를 학습 중이다. 이와 관련해 KAIST는 안랩, LGU+, 네이버, 세종시 등 16개 유수 기업 및 기관이 참여하는 콘소시엄인 'Security@KAIST'를 구성하고, KAIST 캠퍼스를 테스트베드로 만들어 지역 거점 연구시설로 활용하고 있다. 신인식 KAIST 정보보호대학원 책임교수는 "KAIST는 실제 산업 현장에서 발생하는 보안 수요와 실무적 난제를 해결하는 협업형 프로젝트를 활발하게 추진해 융합보안 산학협력의 새로운 모델을 제시하고자 한다ˮ라고 강조했다. 이어 신 교수는 "관련 연구 결과물을 학계와 공유하기 위해 주기적인 세미나, 기술 설명회, 특강 등을 개최해 한국 보안 산업 및 연구의 발전을 지원할 예정ˮ라고 덧붙였다. 이번 'Security@KAIST' 보안의 현재와 미래 기술세미나'는 코로나19 확산 방지 차원에서 전면 온라인으로 개최된다. 국내 스마트시티·보안 관련 기업 및 대학(원)생이라면 누구나 참여할 수 있으며, 참가비를 포함한 세부 사항은 KAIST 정보보호대학원 홈페이지(https://gsis.kaist.ac.kr/)에서 확인할 수 있다.
2020.08.05
조회수 27427
-
황규영 특훈교수 VLDB 국제학술재단 Trustee로 재선임
우리학교 전산학과 황규영 특훈교수가 권위있는 VLDB(Very Large Data Bases) 국제학술재단(The VLDB Endowment)의 Trustee로 재선임되어 또다시 6년간 세계 데이터베이스 학계를 이끌어 나가게 됐다.
황 교수는 VLDB Journal Liaison을 맡아 본인이 2003년에서 2009년까지 6년간 Chief Editor로서 이끌어 온 The VLDB Journal의 조언 및 감독을 맡는다.
VLDB 국제학술재단의 임원으로 재선임되는 것은 매우 이례적인 일이다. VLDB 국제학술재단은 ACM SIGMOD와 함께 세계 데이터베이스 분야를 선도해 나가는 양대 권위 기관으로 총 21명의 Trustee로 구성되며, 데이터베이스 분야의 최고권위 저널인 The VLDB Journal과 최우수 학술대회인 VLDB Conference를 관장한다.
황 교수는 1998년-2004년에도 Trustee로 선임되어 6년간의 임기를 마친 바 있다.
2010.09.28
조회수 12474