Login / Signup
Jia Liu
ORCID
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 1
Top Topics
Third Party
Publish Subscribe
Personal Data
Privacy Violations
Top Venues
CSF
J. Log. Algebraic Methods Program.
POST
</>
Publications
</>
Myrto Arapinis
,
Jia Liu
,
Eike Ritter
,
Mark Ryan
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity.
J. Log. Algebraic Methods Program.
89 (2017)
Myrto Arapinis
,
Jia Liu
,
Eike Ritter
,
Mark Ryan
Stateful Applied Pi Calculus.
POST
(2014)
Jia Liu
,
Mark Dermot Ryan
,
Liqun Chen
Balancing Societal Security and Individual Privacy: Accountable Escrow System.
CSF
(2014)