vix.ing · top · new · best · stats · spec

Ishtiaq, Abdullah Al

  1. Hermes: Unlocking Security Analysis of Cellular Network Protocols by Synthesizing Finite State Machines from Natural Language Specifications
    2023/10/06 by Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Ishtiaq, Abdullah Al +19 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Hate Speech and Cyberbullying Detection