새 문서 목록

2025년 3월 13일 (목)

• 16:202025년 3월 13일 (목) 16:20 안전한 소프트웨어 세상 (역사 | 편집) [0 바이트] Root (토론 | 기여) (빈 문서를 만듦)
• 16:202025년 3월 13일 (목) 16:20 프로그래밍언어 기술 (역사 | 편집) [0 바이트] Root (토론 | 기여) (빈 문서를 만듦)
• 15:522025년 3월 13일 (목) 15:52 News (역사 | 편집) [460 바이트] Root (토론 | 기여) (새 문서: <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:402025년 3월 13일 (목) 15:40 Projects (역사 | 편집) [645 바이트] Root (토론 | 기여) (새 문서: 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 Research (역사 | 편집) [771 바이트] Root (토론 | 기여) (새 문서: 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 바이트] 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 / 요약 해석을...)
• 15:362025년 3월 13일 (목) 15:36 Members (역사 | 편집) [2,085 바이트] Root (토론 | 기여) (새 문서: 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...)