2 papers
cs.DC2022
Mixed Fault Tolerance Protocols with Trusted Execution Environment
Mingyuan Gao, Hung Dang, Ee-Chien Chang +1
Blockchain systems are designed, built and operated in the presence of failures. There are two dominant failure models, namely crash fault and Byzantine fault. Byzantine fault tole…
cs.SE2021
Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng, Zhen Dong, Jialin Li +2
Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique,…