Stav dette: Efficient and provably secure key agreement for modern smart metering communications