Differential privacy for sequential event logs, anonymizing case IDs and timestamps while preserving statistical properties.