research
∙
04/06/2023
Covering All the Bases: Type-Based Verification of Test Input Generators
Test input generators are an important part of property-based testing (P...
share
research
∙
12/11/2021
Attacking Point Cloud Segmentation with Color-only Perturbation
Recent research efforts on 3D point-cloud semantic segmentation have ach...
research
∙
11/01/2021
GCNear: A Hybrid Architecture for Efficient GCN Training with Near-Memory Processing
Recently, Graph Convolutional Networks (GCNs) have become state-of-the-a...
research
∙
10/18/2021
Energon: Towards Efficient Acceleration of Transformers Using Dynamic Sparse Attention
In recent years, transformer models have revolutionized Natural Language...
research
∙
08/24/2021
METRO: A Software-Hardware Co-Design of Interconnections for Spatial DNN Accelerators
Tiled spatial architectures have proved to be an effective solution to b...
research
∙
08/10/2021
Data-Driven Abductive Inference of Library Specifications
Programmers often leverage data structure libraries that provide useful ...
research
∙
03/08/2021
Volcano: Stateless Cache Side-channel Attack by Exploiting Mesh Interconnect
Cache side-channel attacks lead to severe security threats to the settin...
research
∙
01/28/2019
Embedding is not Cipher: Understanding the risk of embedding leakages
Machine Learning (ML) already has been integrated into all kinds of syst...
research
∙
03/13/2018
Invisible Mask: Practical Attacks on Face Recognition with Infrared
Accurate face recognition techniques make a series of critical applicati...
research
∙
01/06/2018