Ensuring Privacy of Occupancy Changes in Smart Buildings | IEEE Conference Publication | IEEE Xplore