Algorithmic Analysis of Dense Associative Memory: Finite-Size Guarantees and Adversarial Robustness