Login / Signup
Feipeng Jiao
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Formal Methods
Integrity Verification
Java Card
Security Systems
Top Venues
ICCEIC
</>
Publications
</>
Ruiqing Yue
,
Guangcan Yang
,
Peixuan Li
,
Jiaqi Xie
,
Feipeng Jiao
,
Ling Zhan
A Security Verification System Based on Bilinear Maps in the Multi-cloud Environment.
ICCEIC
(2023)