E-LIB Suche - Ergebnisse für: Wang, Bow-Yaw

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

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

Model checking differentially private properties:

Liu, Depeng ; Wang, Bow-Yaw ; Fu, Chen.
Theoretical Computer Science. 943 (2023) - p. 153-170 , 2023

Link: https://doi.org/10.1016/..

4

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

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

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

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

Incremental predicate analysis for regression verification:

Yu, Qianshan ; He, Fei ; Wang, Bow-Yaw
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-25 , 2020

Link: https://doi.org/10.1145/..

10

Incremental predicate analysis for regression verification:

Yu, Qianshan ; He, Fei ; Wang, Bow-Yaw
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-25 , 2020

Link: https://dl.acm.org/doi/1..

11

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

12

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

13

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

14

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

15

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