Publications
Filters
761 result(s)
4D rods: 3D structures via programmable 1D composite rods
Z. Ding, O. Weeger, H. J. Qi, M. L. Dunn, 2018, Materials & Design, 137, 256–265 (2018), Materials & Design, 137, 256–265 (2018), Materials & Design, 137, 256–265 (2018), Materials & Design, 137, 256–265 (2018), https://www.sciencedirect.com/science/article/pii/S0264127517309255?via%3Dihub
A Metapolicy Framework for Enhancing Domain Expressiveness on the Internet
G.Varshney, P.Szalachowski, 2018, In Proceedings of International Conference on Security and Privacy in Communication Networks (SECURECOMM), 2018, In Proceedings of International Conference on Security and Privacy in Communication Networks (SECURECOMM), 2018
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
C. Corrodi, A. Heußner, C.M. Poskitt, 2018, Formal Aspects of Computing 30(1):163-192, 2018, Formal Aspects of Computing 30(1):163-192, 2018, Formal Aspects of Computing 30(1):163-192, 2018, https://arxiv.org/abs/1710.03928
Adaptive Quantization for Deep Neural Network
Y Zhou, SM Moosavi-Dezfooli, NM Cheung, P Frossard, 2018, AAAI-18. The Thirty-Second AAAI Conference on Artificial Intelligence, AAAI-18. The Thirty-Second AAAI Conference on Artificial Intelligence, AAAI-18. The Thirty-Second AAAI Conference on Artificial Intelligence, AAAI-18. The Thirty-Second AAAI Conference on Artificial Intelligence, https://www.dropbox.com/scl/fi/s4oqu3db0ls59mqywihhv/yiren_AAAI_2018.pdf?rlkey=q5qb8q7fdhijumbc1hegmywgl&e=1&dl=0
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers
Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, Zhong Ming, 2018, IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), https://ieeexplore.ieee.org/document/7570183
An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets
I Homoliak, D Breitenbacher, A Binder, P Szalachowski, 2018, Arxiv preprint arXiv:1812.03598, Arxiv preprint arXiv:1812.03598, Arxiv preprint arXiv:1812.03598, https://arxiv.org/abs/1812.03598
Benchmarking microservice systems for software engineering research
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao, 2018, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, https://dl.acm.org/doi/10.1145/3183440.3194991
BlockPKI: An Automated, Resilient, and Transparent Public-Key Infrastructure
L.Dykcik, L.Chuat, P.Szalachowski, A.Perrig, 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018
Break the dead end of dynamic slicing: localizing data and control omission bug
Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong, 2018, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, https://dl.acm.org/doi/10.1145/3238147.3238163
Compositional Reasoning for Shared-Variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun, 2018, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, https://link.springer.com/chapter/10.1007/978-3-319-95582-7_31