On the Performance of Pipelined HotStuff | IEEE Conference Publication | IEEE Xplore