Search for persons
X
?
Springer Series in Geomechanics and Geoengineering; Proceedings of the International Field Exploration and Development Conference 2023 ,
1
Rheological Properties, Temperature and Salinity Resistant ..:
, In:
?
Lecture Notes in Computer Science; Progress in Cryptology – INDOCRYPT 2023 ,
2
Algorithmic Views of Vectorized Polynomial Multipliers – NT..:
, In:
?
2024 25th International Symposium on Quality Electronic Design (ISQED) ,
3
SpotLight: A Hotspot-Greedy, Light-Weighted, and Automated ..:
, In:
?
Springer Series in Geomechanics and Geoengineering; Proceedings of the International Field Exploration and Development Conference 2023 ,
4
Study on Amphiphilic Polymer for Salt Thickening and Emulsi..:
, In:
?
Information Security and Privacy; Lecture Notes in Computer Science ,
5
Jumping for Bernstein-Yang Inversion:
, In:
?
Applied Cryptography and Network Security; Lecture Notes in Computer Science ,
6
Algorithmic Views of Vectorized Polynomial Multipliers – NT..:
, In:
?
Springer Series in Geomechanics and Geoengineering; Proceedings of the International Field Exploration and Development Conference 2023 ,
7
Study on Sidewall Collapse Failure Mechanism of Hard and Br..:
, In:
?
2023 International Workshop on Fiber Optics on Access Networks (FOAN) ,
8
Passive Center-to-Clustered Edge Nodes Networks Using Thin-..:
, In:
?
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
9
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Pr..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
11
Correction to: CoqCryptoLine: A Verified Model Checker with..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
12
CoqCryptoLine: A Verified Model Checker with Certified Resu..:
, In:
?
2023 IEEE Symposium on VLSI Technology and Circuits (VLSI Technology and Circuits) ,
13
A 4.8mW, 800Mbps Hybrid Crypto SoC for Post-Quantum Secure ..:
, In:
?
2023 International Conference on Smart Applications, Communications and Networking (SmartNets) ,
14
The Design of a Cough Disease Classification System Using C..:
, In:
?
2023 IEEE International Conference on Image Processing (ICIP) ,
15