Session details: Leakage-aware architectural synthesis