RTFM: How Hard are IoT Platform Providers Making it for their Developers? - Andy Baldrian; Joseph Hallett (CPSIOTSEC@CCS, 2024)