The ASSET (Automated Systems SEcuriTy) Research Group does focused research to enhance the safety, security and efficiency of Hardware/Software Systems.