Quadrotor Stabilization with Safety Guarantees: A Universal Formula Approach