Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohammad Torabi Dashti
SECFUZZ: Fuzz-Testing Security Protocols
Complexity of Fairness Constraints for the Dolev-Yao Attacker Model
Related publications
T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols
Improving Fuzz Testing Using Game Theory
Research on Fuzz Testing Framework Based on Concolic Execution
DEStech Transactions on Computer Science and Engineering
Probability-Based Parameter Selection for Black-Box Fuzz Testing
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Internet Security Protocols
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing
Proceedings of the AAAI Conference on Artificial Intelligence
Verification of Security Protocols
Developing Security Protocols by Refinement
