带 amalgam 的自由圈积
密码学与安全
2021-09-06 v1 编程语言
符号计算
摘要
我们定义并研究了紧量子群的一种带 amalgam 的自由圈积概念。这些对象此前在我们的一项工作中已于离散群对偶的情形下以“对的自由圈积”之名引入。我们给出了若干等价描述，并用它们确立了诸如剩余有限性、Haagerup 性质或 smash 积分解等性质。
引用
@article{arxiv.2109.01386,
title = {Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly},
author = {Rodothea Myrsini Tsoupidi and Musard Balliu and Benoit Baudry},
journal= {arXiv preprint arXiv:2109.01386},
year = {2021}
}