Gidon Ernst

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, Ernst, Gidon, Sean Sedwards +5 · 2 citations
   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 Toby Murray, Mukesh Tiwari, Murray, Toby +5 · 2 citations
   Computer Science · Social Sciences · #Access Control and Trust #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing
4. In search of perfect users
   2018/12/04 by Abdullah Issa, Toby Murray, Gidon Ernst · 1 citation
   Computer Science · #Spam and Phishing Detection #Advanced Malware Detection Techniques #User Authentication and Security Systems