1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2024
Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
Di Long Li, Jim de Groot, Alwen Tiu
Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automat…
quant-ph2022★ 1 cited
A Pattern Matching-Based Framework for Quantum Circuit Rewriting
Hui Jiang, Diankang Li, Yuxin Deng +1
The realization of quantum algorithms relies on specific quantum compilations according to the underlying quantum processors. However, there are various ways to physically implemen…