1<!DOCTYPE html> 2<html> 3 <head> 4 <meta charset="utf-8"> 5<title>WingTecher - Home</title> 6<meta name="description" content=""> 7<meta name="title" content=""> 8<meta name="author" content="WingTecherResearchCMS"> 9<meta name="viewport" content="width=device-width, initial-scale=1.0"> 10<link rel="icon" type="image/png" href="http://wingtecher.com/themes/WingTecherResearch/assets/images/tsinghua-favicon.png" /> 11<meta name="generator" content="WingTecherResearchCMS" /> 12 13<link href="http://wingtecher.com/combine/efb1c5c913a996859b73f9106619e334-1547572532" rel="stylesheet" /> 14 15 <!-- 'assets/less/vendor.less', --> 16<!-- <link href="http://wingtecher.com/combine/f71ca4635f14f92bed96623d9d932423-1547572532" rel="stylesheet" /> --> 17<link href="http://wingtecher.com/combine/9ea791ea766cc49b4aedf96e6629d123-1547572532" rel="stylesheet" /> 18<link href="http://wingtecher.com/combine/1c7e458b74b9c8d5b511dda6a6292483-1629299609" rel="stylesheet" /> 19<link href="http://wingtecher.com/combine/88f70e0b786fae2f0fd374266104c67b-1547572532" rel="stylesheet" /> 20<link href="http://wingtecher.com/combine/5162cc54f72fa0ae3e8bd5fed84c7e2a-1547572532" rel="stylesheet" />
21<script src="http://wingtecher.com/combine/c0ce5e56aa161cd2dc02b90f3165c7dd-1547572532" type="text/javascript"></script>
vendor: 1 bytes, line 21
21
22<script src="http://wingtecher.com/combine/d2b24695b263ec4c3dc82771bf9cc576-1547572532" type="text/javascript"></script>
22 </head> 23 <body> 24 <!-- Top --> 25 <div id="top-nav"> 26 <div class="container"> 27 <!-- Put anything here, social links? --> 28 </div> 29 </div> 30 <!-- Header --> 31 <header class="header" id="layout-header"> 32 <section class="mainWrap"> 33 <!-- <div class="topLine"></div> --> 34 <section class="topWrap"> 35 <a class="thu-logo" href=""> 36 <img src="http://wingtecher.com/themes/WingTecherResearch/assets/images/thu_logo.png"> 37 </a> 38 <div class="logo name" > 39 <span class="chinese-name">软件系ç»å®å ¨ä¿éå°ç»</span> 40 <span class="english-name" style="text-align:right;">Software System Security Assurance Group â WingTecher Lab</span> 41 </div> 42 <div style="clear:both;"></div> 43 <!--<section class="search"> 44 <div class="ext"><a href="#"></a></div> 45 <form id="searchForm" target="_blank" action=""> 46 <input name="query" type="text" class="inp"> 47 <input name="ie" type="hidden" value="utf8"> 48 <a href="javascript:;" onclick="searchSub();" class="thuicon-search btn"></a> 49 </form> 50
50<script src="/publish/newthu/js/searchsub.js"></script>
50 51 </section> --> </section> 52 </section> 53 </header> 54 <header class="header" id="layout-header" style="background:#fff;"> 55 <section class="mainWrap" > 56 <section class="nav yahei clearfix"> 57 <section class="menu" id="smenu"><a class="thuicon-menu menuicon"></a>导èª</section> 58 <!-- Nav --> 59 <!-- <nav id="layout-nav"> --> 60 61 62 63 <ul id="nav"> 64 65 <li role="presentation" class=" "> 66 <a href="http://wingtecher.com/home">é¦é¡µ 67 </a> 68 69 </li> 70 <li role="presentation" class=" "> 71 <a href="http://wingtecher.com/person">å¢éæå 72 </a> 73 74 </li> 75 <li role="presentation" class=" "> 76 <a href="http://wingtecher.com/research">ç 究æ¹å 77 </a> 78 79 </li> 80 <li role="presentation" class=" "> 81 <a href="http://wingtecher.com/achievement">ç§ç ææ 82 </a> 83 84 </li> 85 <li role="presentation" class=" "> 86 <a href="http://wingtecher.com/blog/category/news">æ°é»å¨æ 87 </a> 88 89 </li> 90 <li role="presentation" class=" "> 91 <a href="http://wingtecher.com/bugs/cve">æ¼æ´å表 92 </a> 93 94 </li> 95 <li role="presentation" class=" "> 96 <a href="http://wingtecher.com/contact">èç³»æ们 97 </a> 98 99 </li> 100 <li role="presentation" class=" "> 101 <a href="http://wingtecher.com/homeen">English 102 </a> 103 104 </li> 105 106 </ul> 107 <!-- </nav> --> 108 </section> 109 </section> 110 </header> 111 112 <!-- Content --> 113<!-- <section class="channeltopimg detailtopimg" style="max-height:150px;overflow: hidden;width:100%;"> 114 <img src="http://wingtecher.com/themes/WingTecherResearch/assets/images/00.png" class="img1" style="width: 100%;overflow-y: hidden; margin-top: -80px;"> 115 </section> --> 116 <section class="mainInfoWrap" style=" width: unset;"> 117 <section class="topWrap" style="min-height:300px;padding:30px;"> 118 <h1 style="font-size: 24px;color: #304174;text-align: center;margin-bottom: 20px;line-height: normal;">æ¸ å大å¦è½¯ä»¶å¦é¢è½¯ä»¶ç³»ç»å®å ¨ä¿éå°ç»</h1> 119 <section class="layout-content group-info "> 120 <div class="row"> 121 <div class="col-sm-12" style="padding-right: 0px;"> 122 <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 10px 10px 0px 10px;">ãã软件系ç»å®å ¨ä¿éå°ç»é¶å±äºæ¸ å大å¦è½¯ä»¶å¦é¢è½¯ä»¶ç³»ç»ä¸å·¥ç¨ç 究æï¼ç±å·¥ç¨é¢é¢å£«å家广æææ 任顾é®åæ导ï¼å°ç»æåç±1åææã6åå士åã20åå士ç¡å£«ç»æãå°ç»ä»¥âä¿é大è§æ¨¡è½¯ä»¶ç³»ç»å®å ¨â为使å½ï¼éç¹å ³æ³¨è¯ç设计ã人工æºè½ãå·¥æ§ç³»ç»ãæä½ç³»ç»çé¢åç软件å®å ¨ï¼è¿è¡è½¯ä»¶ç¼ºé·çèªå¨ææä¸ç解ï¼å®ç°å¤§è§æ¨¡è½¯ä»¶ç³»ç»çå®å ¨ä¿éã 123 </div> 124 </p> 125 <!-- <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 0px 10px 10px 10px;">ãã --> 126 </div> 127 <div class="row"> 128 <div class="col-sm-12" style="display: table-cell;vertical-align: middle;text-align: center;"> 129 <img src="http://wingtecher.com/themes/WingTecherResearch/assets/images/service-arch.png" style="max-width: 550px;width:100%;margin-top: 20px;vertical-align: center;"> 130 </div> 131 </div> 132 <div class="row"> 133 <div class="col-sm-12" style=""> 134 <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 10px 10px 0px 10px;">ããå°ç»å åä¸å为ãè ¾è®¯ãé¿éãå¾®ä¼é¶è¡ãäºèç½åºæ¥ä¸å¿çåä½æ·±åº¦åä½ï¼ç å¶çèªå¨å模ç³æµè¯å·¥å ·è¢«å¹¶å ¥è°·æClusterFuzzä¸å¾®è½¯OneFuzzçå¹³å°ï¼æå¡äº30ä½å®¶å®å ¨æ¸å ³ä¼äºä¸åä½,ææ500ä½ä¸ªé¶æ¥æ¼æ´æ¶å ¥ä¸ç¾å½å®¶ä¿¡æ¯å®å ¨æ¼æ´åºãå¨SOSPãS&PãATCãSIGMODçCCF-Aç±»ä¼è®®å表论æ100ä½ç¯ï¼è·SecurityãFSEçAç±»ä¼è®®æ°åºè®ºæå¥5次ï¼ä»¥ç¬¬ä¸å®æ人è·å京å¸ç§æè¿æ¥å¥ä¸çå¥ãä¸å½è®¡ç®æºå¦ä¼ææ¯åæå¥ä¸çå¥çå¥å±ï¼ä¸»æå½å®¶éç¹ç å计å项ç®ï¼åºéå§éå¹´ç§å¦åºé项ç®Aç±»ãBç±»ç20ä½é¡¹ãç»å å¦çä¹
134è·å¾ä¸å½çµåå¦ä¼ä¼ç§å士å¦ä½è®ºæãä¸å½çµåå¦ä¼ä¼ç§ç¡å£«å¦ä½è®ºæãå½å®¶èªç¶ç§å¦åºéä¼ç§å士çåºéãä¸å½ç§åå士ç人ææ举计åçã 135 </div> 136 </div> 137 <div class="row"> 138 <div class="col-sm-12" style=""> 139 <p align="justify" style=" font-size: 16px;line-height: 35px;margin: 10px 10px 0px 10px;">ããç 究ç»ç 究æ°å´èæ´½ï¼æ¥æ¶å®ä¹ çãç¡å£«ãå士ãå士åç³è¯·ï¼æ¬¢è¿å¤å¥ã认çãæåæ°ç²¾ç¥çæå¿éå¹´å å ¥æ们ç 究ç»ï¼</p> 140 </div> 141 </div> 142 <div class="row"> 143 <div class="col-sm-12" style=""> 144 <p align="justify" style=" font-size: 18px;line-height: 40px;margin: 10px 10px 0px 10px;color: #304174;text-align: center;">èç³»æ¹å¼</p> 145 </div> 146 </div> 147 <div class="row"> 148 <div class="col-sm-12" style=""> 149 <p align="justify" style=" font-size: 16px;line-height: 20px;margin: 10px 10px 0px 10px;text-align: center;">å°åï¼å京å¸æµ·æ·åºæ¸ å大å¦ä¸ä¸»æ¥¼11åº319室</p> 150 </div> 151 </div> 152 <div class="row"> 153 <div class="col-sm-12" style=""> 154 <p align="justify" style=" font-size: 16px;line-height: 20px;margin: 10px 10px 0px 10px;text-align: center;">é®ç¼ï¼100084</p> 155 </div> 156 </div> 157 <div class="row"> 158 <div class="col-sm-12" style=""> 159 <p align="justify" style=" font-size: 16px;line-height: 20px;margin: 10px 10px 0px 10px;text-align: center;">çµè¯ï¼010-62791782</p> 160 </div> 161 </div> 162 <div class="row"> 163 <div class="col-sm-12" style=""> 164 <p align="justify" style=" font-size: 16px;line-height: 20px;margin: 10px 10px 0px 10px;text-align: center;">é®ç®±ï¼[email protected]</p> 165 </div> 166 </div> 167 </section> 168 </section> 169 </section> 170 171<!-- <section style="width:100%;min-height:300px;background-color:#f7f7f7;"> 172 <h1 style="font-size: 24px;color: #304174;text-align: center;margin-bottom: 20px;line-height: normal;">here is the news list</h1> 173 <div class="col-sm-12"> 174 <div class="module-home"> 175 </div> 176 </div> 177 </section> 178 --> 179<!-- <section id="layout-content"> 180 <div class="container"> --> 181 182<!-- <div class="visible-xs visible-sm slider-wrapper title-style"> 183 184<div class="title-image"> 185 <img src="http://wingtecher.com/themes/WingTecherResearch/assets/images/chairs/wheelchair.jpg" alt="" title="" class="img-responsive" /> 186</div> 187<div class="title-heading"> 188 <div class="title"> 189 <h1> 190 <span>Home</span> 191 </h1> 192 </div> 193 <div class="desc"> 194 <h2> 195 <span> 196 197 </span> 198 </h2> 199 </div> 200</div> </div> --> 201 202 203<!-- <div class="row module-homes"> 204 <div class="col-sm-6 col-md-4"> 205 <div class="module-home"> 206 </div> 207 </div> --> 208 209<!-- <div class="col-sm-12 col-md-8"> 210 <div class="module-home"> 211 </div> 212 </div> 213 214 </div> 215 216 </div> 217 </section> 218 --> 219 220 <!-- Footer --> 221 <footer id="layout-footer"> 222 <div class="container"> 223 224 <div class="row" id="footerSliceMenu"> 225<!-- --> 226 227 <!-- <div class="col-md-3"> 228 <ul class="menu-slice"></ul> 229 </div> 230 <div class="col-md-3"> 231 <ul class="menu-slice"></ul> 232 </div> 233 <div class="col-md-3"> 234 <ul class="menu-slice"></ul> 235 </div> 236 <div class="col-md-3"> 237 <div class="contact-details"> 238 <ul> 239 <li class="head-link"> 240 <a href="http://wingtecher.com/contact">Contact</a> 241 </li> 242 </ul> 243 <ul> 244 <li> 245 Phone: <strong>KL5-3226</strong> 246 </li> 247 <li> 248 Fax: <strong>KL5-3227</strong> 249 </li> 250 <li> 251 Email: <strong>[email protected]</strong> 252 </li> 253 <li> 254 Address: <strong>100 Pitt Street, Sydney, NSW 2000</strong> 255 </li> 256</ul> </div> 257 </div> 258 </div> --> 259 260<!-- <div class="credit text-right"> 261 <p> 262 ©
262 Copyright 2026 Your Company - Powered by 263 <i class="icon-leaf"></i> <a href="http://octobercms.com" target="_blank">OctoberCMS</a> 264 </p> 265 </div> --> 266</div> 267 268 </footer> 269 270<!--
270<script src="http://wingtecher.com/themes/WingTecherResearch/assets/javascript/home.js"></script>
270--> 271 272 </body> 273</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.