Zhao, Yongwang
- High-Assurance Separation Kernels: A Survey on Formal Methods
2017/01/06 by Yongwang Zhao, David Sanan, David Sanán +6 · 2 voices
Computer Science · Engineering · #Distributed systems and fault tolerance #Radiation Effects in Electronics #Security and Verification in Computing #cs.SE
- PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
2022/09/16 by Zhuoruo Zhang, Zhang, Zhuoruo, Rui Chang +13 · 1 citation
Computer Science · #Security and Verification in Computing #Physical Unclonable Functions (PUFs) and Hardware Security #Advanced Authentication Protocols Security
- KBX: Verified Model Synchronization via Formal Bidirectional Transformation
2024/04/29 by Jianhong Zhao, Yongwang Zhao, Zhao, Jianhong +9 · 1 citation
Computer Science · #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE)
- HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
2025/05/21 by Jilin Hu, Hu, Jilin, Jianyu Zhang +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Numerical Methods and Algorithms #Software Engineering (cs.SE)