Protection and Verification of Security Design Flaws- Marcus Pinto & Roberto Velasco @ Spring I/O 17