Xiaomu Shi

Orcid: 0000-0001-6277-2813

According to our database1, Xiaomu Shi authored at least 18 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
ACM Trans. Softw. Eng. Methodol., June, 2024

2023
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.
IACR Cryptol. ePrint Arch., 2023

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

CoqCryptoLine: A Verified Model Checker with Certified Results.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Certified Verification for Algebraic Abstraction.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU.
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022

Multi-path Back-propagation Method for Neural Network Verification.
Int. J. Softw. Informatics, 2022

Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.
IACR Cryptol. ePrint Arch., 2022

MpBP: verifying robustness of neural networks with multi-path bound propagation.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2021
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019
Verifying Arithmetic in Cryptographic C Programs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Signed Cryptographic Program Verification with Typed CryptoLine.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2016
Safety Evaluation for Upgraded Avionics System.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

2015
Towards Verified Faithful Simulation.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

2013
Certification of an Instruction Set Simulator.
PhD thesis, 2013

Handcrafted Inversions Made Operational on Operational Semantics.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011
Designing a CPU model: from a pseudo-formal document to fast code
CoRR, 2011

First Steps towards the Certification of an ARM Simulator Using Compcert.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011


  Loading...