Massive Machine Type Communications over 5G using Lean Protocols and Edge Proxies | IEEE Conference Publication | IEEE Xplore