Publications
Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems
John Castellanos, Martin Ochoa, Jianying Zhou, 2018, 2018 Annual Computer Security Applications Conference (ACSAC’18), 2018 Annual Computer Security Applications Conference (ACSAC’18), 2018 Annual Computer Security Applications Conference (ACSAC’18)
Frame Inference for Inductive Entailment Proofs in Separation Logic
Quang Loc Le, Jun Sun, Shengchao Qin, 2018, TACAS (1) 2018: 41-60, TACAS (1) 2018: 41-60, TACAS (1) 2018: 41-60, https://link.springer.com/chapter/10.1007/978-3-319-89960-2_3
Fully isogeometric modeling and analysis of nonlinear 3D beams with spatially varying geometric and material parameters
O. Weeger, S.-K. Yeung, M. L. Dunn, 2018, Computer Methods in Applied Mechanics and Engineering, in press (2018), Computer Methods in Applied Mechanics and Engineering, in press (2018), Computer Methods in Applied Mechanics and Engineering, in press (2018), https://www.sciencedirect.com/science/article/abs/pii/S0045782518303669?via%3Dihub
Global Regularizer and Temporal-Aware Cross-Entropy for Skeleton-Based Early Action Recognition
Qiuhong Ke, Jun Liu, Mohammed Bennamoun, Hossein Rahmani, Senjian An, Ferdous Sohel, Farid Boussaid, 2018, Asian Conference on Computer Vision (ACCV)
HealthDep: An Efficient and Secure Deduplication Scheme for Cloud-Assisted eHealth Systems
Yuan Zhang, Chunxiang Xu, Hongwei Li, Kan Yang, Jianying Zhou, Xiaodong Lin, 2018, IEEE Transactions on Industrial Informatics, IEEE Transactions on Industrial Informatics, IEEE Transactions on Industrial Informatics, IEEE Transactions on Industrial Informatics, IEEE Transactions on Industrial Informatics, IEEE Transactions on Industrial Informatics, https://ieeexplore.ieee.org/document/8353448
Importance Sampling of Interval Markov Chains
Cyrille Jégourel, Jingyi Wang, Jun Sun, 2018, DSN 2018: 303-313, DSN 2018: 303-313, DSN 2018: 303-313, https://ieeexplore.ieee.org/document/8416492
LAWN: boosting the performance of NVMM file system through reducing write amplification
Chundong Wang, Sudipta Chattopadhyay, 2018, Proceedings of the 55th Annual Design Automation Conference, {DAC} 2018, Proceedings of the 55th Annual Design Automation Conference, {DAC} 2018, San Francisco, CA, USA, https://dl.acm.org/doi/10.1145/3195970.3196066
Learning Cross-lingual Distributed Logical Representations for Semantic Parsing
Yanyan Zou, Wei Lu, 2018, Proceedings of ACL’2018: the 56th annual meeting of the Association for Computational Linguistics, Proceedings of ACL’2018: the 56th annual meeting of the Association for Computational Linguistics
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Yuqi Chen, Christopher M. Poskitt, Jun Sun, 2018, IEEE Symposium on Security and Privacy 2018: 648-660, IEEE Symposium on Security and Privacy 2018: 648-660, IEEE Symposium on Security and Privacy 2018: 648-660, https://ieeexplore.ieee.org/document/8418629
Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System
Y. Chen, C.M. Poskitt, J. Sun, 2018, In Proc. IEEE Symposium on Security & Privacy (S&P 2018). IEEE, 2018, In Proc. IEEE Symposium on Security & Privacy (S&P 2018). IEEE, 2018, In Proc. IEEE Symposium on Security & Privacy (S&P 2018). IEEE, 2018, https://arxiv.org/abs/1801.00903