A strategy-proof privacy-preserving double auction mechanism for electrical vehicles demand response in microgrids | IEEE Conference Publication | IEEE Xplore