3 papers
cs.CR2025
EthCluster: An Unsupervised Static Analysis Method for Ethereum Smart Contract
Hong-Sheng Huang, Jen-Yi Ho, Hao-Wen Chen +1
Poorly designed smart contracts are particularly vulnerable, as they may allow attackers to exploit weaknesses and steal the virtual currency they manage. In this study, we train a…
cs.CR2025
An Efficiency Firmware Verification Framework for Public Key Infrastructure with Smart Grid and Energy Storage System
Jhih-Zen Shih, Cheng-Che Chuang, Hong-Sheng Huang +2
As a critical component of electrical energy infrastructure, the smart grid system has become indispensable to the energy sector. However, the rapid evolution of smart grids has at…
cs.CR2024
An Enhanced Online Certificate Status Protocol for Public Key Infrastructure with Smart Grid and Energy Storage System
Hong-Sheng Huang, Cheng-Che Chuang, Jhih-Zen Shih +2
The efficiency of checking certificate status is one of the key indicators in the public key infrastructure (PKI). This prompted researchers to design the Online Certificate Status…