s2e-lab (Security and Software Engineering Research Lab)