Simin Nadjm-Tehrani

1. On generating network traffic datasets with synthetic attacks for intrusion detection
   2019/05/01 by Carlos García Cordero, Carlos Garcia Cordero, Emmanouil Vasilomanolakis +9 · 5 citations
   Computer Science · #Anomaly Detection Techniques and Applications #Internet Traffic Analysis and Secure E-voting #Network Security and Intrusion Detection #cs.CR
2. A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing
   2018/01/17 by Klervie Toczé, Toczé, Klervie, Simin Nadjm-Tehrani +1 · 4 citations
   Computer Science · #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC
3. Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
   2021/05/06 by John Törnblom, Törnblom, John, Simin Nadjm-Tehrani +2 · 1 citation
   Computer Science · Social Sciences · #Adversarial Robustness in Machine Learning #Computer engineering #Computer science #Correctness #Database #Distributed computing #Domain (mathematical analysis) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Formal verification #Functional verification #High-level verification #Machine Learning (cs.LG) #Model checking #Programming language #Robustness (evolution) #Runtime verification #Scalability #Set (abstract data type) #Software #Software system #Theoretical computer science #cs.LG