Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.

L. Lai, J. Liu, X. Shi, M. Tsai, B. Wang, und B. Yang. IACR Cryptol. ePrint Arch., (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jiaxiang Liu

Jiaxiang Zhang

Liu Liu

Weitere Publikationen von Autoren mit dem selben Namen

Human-AI cooperation: Modes and their effects on attitudes.J. Li, J. Huang, J. Liu, und T. Zheng. Telematics Informatics, (2022)An Empirical Study on API-Misuse Bugs in Open-Source C Programs.Z. Gu, J. Wu, J. Liu, M. Zhou, und M. Gu. COMPSAC (1), Seite 11-20. IEEE, (2019)Generalization Techniques Empirically Outperform Differential Privacy against Membership Inference.J. Liu, S. Oya, und F. Kerschbaum. CoRR, (2021)A ChatGPT Aided Explainable Framework for Zero-Shot Medical Image Diagnosis.J. Liu, T. Hu, Y. Zhang, X. Gai, Y. Feng, und Z. Liu. CoRR, (2023)Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.L. Lai, J. Liu, X. Shi, M. Tsai, B. Wang, und B. Yang. IACR Cryptol. ePrint Arch., (2023)ERNIE-SPARSE: Learning Hierarchical Efficient Transformer Through Regularized Self-Attention.Y. Liu, J. Liu, L. Chen, Y. Lu, S. Feng, Z. Feng, Y. Sun, H. Tian, H. Wu, und H. Wang. CoRR, (2022)Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.J. Liu, Y. Xing, X. Shi, F. Song, Z. Xu, und Z. Ming. CoRR, (2022)Cache Me If You Can: Accuracy-Aware Inference Engine for Differentially Private Data Exploration.M. Mazmudar, T. Humphries, J. Liu, M. Rafuse, und X. He. Proc. VLDB Endow., 16 (4): 574-586 (2022)OleNet at SemEval-2019 Task 9: BERT based Multi-Perspective Models for Suggestion Mining.J. Liu, S. Wang, und Y. Sun. SemEval@NAACL-HLT, Seite 1231-1236. Association for Computational Linguistics, (2019)Integrated Sensing and Communication Resource Allocation for Latency Sensitive Services of Connected Automated Vehicles.N. Ren, Q. Zhang, Z. Jiang, S. Liu, und J. Liu. ICC Workshops, Seite 482-487. IEEE, (2023)

BibSonomy

Disambiguierung von "Liu, Jiaxiang"

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Jiaxiang Liu

Jiaxiang Zhang

Liu Liu

Liu Liu

Liu Liu

Weitere Publikationen von Autoren mit dem selben Namen

Disambiguierung

BibSonomy

Disambiguierung von "Liu, Jiaxiang"

KopierenLöschenDiese Publikation zur Ablage hinzufügenCommunity-EintragVersionsverlauf dieses EintragsURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Jiaxiang Liu

Jiaxiang Zhang

Liu Liu

Liu Liu

Liu Liu

Weitere Publikationen von Autoren mit dem selben Namen

Disambiguierung

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.