Lambda Calculus For Binary Security And Analysis