Proving Real Time RFID at Scale