Ernst, Gidon

1. State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing
   2021/12/24 by Dongge Liu, Van-Thuan Pham, Liu, Dongge +7 · 4 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Network Packet Processing and Optimization #Software Engineering (cs.SE) #Software System Performance and Reliability #Software Testing and Debugging Techniques
2. Fast Falsification of Hybrid Systems using Probabilistically Adaptive\n Input
   2018/12/10 by Gidon Ernst, Sean Sedwards, Ernst, Gidon +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Formal Methods in Verification #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)
   2023/09/07 by Murray, Toby, Tiwari, Mukesh, Ernst, Gidon +1 · 1 citation
   #Cryptography and Security (cs.CR) #FOS: Computer and information sciences