李希萌 - 首都师范大学 - 信息工程学院

个人简介

个人简介：李希萌，博士，讲师/硕士生导师。于2016年初在丹麦技术大学（TechnicalUniversityofDenmark）获得博士学位。此后在丹麦技术大学和达姆施塔特工业大学（TUDarmstadt）进行博士后研究。于博士和博士后期间参与欧盟ARTEMIS项目SESAMO（SecurityandSafetyModelling）和德国CRISPIP2项目Secure,Component-basedDevelopmentofLargeSoftwareSystems。在LMCS、ESORICS、APLAS、COORDINATION等形式化方法和安全领域的重要国际会议、期刊发表论文多篇。

研究领域

研究领域为形式化验证——主要关注点包括区块链、智能合约的验证、形式语言中信息流安全的验证等。

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

1.XimengLi,XiWu,AlbertoLluchLafuente,FlemmingNielson,HanneRiisNielson:ACoordinationLanguageforDatabases.InLogicalMethodsinComputerScience(LMCS),Vol13(1:10),pp.1-51.2017.[CCF-C] 2.XimengLi,FlemmingNielson,HanneRiisNielson:FactorizationofBehavioralIntegrity.InProceedingsofthe20thEuropeanSymposiumonResearchinComputerSecurity(ESORICS),pp.500-519.2015.[CCF-B] 3.XimengLi,HeikoMantel,MarkusTasch:TamingMessage-PassingCommunicationinCompositionalReasoningaboutConfidentiality.InProceedingsofthe15thAsianSymposiumonProgrammingLanguagesandSystems(APLAS),pp.45-66.2017.[CCF-C] 4.XimengLi,FlemmingNielson,HanneRiisNielson,XinyuFeng:DisjunctiveInformationFlowforCommunicatingProcesses.InProceedingsofthe10thInternationalSymposiumonTrustworthyGlobalComputing(TGC),pp.95-111.2016.[EI会议] 5.XimengLi,FlemmingNielson,HanneRiisNielson:Future-dependentFlowPolicieswithPropheticVariables.InProceedingsofthe11thWorkshoponProgrammingLanguagesandAnalysisforSecurity(PLAS),pp.29-42.2016. 6.KevinMüller,SaschaUhrig,FlemmingNielson,HanneRiisNielson,XimengLi,MichaelPaulitsch,GeorgSigl:AutomaticInformationFlowValidationforHighAssuranceSystems.InInternationalJournalonAdvancesinSoftware,Vol9(3&4),pp.191-206.2016. 7.XiWu,XimengLi,AlbertoLluchLafuente,FlemmingNielson,HanneRiisNielson:Klaim-DB:AModelingLanguageforDistributedDatabaseApplications.InProceedingsofthe10thInternationalConferenceonCoordinationLanguagesandModels(Coordination),pp.197-212.2015.[CORE-A] 8.HanneRiisNielson,FlemmingNielson,XimengLi:HoareLogicforDisjunctiveInformationFlow.InProgrammingLanguageswithApplicationstoBiologyandSecurity,pp.47-65.2015.[EI]