Old Web
English
Sign In
Acemap
>
authorDetail
>
Weitian Xing
Weitian Xing
University of Waterloo
Compile time
Information leakage
Digital signature
Key (cryptography)
Algorithm
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Ensuring correct cryptographic algorithm and provider usage at compile time
2021
FTfJP | Formal Techniques for Java-like Programs
Weitian Xing
Yuanhui Cheng
Werner Dietl
Show All
Source
Cite
Save
Citations (0)
1