research
∙
07/02/2023
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits
Fault injection attacks represent a type of active, physical attack agai...
share
research
∙
07/27/2022
Multi-Forgery Detection Challenge 2022: Push the Frontier of Unconstrained and Diverse Forgery Detection
In this paper, we present the Multi-Forgery Detection Challenge held con...
research
∙
04/18/2022
HFT-ONLSTM: Hierarchical and Fine-Tuning Multi-label Text Classification
Many important classification problems in the real-world consist of a la...
research
∙
02/25/2021
CelebA-Spoof Challenge 2020 on Face Anti-Spoofing: Methods and Results
As facial interaction systems are prevalently deployed, security and rel...
research
∙
06/16/2020
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Side-channel attacks, which are capable of breaking secrecy via side-cha...
research
∙
05/19/2019
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences
JavaScript has become one of the most widely used languages for Web deve...
research
∙
01/28/2019