Flow-based microfluidic biochips are attracting increasing attention with successful applications in biochemical experiments, point-of-care diagnosis, etc. Existing works in design automation consider ...

In this paper, we propose FG-SAT, the first end-to-end method for encrypted traffic analysis under environment shifts. We propose a key abstraction, the Flow Graph, to represent flow internal ...

A lightweight compiler for a C-style language with support for object-oriented features, type casting, and rich control flow, generating x86-64 assembly code from high-level constructs.