<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)"> <style></style> </head> <body lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word"> <div class="WordSection1"> Title: Run-Time Analysis and Security of Multi-Language Systems <o:p></o:p> Abstract:<o:p></o:p> The prevalence of multi-language software has surged, yet security defenses for such systems<o:p></o:p> remain inadequately supported. Traditional methods like program analysis and fuzzing face<o:p></o:p> challenges in this context. In my Ph.D. research, I proposed a suite of techniques to fortify the<o:p></o:p> security of multi-language systems. Firstly, I introduced PolyCruise, leveraging languageindependent<o:p></o:p> symbolic dependence analysis for effective dynamic cross-language information<o:p></o:p> flow analysis. It supports diverse security applications, enhancing vulnerability detection.<o:p></o:p> Addressing PolyCruise's input coverage limitation, I introduced PolyFuzz, a framework for<o:p></o:p> comprehensive greybox fuzzing in multi-language applications. PolyFuzz measures block coverage<o:p></o:p> at the whole-system level, generates effective seeds through sensitivity analysis, and seamlessly<o:p></o:p> supports various languages. Recognizing limitations for bugs in the lower software stack,<o:p></o:p> particularly in language runtime systems, my focus shifted downward, notably to Python runtime.<o:p></o:p> PyRTFuzz introduced a two-level collaborative methodology, combining generation- and<o:p></o:p> mutation-based fuzzing for comprehensive testing. The Slang-based approach ensures diverse<o:p></o:p> applications, marking a significant stride in securing software systems.<o:p></o:p> Biography:<o:p></o:p> Wen Li, Ph.D., from Washington State University, specializes in software engineering and security,<o:p></o:p> focusing on implementing diverse techniques for practical security solutions in real-world<o:p></o:p> software systems. His Ph.D. work included software analysis and the development of effective<o:p></o:p> fuzzing frameworks, successfully applied to real-world systems, with research published in<o:p></o:p> conferences like ESEC/FSE, USENIX Security, and CCS. In addition, with a decade of industrial<o:p></o:p> experience, he is also an adept software engineer, specializing in embedded software design and<o:p></o:p> development, particularly in core/access networks. Coupled with ongoing research pursuits, this<o:p></o:p> practical expertise equips him with profound insights into the research field and the ability to<o:p></o:p> traverse new domains seamlessly.<o:p></o:p> <div> ________________________________________________________________________________ <o:p></o:p> </div> <div> <div style="margin-top:.25in;margin-bottom:15.0pt"> Microsoft Teams meeting <o:p></o:p> </div> <div style="margin-bottom:15.0pt"> <div> Join on your computer, mobile app or room device <o:p></o:p> </div> <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">Click here to join the meeting</a> <o:p></o:p> </div> <div style="margin-top:15.0pt;margin-bottom:15.0pt"> <div style="margin-bottom:3.0pt"> Meeting ID: 210 125 150 046 Passcode: jJhB7C <o:p></o:p> <div> <a href="https://www.microsoft.com/en-us/microsoft-teams/download-app" target="_blank">Download Teams</a> | <a href="https://www.microsoft.com/microsoft-teams/join-a-meeting" target="_blank"> Join on the web</a><o:p></o:p> </div> </div> </div> <div style="margin-bottom:3.0pt"> <div style="margin-bottom:3.0pt"> Or call in (audio only) <o:p></o:p> </div> <div style="margin-bottom:3.0pt"> <a href="tel:+16147066572,,867743044# ">+1 614-706-6572,,867743044#</a> United States, Columbus <o:p></o:p> </div> </div> Phone Conference ID: 867 743 044# <o:p></o:p> <div style="margin-bottom:15.0pt"> <a href="https://dialin.teams.microsoft.com/8f5f7319-0053-4423-a154-4f8b6e7fb7dd?id=867743044" target="_blank">Find a local number</a> | <a href="https://dialin.teams.microsoft.com/usp/pstnconferencing" target="_blank"> Reset PIN</a> <o:p></o:p> </div> <div style="margin-bottom:3.0pt"> <div> <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"><o:p></o:p> </div> 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> </div> <div style="margin-top:15.0pt;margin-bottom:.25in"> <a href="https://aka.ms/JoinTeamsMeeting" target="_blank">Learn More</a> | <a href="https://www.ohio.edu/oit/services/collaboration/teams/help" target="_blank"> Help</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"> Meeting options</a> <o:p></o:p> </div> </div> <div> ________________________________________________________________________________ <o:p></o:p> </div> <o:p> </o:p> </div> </body> </html>

Contact Information:

(740) 593–9381 | Building 21, The Ridges

Ohio University Contact Information:

Ohio University

View Site in Mobile | Classic