papers
Publications (21)
cs.CR2016
A New Access Control Scheme for Facebook-style Social Networks
Jun Pang, Yang Zhang
cs.SE2015
Proceedings 4th International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu, Sjouke Mauw
cs.CE2016
Fast Simulation of Probabilistic Boolean Networks (Technical Report)
Andrzej Mizera, Jun Pang, Qixia Yuan
cs.LO2010
On Probabilistic Alternating Simulations
Chenyi Zhang, Jun Pang
cs.CE2011
A Study of the PDGF Signaling Pathway with PRISM
Qixia Yuan, Jun Pang, Sjouke Mauw +3
cs.SE2014
Proceedings Third International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu
cs.DC2015
Parallel Approximate Steady-state Analysis of Large Probabilistic Boolean Networks (Technical Report)
Andrzej Mizera, Jun Pang, Qixia Yuan
cs.DC2011
Asynchronous Bounded Expected Delay Networks
Rena Bakhshi, Jörg Endrullis, Wan Fokkink +1
cs.CR2009
How to Work with Honest but Curious Judges? (Preliminary Report)
Jun Pang, Chenyi Zhang
cs.CR2011
A Group Signature Based Electronic Toll Pricing System
Xihui Chen, Gabriele Lenzini, Sjouke Mauw +1
cs.LO2019
Characterising Probabilistic Alternating Simulation for Concurrent Games
Chenyi Zhang, Jun Pang
cs.SI2016
DeepCity: A Feature Learning Framework for Mining Location Check-ins
Jun Pang, Yang Zhang
cs.SI2016
Location Prediction: Communities Speak Louder than Friends
Jun Pang, Yang Zhang
cs.CR2018
Tagvisor: A Privacy Advisor for Sharing Hashtags
Yang Zhang, Mathias Humbert, Tahleen Rahman +3
cs.SI2017
Quantifying Location Sociality
Jun Pang, Yang Zhang
q-bio.MN2017
Taming Asynchrony for Attractor Detection in Large Boolean Networks (Technical Report)
Andrzej Mizera, Jun Pang, Hongyang Qu +1
cs.CR2014
Stateful Security Protocol Verification
Li Li, Jun Pang, Yang Liu +2
cs.CE2016
Reviving the Two-state Markov Chain Approach (Technical Report)
Andrzej Mizera, Jun Pang, Qixia Yuan
cs.GT2012
An Algorithm for Probabilistic Alternating Simulation
Chenyi Zhang, Jun Pang
cs.CR2018
Formal Analysis of an E-Health Protocol
Naipeng Dong, Hugo Jonker, Jun Pang
cs.CR2017
walk2friends: Inferring Social Links from Mobility Profiles
Michael Backes, Mathias Humbert, Jun Pang +1