%0 Journal Article %1 journals/iacr/CremersJL22 %A Cremers, Cas %A Jacomme, Charlie %A Lukert, Philip %D 2022 %J IACR Cryptol. ePrint Arch. %K dblp %P 1130 %T Subterm-based proof techniques for improving the automation and scope of security protocol analysis. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2022.html#CremersJL22 %V 2022

@article{journals/iacr/CremersJL22, added-at = {2022-09-27T00:00:00.000+0200}, author = {Cremers, Cas and Jacomme, Charlie and Lukert, Philip}, biburl = {https://www.bibsonomy.org/bibtex/2214bbc7fb1532e710541af908aca2728/dblp}, ee = {https://eprint.iacr.org/2022/1130}, interhash = {b006c2974b89bc4179dacf7a3086b05d}, intrahash = {214bbc7fb1532e710541af908aca2728}, journal = {IACR Cryptol. ePrint Arch.}, keywords = {dblp}, pages = 1130, timestamp = {2024-04-09T03:19:26.000+0200}, title = {Subterm-based proof techniques for improving the automation and scope of security protocol analysis.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2022.html#CremersJL22}, volume = 2022, year = 2022 }