[Computer-security-2024-2025] Second lecture updated