Title |
---|
![]() Hermes: Unlocking Security Analysis of Cellular Network Protocols by
Synthesizing Finite State Machines from Natural Language Specifications Abdullah Al Ishtiaq Sarkar Snigdha Sarathi Das Syed Md Mukit Rashid Ali Ranjbar Kai Tu ...Zhezheng Song Weixuan Wang M. Akon Rui Zhang Syed Rafiul Hussain |
![]() Toward a Foundation Model for Time Series Data Chin-Chia Michael Yeh Xin Dai Huiyuan Chen Yan Zheng Yujie Fan ...Vivian Lai Zhongfang Zhuang Junpeng Wang Liang Wang Wei Zhang |