주요 공개 기록

sslab_wiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

• 2025년 3월 13일 (목) 16:27 Root 토론 기여님이 미디어위키:Sidebar 문서를 만들었습니다 (새 문서: * navigation ** mainpage|mainpage-description ** 대문 ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|help-mediawiki * SEARCH * TOOLBOX * LANGUAGES)
• 2025년 3월 13일 (목) 16:20 Root 토론 기여님이 안전한 소프트웨어 세상 문서를 만들었습니다 (빈 문서를 만듦)
• 2025년 3월 13일 (목) 16:20 Root 토론 기여님이 프로그래밍언어 기술 문서를 만들었습니다 (빈 문서를 만듦)
• 2025년 3월 13일 (목) 16:18 Root 토론 기여님이 파일:SSLABnew.jpg 문서를 만들었습니다
• 2025년 3월 13일 (목) 16:18 Root 토론 기여님이 파일:SSLABnew.jpg 파일을 올렸습니다
• 2025년 3월 13일 (목) 16:18 Root 토론 기여님이 파일:Sslablogo.jpg 문서를 만들었습니다
• 2025년 3월 13일 (목) 16:18 Root 토론 기여님이 파일:Sslablogo.jpg 파일을 올렸습니다
• 2025년 3월 13일 (목) 16:17 Root 토론 기여님이 파일:Member.png 문서를 만들었습니다
• 2025년 3월 13일 (목) 16:17 Root 토론 기여님이 파일:Member.png 파일을 올렸습니다
• 2025년 3월 13일 (목) 15:52 Root 토론 기여님이 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> {{대문/공지사항}} )
• 2025년 3월 13일 (목) 15:41 Root 토론 기여님이 틀:프로젝트/과거 문서를 만들었습니다 (새 문서: * 스마트 코드브라우저를 위한 프로그램 시각화 기술 * 코딩단계 개발자용 온더플라이 정적분석 도구 개발 * 최신 소프트웨어 보안약점 분석 및 기준 목록개발 * 취약점 신고포상제 개선 연구)
• 2025년 3월 13일 (목) 15:40 Root 토론 기여님이 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:...)
• 2025년 3월 13일 (목) 15:38 Root 토론 기여님이 틀: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...)
• 2025년 3월 13일 (목) 15:38 Root 토론 기여님이 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...)
• 2025년 3월 13일 (목) 15:37 Root 토론 기여님이 안준선 문서를 만들었습니다 (새 문서: * 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 / 요약 해석을...)
• 2025년 3월 13일 (목) 15:36 Root 토론 기여님이 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...)
• 2025년 3월 13일 (목) 15:32 Root 토론 기여님이 틀:대문/공지사항 문서를 만들었습니다 (새 문서: * 라인X한국정보과학회 블록체인 경진대회 최우수상 수상 ** 일시: 2019/6/28 ** 제목: 심볼릭 실행 기법을 사용한 스마트 컨트랙트 보안 약점 자동 검출 도구 ** 참가자: 조현승 석사과정(지도교수: 안준선) ** 상금: 200만원)
• 2025년 3월 13일 (목) 15:32 Root 토론 기여님이 틀:대문/연구 문서를 만들었습니다 (새 문서: <div> * 프로그램 보안 (Program Security) : 프로그램의 취약점으로 인한 침해를 사전에 방지 * 스마트 컨트랙트 보안취약점 자동 검출 * 안드로이드 앱 보안 취약점 분석 * 드론 소프트웨어 보안취약점 분석 * PHP 웹 프로그램 보안취약점 자동 검출기 개발 * 프로그램 시각화 * 요약해석(Abstract Interpretation)에 기반한 프로그램 분석 * 자료 병렬성을 사용한 병렬 프로그램 자동...)
• 2025년 3월 13일 (목) 15:31 Root 토론 기여님이 틀:대문/소개 문서를 만들었습니다 (새 문서: 시스템소프트웨어 연구실에 오신 것을 환영합니다. 시스템소프트웨어 연구실은 프로그래밍언어 기술을 사용하여 안전한 소프트웨어 세상을 만드는 것을 목표로 하고 있습니다.)