Root의 사용자 기여

2025년 3월 14일 (금)

• 13:382025년 3월 14일 (금) 13:38 차이 역사 −989 틀:Publication 편집 요약 없음 최신
• 09:492025년 3월 14일 (금) 09:49 차이 역사 +11 Members 편집 요약 없음 최신
• 09:492025년 3월 14일 (금) 09:49 차이 역사 +17 Members 편집 요약 없음
• 09:402025년 3월 14일 (금) 09:40 차이 역사 −59 미디어위키:Sidebar 편집 요약 없음 최신
• 09:382025년 3월 14일 (금) 09:38 차이 역사 −1 미디어위키:Sidebar 편집 요약 없음
• 09:382025년 3월 14일 (금) 09:38 차이 역사 +59 미디어위키:Sidebar 편집 요약 없음

2025년 3월 13일 (목)

• 16:382025년 3월 13일 (목) 16:38 차이 역사 −89 미디어위키:Sidebar 편집 요약 없음
• 16:372025년 3월 13일 (목) 16:37 차이 역사 −22 미디어위키:Sidebar 편집 요약 없음
• 16:372025년 3월 13일 (목) 16:37 차이 역사 +26 미디어위키:Sidebar 편집 요약 없음
• 16:352025년 3월 13일 (목) 16:35 차이 역사 +1 미디어위키:Sidebar 편집 요약 없음
• 16:352025년 3월 13일 (목) 16:35 차이 역사 +19 미디어위키:Sidebar 편집 요약 없음
• 16:352025년 3월 13일 (목) 16:35 차이 역사 +15 미디어위키:Sidebar 편집 요약 없음 태그: 수동 되돌리기
• 16:342025년 3월 13일 (목) 16:34 차이 역사 −15 미디어위키:Sidebar 편집 요약 없음 태그: 되돌려진 기여
• 16:342025년 3월 13일 (목) 16:34 차이 역사 −11 미디어위키:Sidebar 편집 요약 없음 태그: 수동 되돌리기
• 16:342025년 3월 13일 (목) 16:34 차이 역사 +11 미디어위키:Sidebar 편집 요약 없음 태그: 되돌려진 기여
• 16:332025년 3월 13일 (목) 16:33 차이 역사 +14 미디어위키:Sidebar 편집 요약 없음
• 16:322025년 3월 13일 (목) 16:32 차이 역사 −15 미디어위키:Sidebar 편집 요약 없음
• 16:322025년 3월 13일 (목) 16:32 차이 역사 +2 미디어위키:Sidebar 편집 요약 없음
• 16:312025년 3월 13일 (목) 16:31 차이 역사 −55 미디어위키:Sidebar 편집 요약 없음
• 16:302025년 3월 13일 (목) 16:30 차이 역사 +5 미디어위키:Sidebar 편집 요약 없음
• 16:292025년 3월 13일 (목) 16:29 차이 역사 +29 미디어위키:Sidebar 편집 요약 없음
• 16:282025년 3월 13일 (목) 16:28 차이 역사 −2 미디어위키:Sidebar 편집 요약 없음
• 16:282025년 3월 13일 (목) 16:28 차이 역사 −1 미디어위키:Sidebar 편집 요약 없음
• 16:272025년 3월 13일 (목) 16:27 차이 역사 +192 새글 미디어위키:Sidebar 새 문서: * navigation ** mainpage|mainpage-description ** 대문 ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|help-mediawiki * SEARCH * TOOLBOX * LANGUAGES
• 16:202025년 3월 13일 (목) 16:20 차이 역사 0 새글 안전한 소프트웨어 세상 빈 문서를 만듦 최신
• 16:202025년 3월 13일 (목) 16:20 차이 역사 0 새글 프로그래밍언어 기술 빈 문서를 만듦 최신
• 16:182025년 3월 13일 (목) 16:18 차이 역사 0 새글 파일:SSLABnew.jpg 편집 요약 없음 최신
• 16:182025년 3월 13일 (목) 16:18 차이 역사 0 새글 파일:Sslablogo.jpg 편집 요약 없음 최신
• 16:172025년 3월 13일 (목) 16:17 차이 역사 0 새글 파일:Member.png 편집 요약 없음 최신
• 15:522025년 3월 13일 (목) 15:52 차이 역사 +460 새글 News 새 문서: <div style="float: left; height: 100%; width:49.9%"> <div style="margin: 0; padding: 4px 1em; background-color: #FFCCCC; color: #000; font-size: 120%; line-height: 18pt;">'''SSLAB News & Info'''   </div> </div> <div style="float: right; height: 100%; width:49.9%""> <div style="margin: 0; padding: 4px 1em; background-color: #dcdcdc; color: #000; font-size: 120%; line-height: 18pt;">   </div> </div> {{대문/공지사항}}  최신
• 15:412025년 3월 13일 (목) 15:41 차이 역사 +254 새글 틀:프로젝트/과거 새 문서: * 스마트 코드브라우저를 위한 프로그램 시각화 기술 * 코딩단계 개발자용 온더플라이 정적분석 도구 개발 * 최신 소프트웨어 보안약점 분석 및 기준 목록개발 * 취약점 신고포상제 개선 연구 최신
• 15:402025년 3월 13일 (목) 15:40 차이 역사 +645 새글 Projects 새 문서: 100픽셀|중앙 <font size="14em" color="lightblue"> Projects </font> <!-- <div style="margin: 0; padding: 4px 1em; background-color: #FFE6CC; color: #000; font-size: 120%; line-height: 18pt;">'''Current Projects'''   </div> <div style="padding: 1em;" id="research" title="현재 프로젝트">{{프로젝트/현재}} </div> <div style="margin: 0; padding: 4px 1em; background-color: #EFDECD; color: #000; font-size: 120%; line-height:... 최신
• 15:382025년 3월 13일 (목) 15:38 차이 역사 +9,147 새글 틀:Publication 새 문서: * International Journals # "A Programming Environment for Ubiquitous Computing Environment", Minkyoung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn and Kyung-Goo Doh, ACM SIGPLAN Notices, Vol. 42, Issue 4, pp. 14-22, ACM, April, 2007. # "Differential Evaluation of Fixpoints of Non-distributive Functions", Joonseon Ahn, IEICE Transactions on Information and Systems, Vol. E-86-D, No. 12, pp. 2710-2721, Dec. 2003. # "A Differential Fixpoint Evaluation Framework for Non-distributi...
• 15:382025년 3월 13일 (목) 15:38 차이 역사 +771 새글 Research 새 문서: 100픽셀|중앙 <font size="11em" color="#AB274F"> Research </font> {| cellspacing="0" cellpadding="0" width="100%" background-color="transparent" | width="50%" style="border:none; margin:none; padding:none;" valign="top" | <!-- LEFT COLUMN --> <div style="margin: 0; padding: 4px 1em; background-color: #dadaaa; color: #000; font-size: 120%; line-height: 18pt;">'''Research Areas'''   </div> <div style="padding: 1em;" id="research" titl... 최신
• 15:372025년 3월 13일 (목) 15:37 차이 역사 +1,184 새글 안준선 새 문서: * Vitae - Aug,2001~current, Professor, Korea Aerospace University, - Aug,2000~Aug,2001, Postdoctoral Researcher, ROPAS, KAIST - Aug,2000, Phd. Computer Science, KAIST - Feb,1994, MS. Computer Science, KAIST - Feb,1992, BS. Computer Science & Statistics, SNU * Research Interests ** Smart Contract Security / 스마트 컨트랙트 보안 ** Software Security / 소프트웨어 보안 ** Program Analysis based on Abstract Interpretation / 요약 해석을... 최신
• 15:362025년 3월 13일 (목) 15:36 차이 역사 +2,057 새글 Members 새 문서: 100픽셀|중앙 <font size="15em" color="lightblue"> Members </font> {| cellspacing="0" cellpadding="0" width="100%" background-color="transparent" | width="50%" style="border:none; margin:none; padding:none;" valign="top" | <!-- LEFT COLUMN --> <!-- Professor --> <div style="border:0; margin:0.2em;" valign="top"> <div style="margin-left:5px; margin-bottom:5px; padding:0px; border:1px solid #FFFFFF; display:block;"> <div style="font-size:120%; line-h...
• 15:322025년 3월 13일 (목) 15:32 차이 역사 +287 새글 틀:대문/공지사항 새 문서: * 라인X한국정보과학회 블록체인 경진대회 최우수상 수상 ** 일시: 2019/6/28 ** 제목: 심볼릭 실행 기법을 사용한 스마트 컨트랙트 보안 약점 자동 검출 도구 ** 참가자: 조현승 석사과정(지도교수: 안준선) ** 상금: 200만원 최신
• 15:322025년 3월 13일 (목) 15:32 차이 역사 +497 새글 틀:대문/연구 새 문서: <div> * 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지 * 스마트 컨트랙트 보안취약점 자동 검출 * 안드로이드 앱 보안 취약점 분석 * 드론 소프트웨어 보안취약점 분석 * PHP 웹 프로그램 보안취약점 자동 검출기 개발 * 프로그램 시각화 * 요약해석(Abstract Interpretation)에 기반한 프로그램 분석 * 자료 병렬성을 사용한 병렬 프로그램 자동... 최신
• 15:312025년 3월 13일 (목) 15:31 차이 역사 +243 새글 틀:대문/소개 새 문서: 시스템소프트웨어 연구실에 오신 것을 환영합니다. 시스템소프트웨어 연구실은 프로그래밍언어 기술을 사용하여 안전한 소프트웨어 세상을 만드는 것을 목표로 하고 있습니다. 최신
• 15:302025년 3월 13일 (목) 15:30 차이 역사 +495 대문 편집 요약 없음 최신