iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://unpaywall.org/10.1109/EUROSP51992.2021.00042
$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code | IEEE Conference Publication | IEEE Xplore
