I agree that this site is using cookies. You can find further informations here.
X
YANG, Ming-bo
3286  results:
Bookchapter (Online) X
Search for persons X
?
1

Leading Phase Operation Strategy of Multi-generators Based ..:

, In: Lecture Notes in Electrical Engineering; The proceedings of the 16th Annual Conference of China Electrotechnical Society,
Liu, Xiang-yu ; Li, Shuai ; Li, Xiao-ming... - p. 1088-1099 , 2022
Link: https://doi.org/10.1007/..
 
?
2

The Influence of Load Model on the Accuracy of Power Grid S..:

, In: Lecture Notes in Electrical Engineering; The proceedings of the 16th Annual Conference of China Electrotechnical Society,
Liu, Xiang-yu ; Li, Hui-bin ; Li, Xiao-ming... - p. 1063-1075 , 2022
Link: https://doi.org/10.1007/..
 
?
3

List of Contributors:

, In: Big Data Analytics for Sensor-Network Collected Intelligence,
Anbar, Ahmad ; Assem, Haytham ; Blanchet, Christophe... - p. xiii-xv , 2017
Link: https://doi.org/10.1016/..
 
?
4

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/..
 
?
5

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/..
 
?
6

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..
 
?
7

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/..
 
?
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

Frobenius Additive Fast Fourier Transform:

, In: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation,
Li, Wen-Ding ; Chen, Ming-Shing ; Kuo, Po-Chun.. - p. 263-270 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Certified Verification of Algebraic Properties on Low-Level..:

, In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security,
Tsai, Ming-Hsien ; Wang, Bow-Yaw ; Yang, Bo-Yin - p. 1973-1987 , 2017
Link: https://dl.acm.org/doi/1..
 
?
14

Verifying Curve25519 Software:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,
Chen, Yu-Fang ; Hsu, Chang-Hong ; Lin, Hsin-Hung... - p. 299-309 , 2014
Link: https://dl.acm.org/doi/1..
 
?
15

Research on Big Data Ad Hoc Queries Technology Based on Soc..:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Advanced Hybrid Information Processing,
Wu, Yang-bo ; Zhou, Xi-liu ; Xu, Ying.. - p. 183-195 , 2022
Link: https://doi.org/10.1007/..
 
1-15