Verified Secure Booking by SuperControl