iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://doi.org/10.1109/SP.2017.26
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate | IEEE Conference Publication | IEEE Xplore
