• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

LI Xin  LI Xin

ORCIDConnect your ORCID iD *help
Researcher Number 60510641
Affiliation (based on the past Project Information) *help 2013 – 2015: 東京大学, 情報理工学(系)研究科, 研究員
Review Section/Research Field
Principal Investigator
Software
Keywords
Principal Investigator
Access Rights Analysis / Pushdown Model Checking / Web Applications / Access Control Policy / Pushdown System / Program Analysis / Model Checking / Access Control / Web Security
  • Research Projects

    (1 results)
  • Research Products

    (6 results)
  •  Automated security analysis of web applicationsPrincipal Investigator

    • Principal Investigator
      LI Xin
    • Project Period (FY)
      2012 – 2015
    • Research Category
      Grant-in-Aid for Young Scientists (B)
    • Research Field
      Software
    • Research Institution
      The University of Tokyo

All 2015 2014 Other

All Journal Article Presentation

  • [Journal Article] An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems2014

    • Author(s)
      Hua Vy Le Thanh, Xin Li
    • Journal Title

      情報処理学会

      Volume: 未定

    • NAID

      130004705282

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25730039
  • [Presentation] Automata-based Abstraction Refinement for muHORS Model Checking2015

    • Author(s)
      Xin Li
    • Organizer
      Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
    • Place of Presentation
      グランドプリンスホテル京都 (京都府京都市左京区)
    • Year and Date
      2015-07-06
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25730039
  • [Presentation] Automata-based Abstraction Refinement for muHORS Model Checking2015

    • Author(s)
      Xin Li
    • Organizer
      NII Shonan Meeting Seminar 063: Semantics and Verification of Object-Oriented Languages
    • Place of Presentation
      湘南国際村センター (神奈川県三浦郡葉山町上山口1560-39)
    • Year and Date
      2015-09-21
    • Data Source
      KAKENHI-PROJECT-25730039
  • [Presentation] An On-The-Fly Algorithm for Conditional Weighted Pushdown Systems2014

    • Author(s)
      Xin Li
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      東京大学理学部7号館 (東京都)
    • Data Source
      KAKENHI-PROJECT-25730039
  • [Presentation] Automata-Based Abstraction Refinement for muHORS Model Checking

    • Author(s)
      Xin Li
    • Organizer
      Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
    • Place of Presentation
      グランドプリンスホテル(京都)
    • Year and Date
      2015-07-06 – 2015-07-10
    • Data Source
      KAKENHI-PROJECT-25730039
  • [Presentation] Generating Stack-based Access Control Policies

    • Author(s)
      Xin Li
    • Organizer
      情報処理学会プログラミング研究会
    • Place of Presentation
      産業技術総合研究所 臨海都心センター (東京)
    • Year and Date
      2015-03-09 – 2015-03-10
    • Data Source
      KAKENHI-PROJECT-25730039

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi