Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Posts

Future Blog Post

less than 1 minute read

Published: January 01, 2199

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

less than 1 minute read

Published: August 14, 2015

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published: August 14, 2014

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published: August 14, 2013

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published: August 14, 2012

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

ALA: Naturalness-aware Adversarial Lightness Attack

Published in ACM Multimedia 2023, 2023

The proposed Adversarial Lightness Attack(ALA), a white-box unrestricted adversarial attack that focuses on modifying the lightness of the images, is to enhance the robustness of deep neural networks from a more natural way.

Recommended citation: Yihao Huang, Liangru Sun, Qing Guo, Felix Juefei-Xu, Jiayi Zhu, Jincao Feng, Yang Liu, Geguang Pu. (2023). "ALA: Naturalness-aware Adversarial Lightness Attack." ACM Multimedia 2023.

Searching for i-Good Lemmas to Accelerate Safety Model Checking

Published in CAV 2023, 2023

A new insight for improving the performance of SAT-based model checking. The definition of i-Good lemmas is simple but general, that can be proved to be effective in all state-of-the art model checkers, like Nu-XMV, IC3/PDR and SimpleCAR.

Recommended citation: Yechuan Xia, Anna Becchi, Alessandro Cimatti, Alberto Griggio, Jianwen Li, Geguang Pu. (2023). "Searching for i-Good Lemmas to Accelerate Safety Model Checking." CAV 2023.

Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps

Published in SIGSOFT FSE Industry Track 2024, 2024

This paper designs a property-based testing method to validate app behaviors against the properties described by the given privacy specifications.

Recommended citation: Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu. (2024). "Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps." SIGSOFT FSE Industry Track 2024.