Speaker: Kanad Basu Date and Time: Tuesday, June 7, 2:00 pm Location: Zoom https://uci.zoom.us/j/97807443602 Abstract: Anti-virus software (AVS) tools are used to detect Malware in a system. However, software-based AVS are vulnerable to attacks. A malicious […]

Speaker: Borzoo Bonakdarpour Date and Time: Monday, May 23, 2022 at 2:00 pm Location: DBH 3011 Abstract:  We consider the problem of detecting violations of specification In the signal temporal logic over […]