Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Wang, Bow-Yaw
25  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

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

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

Verifying Pufferfish Privacy in Hidden Markov Models:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Liu, Depeng ; Wang, Bow-Yaw ; Zhang, Lijun - p. 174-196 , 2022
Link: https://doi.org/10.1007/..
 
?
6

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

Interval counterexamples for loop invariant learning:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Xu, Rongchen ; He, Fei ; Wang, Bow-Yaw - p. 111-122 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

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

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

Synthesize Models for Quantitative Analysis Using Automata ..:

, In: Networked Systems; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Chung, Hsiao-Chen ; Hung, Wen-Chi... - p. 75-92 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Parameterized Hardware Verification Through a Term-Level Ge..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Li, Yongjian ; Wang, Bow-yaw - p. 403-419 , 2019
Link: https://doi.org/10.1007/..
 
?
12

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

Model Checking Differentially Private Properties:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Liu, Depeng ; Wang, Bow-Yaw ; Zhang, Lijun - p. 394-414 , 2018
Link: https://doi.org/10.1007/..
 
?
14

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

PSpec : a formal specification language for fine-grained..:

, In: Proceedings of the 39th International Conference on Software Engineering Companion,
Luo, Chen ; He, Fei ; Yan, Dong... - p. 300-302 , 2017
Link: https://dl.acm.org/doi/1..
 
1-15