Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Xiaomu Shi
100  Ergebnisse:
Personensuche X
?
1

Abstraction and Refinement: Towards Scalable and Exact Veri..:

Liu, Jiaxiang ; Xing, Yunhan ; Shi, Xiaomu...
ACM Transactions on Software Engineering and Methodology.  33 (2024)  5 - p. 1-35 , 2024
Link: https://doi.org/10.1145/..
 
?
2

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Pr..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Chen, Ruiling ; Liu, Jiaxiang ; Shi, Xiaomu... - p. 2167-2171 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

CoqCryptoLine: A Verified Model Checker with Certified Resu..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 227-240 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Correction to: CoqCryptoLine: A Verified Model Checker with..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. C1-C1 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Certified Verification for Algebraic Abstraction:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tsai, Ming-Hsien ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 329-349 , 2023
Link: https://doi.org/10.1007/..
 
?
6

MpBP: verifying robustness of neural networks with multi-pa..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Zheng, Ye ; Liu, Jiaxiang ; Shi, Xiaomu - p. 1692-1696 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Verified NTT Multiplications for NISTPQC KEM Lattice Finali..:

Hwang, Vincent ; Liu, Jiaxiang ; Seiler, Gregor...
IACR Transactions on Cryptographic Hardware and Embedded Systems.  , 2022
Link: https://doi.org/10.46586..
 
?
8

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vecto..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Shi, Xiaomu ; Fu, Yu-Fu ; Liu, Jiaxiang... - p. 149-171 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Verifying Arithmetic in Cryptographic C Programs:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Liu, Jiaxiang ; Shi, Xiaomu ; Tsai, Ming-Hsien.. - p. 552-564 , 2019
Link: https://doi.org/10.1109/..
 
?
10

Signed Cryptographic Program Verification with Typed Crypto..:

, In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security,
Fu, Yu-Fu ; Liu, Jiaxiang ; Shi, Xiaomu... - p. 1591-1606 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Verifying arithmetic in cryptographic C programs:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,
Liu, Jiaxiang ; Shi, Xiaomu ; Tsai, Ming-Hsien.. - p. 552-564 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Safety Evaluation for Upgraded Avionics System:

ZHANG, Chao ; SHI, Xiaomu
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences.  E99.A (2016)  4 - p. 849-852 , 2016
Link: https://doi.org/10.1587/..
 
?
13

MpBP: Verifying Robustness of Neural Networks with Multi-pa..:

Ye Zheng ; Jiaxiang Liu ; Xiaomu Shi
doi:10.5281/zenodo.7029260.  , 2022
Link: https://zenodo.org/recor..
 
?
14

Verified NTT Multiplications for NISTPQC KEM Lattice Finali..:

Vincent Hwang ; Jiaxiang Liu ; Gregor Seiler...
https://tches.iacr.org/index.php/TCHES/article/view/9838.  , 2022
Link: https://doaj.org/article..
 
?
15

Verified NTT Multiplications for NISTPQC KEM Lattice Finali..:

Vincent Hwang ; Jiaxiang Liu ; Gregor Seiler...
https://ojs-dev.ub.rub.de/index.php/TCHES/article/view/9838.  , 2022
Link: https://doi.org/10.46586..
 
1-15