Automatic programming: myths and prospects

automatic verification of authentication protocols using genetic programming

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

Myths and Counterexamples in Dynamic Programming

Myths and Counterexamples in Nonlinear Programming

Myths and Counterexamples in Mathematical Programming

Myths and Counterexamples in Integer Programming and Combinatorial Optimization