<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<!--[if !mso]><style>v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style><![endif]--><style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:"Segoe UI";
        panose-1:2 11 5 2 4 2 4 2 2 3;}
@font-face
        {font-family:"Segoe UI Semibold";
        panose-1:2 11 7 2 4 2 4 2 2 3;}
@font-face
        {font-family:CIDFont+F1;
        panose-1:0 0 0 0 0 0 0 0 0 0;}
@font-face
        {font-family:CIDFont+F2;
        panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0in;
        font-size:11.0pt;
        font-family:"Calibri",sans-serif;
        mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:#0563C1;
        text-decoration:underline;}
span.EmailStyle18
        {mso-style-type:personal-compose;
        font-family:CIDFont+F1;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-size:10.0pt;
        mso-ligatures:none;}
@page WordSection1
        {size:8.5in 11.0in;
        margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:16.0pt;font-family:CIDFont+F1">Title:
</span><span style="font-size:16.0pt;font-family:CIDFont+F2">Run-Time Analysis and Security of Multi-Language Systems
<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:16.0pt;font-family:CIDFont+F1">Abstract:</span><span style="font-size:16.0pt;font-family:CIDFont+F2"><o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">The prevalence of multi-language software has surged, yet security defenses for such systems<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">remain inadequately supported. Traditional methods like program analysis and fuzzing face<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">challenges in this context. In my Ph.D. research, I proposed a suite of techniques to fortify the<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">security of multi-language systems. Firstly, I introduced PolyCruise, leveraging languageindependent<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">symbolic dependence analysis for effective dynamic cross-language information<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">flow analysis. It supports diverse security applications, enhancing vulnerability detection.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">Addressing PolyCruise's input coverage limitation, I introduced PolyFuzz, a framework for<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">comprehensive greybox fuzzing in multi-language applications. PolyFuzz measures block coverage<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">at the whole-system level, generates effective seeds through sensitivity analysis, and seamlessly<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">supports various languages. Recognizing limitations for bugs in the lower software stack,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">particularly in language runtime systems, my focus shifted downward, notably to Python runtime.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">PyRTFuzz introduced a two-level collaborative methodology, combining generation- and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">mutation-based fuzzing for comprehensive testing. The Slang-based approach ensures diverse<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">applications, marking a significant stride in securing software systems.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:16.0pt;font-family:CIDFont+F1">Biography:<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">Wen Li, Ph.D., from Washington State University, specializes in software engineering and security,<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">focusing on implementing diverse techniques for practical security solutions in real-world<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">software systems. His Ph.D. work included software analysis and the development of effective<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">fuzzing frameworks, successfully applied to real-world systems, with research published in<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">conferences like ESEC/FSE, USENIX Security, and CCS. In addition, with a decade of industrial<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">experience, he is also an adept software engineer, specializing in embedded software design and<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">development, particularly in core/access networks. Coupled with ongoing research pursuits, this<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span style="font-size:12.0pt;font-family:CIDFont+F2">practical expertise equips him with profound insights into the research field and the ability to<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt;font-family:CIDFont+F2">traverse new domains seamlessly.</span><o:p></o:p></p>
<div>
<p class="MsoNormal"><span style="color:#5F5F5F">________________________________________________________________________________</span>
<span style="mso-ligatures:none"><o:p></o:p></span></p>
</div>
<div>
<div style="margin-top:.25in;margin-bottom:15.0pt">
<p class="MsoNormal"><span style="font-size:18.0pt;font-family:"Segoe UI",sans-serif;color:#252424">Microsoft Teams meeting</span><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></p>
</div>
<div style="margin-bottom:15.0pt">
<div>
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Join on your computer, mobile app or room device</span></b><b><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></b></p>
</div>
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://teams.microsoft.com/l/meetup-join/19%3ameeting_MDJmOTVjN2UtN2VmYy00OTVjLThjMDEtZWY3YmRlMzg0ZjI3%40thread.v2/0?context=%7b%22Tid%22%3a%22f3308007-477c-4a70-8889-34611817c55a%22%2c%22Oid%22%3a%22685c3f4f-29d5-4141-ada5-0fdeab8480e4%22%7d" target="_blank"><span style="font-size:10.5pt;font-family:"Segoe UI Semibold",sans-serif;color:#6264A7">Click
 here to join the meeting</span></a> <o:p></o:p></span></p>
</div>
<div style="margin-top:15.0pt;margin-bottom:15.0pt">
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Meeting ID:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">210 125 150 046</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><br>
</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Passcode:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">jJhB7C
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://www.microsoft.com/en-us/microsoft-teams/download-app" target="_blank"><span style="color:#6264A7">Download Teams</span></a> |
<a href="https://www.microsoft.com/microsoft-teams/join-a-meeting" target="_blank">
<span style="color:#6264A7">Join on the web</span></a><o:p></o:p></span></p>
</div>
</div>
</div>
<div style="margin-bottom:3.0pt">
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Or call in (audio only)</span></b><span style="font-family:"Segoe UI",sans-serif;color:#252424">
<o:p></o:p></span></p>
</div>
<div style="margin-bottom:3.0pt">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="tel:+16147066572,,867743044# "><span style="font-size:10.5pt;color:#6264A7">+1 614-706-6572,,867743044#</span></a>
</span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">  United States, Columbus
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">Phone Conference ID:
</span><span style="font-size:12.0pt;font-family:"Segoe UI",sans-serif;color:#252424">867 743 044#
</span><span style="font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
<div style="margin-bottom:15.0pt">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://dialin.teams.microsoft.com/8f5f7319-0053-4423-a154-4f8b6e7fb7dd?id=867743044" target="_blank"><span style="font-size:10.5pt;color:#6264A7">Find a local number</span></a>
 | <a href="https://dialin.teams.microsoft.com/usp/pstnconferencing" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Reset PIN</span></a> <o:p></o:p></span></p>
</div>
<div style="margin-bottom:3.0pt">
<div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424;mso-ligatures:none"><img border="0" width="188" height="30" style="width:1.9583in;height:.3125in" id="_x0000_i1025" src="https://www.ohio.edu/sites/default/files/2018-11/invite_logo_teams.jpg"></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424"><o:p></o:p></span></p>
</div>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:#252424">If you encounter issues with this meeting, please visit the Help link. If you are not able to resolve the problems, please contact the meeting organizer to let
 them know you are having difficulty. <o:p></o:p></span></p>
</div>
<div style="margin-top:15.0pt;margin-bottom:.25in">
<p class="MsoNormal"><span style="font-family:"Segoe UI",sans-serif;color:#252424"><a href="https://aka.ms/JoinTeamsMeeting" target="_blank"><span style="font-size:10.5pt;color:#6264A7">Learn More</span></a> |
<a href="https://www.ohio.edu/oit/services/collaboration/teams/help" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Help</span></a> | <a href="https://teams.microsoft.com/meetingOptions/?organizerId=685c3f4f-29d5-4141-ada5-0fdeab8480e4&tenantId=f3308007-477c-4a70-8889-34611817c55a&threadId=19_meeting_MDJmOTVjN2UtN2VmYy00OTVjLThjMDEtZWY3YmRlMzg0ZjI3@thread.v2&messageId=0&language=en-US" target="_blank">
<span style="font-size:10.5pt;color:#6264A7">Meeting options</span></a> <o:p></o:p></span></p>
</div>
</div>
<div>
<p class="MsoNormal"><span style="color:#5F5F5F">________________________________________________________________________________</span>
<o:p></o:p></p>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>