10 posts tagged with "Thesis"

We are proud that our paper "OSTRICH: Solver for Complex String Constraints", has been accepted at Formal Methods in Computer-Aided Design 2025(FMCAD 2025).

We are proud that our paper "Separation Logic with Heap Variables: A Decision Procedure and Its Application", has been accepted at The Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA) - 2025.

We are proud that our paper "BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing", has been accepted at International Conference on Computer-Aided Design(ICCAD) - 2025.

We are proud that our paper "Training Verification-Friendly Neural Networks via Neuron Behavior Consistency", has been accepted at Thirty-Ninth AAAI Conference on Artificial Intelligence(AAAI25).

We are proud that our paper "Verification of Bit-Flip Attacks against Quantized Neural Networks", has been accepted at Object-Oriented Programming Systems, Languages and Applications (OOPSLA) - 2025.

We are proud that our paper "An efficient string solver for string constraints with regex-counting and string-length", has been accepted at Journal of Systems Architecture.

We are proud that our paper "LaserGuider: A Laser Based Physical Backdoor Attack against Deep Neural Networks", has been accepted at Network Security (ACNS).

We are proud that our paper "Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps", has been accepted at Formal Aspects of Computing (FAC).

We are proud that our paper "SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers", has been accepted at Proceedings of the 32nd Annual Network and Distributed System Security Symposium (NDSS).

We are proud that our paper about formally verifying arithmetic Chisel designs for all bit widths at once, has been accepted at DAC’24.