Looking forward to many more great results from this collaboration, where we are bringing together the worlds of architectural threat modeling and program analysis!